|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
# X# q; G, z+ a6 L" E. p1 z# t5 c8 c# J. p
2 P4 C N5 h' l学习C++你是否会有以下几点误解?0 n$ i+ S8 _ N0 K& E' b" K; r7 a2 |1 s) l% m* D
- u, z4 J% X ^( t w/ S0 d* |
/ w: X6 [0 p9 h% ` P1. “要理解C++,你必须先学习C”
* s* [3 S$ `. k# F8 B4 }0 h* I# ?: B @2 V8 U- J6 C7 L( I) a2 y. y- _- r: C
2. “C++是一门面向对象的语言”8 Q* K$ V }3 M# I) p- A1 H" I* ]# B' `; J0 m3 J
" w* E, \. M! {5 i, Y! w0 G
. B3 F0 s! c% w# ~( j4 M3. “为了软件可靠性,你需要垃圾回收”: G! L" m8 h6 u2 ~) m8 z) l' l* K
6 K+ u2 q" l* x/ t( {+ n c4. “为了效率,你必须编写底层代码”3 x1 e. X3 i9 E' b# K- _- X; I. V% L, ?2 _ x7 q
1 F: {# g% @# m( x8 a7 Y5. “C++只适用于大型、复杂的程序”) Q6 D* X7 _! C# J- [
& w' Z, B H6 q w! Q3 Z" h( K& v& r( w; ]8 N
, _% T' _: U% F) a; _3 T( [, C8 B如果你中*了,说明这篇文章适合你看。对某些人,某些任务,在某些时间,其中一些误解曾经只是正确的。然而,在如今的C++,应用广泛使用的最先进的ISO C++ 2011编译器和工具,它们只是误解。0 S- @9 ]: q4 s; B1 ]
2 e- J. o. ?* f下面来一一解释; R, W* M( H# w
- s- H3 a: q/ T# A! r7 g" h' l0 p* j S9 e) \. W! u3 @- U/ B
误解一:“要理解C++,你必须先学习C”# c& V) b! d$ \: ?+ P; Z3 |0 L& B# T9 G
; {1 U6 x8 @# ~" K6 d9 F: T& S
学习C++基础编程比学习C要容易地多。! F8 U' a' @5 n
8 ~4 N5 C% U) j
C几乎是C++的一个子集,但是它不是最先要学习的最好的子集,因为C缺少计数支持,类型安全,和易用的标准库,而C++为简单任务提供了这些。& i1 ~: ^* x M1 b5 T/ n( V5 q
! C& Z# S) n# v4 m7 z
& z* f: ^, s; F* H7 x误解二: “C++是一门面向对象的语言”7 w. ^6 Z2 f9 w
( {* }% N2 h0 D% i9 P' V6 N
1 D2 F- B7 _& [C++支持OOP和其他编程风格,但它并不局限于狭隘的“面向对象”。它综合地支持了包括面向对象和泛型编程技术。通常,一个问题的最优解决方案,包含不止一种风格(范例)。“最优”,我指的是最短、最易于理解、最有效率和最易于维护等。" ?( K+ `' D( b& ~: _% T
5 g+ f6 {/ n! _% e5 A0 h, S9 |7 S. p: D. c. q" d' a" w$ Q8 M1 T; ^ i1 C8 E% H
“C++是一门面向对象的语言”使人们认为C++不是必要的(当与C做比较时),除非你需要一个巨大的类继承层次以及很多须函数(运行时多态)——对很多人和很多问题,这样应用并不合适。相信这个误区导致C++因为不是纯面向对象而遭到谴责;毕竟,如果你把“好”和“面向对象”等同起来,那么C++明显包含了很多不是面向对象的东西,一定会被认为是“不好”。不管是哪种情形,这个误解为不学习C++提供了一个很好的借口, {7 f. ~/ r, e P
& A0 ^, B3 I. T, Z z9 M2 J2 B6 ]) N误解三:“为了软件可靠性,你需要垃圾回收”9 k% \1 a9 _$ C% [
* ]6 X5 ^$ D7 t" G
" a( D: u6 M7 j在回收不再使用的内存上,垃圾回收做的很好,但是并不完美。它并非灵丹妙药。因为内存可以被间接地引用,并且很多资源并不是普通内存。# r/ X- u v4 P4 ]: O! c9 t5 T( X4 z
2 F, @& @% N" a& u; \/ X4 h: r! `$ d# @3 O# b- y3 W
误解四:“为了效率,你必须编写底层代码”; q$ s' W3 a0 t; ~
6 G1 }4 n2 H$ ]# w1 e' u% ]6 m0 c
{" ?; D$ ]+ f许多人相信高效率的代码必须是底层代码。一些人甚至认为底层代码天生就是高效的(“如果代码很丑陋,那它一定很高效!一定有人花费了大量时间和精力来优化它!”)。当然,你仅仅使用底层代码是可以写出高效代码的,并且有时在直接处理机器资源时必须使用底层代码。+ ~% k4 o( H% p* A+ F: H) Q9 ?! D
9 Q/ {* ]4 e6 g; z4 b" T) L
- b. \6 _" r/ @: j4 r& E- K4 d5 e' L然而,你一定要衡量一下工作是否有价值:现代C++编译器非常高效,而现代机器架构非常复杂。如果必须使用底层代码,一定要通过接口封装起来,以便于使用。通常,通过高层接口封装底层代码,会带来更好的优化(如,避免“滥用”底层代码)。在关注效率的场合,首先尝试用高层抽象来呈现需要的解决方案,而不要不加考虑地使用比特位和指针。
- ?) a7 O; F, \" y& j% p( @8 v6 ?0 d/ n6 t1 C6 k' U3 e7 u
. _/ f. ]- ] D7 N9 R* E误解五:“C++只适用于大型、复杂的程序”
) e( G5 B$ N0 Z; C- k. ]) Y4 r6 S3 g8 M( C: e* Z. g
: o% p6 {/ I; \" XC++是一个巨型的语言。它定义的大小和C#与Java差不多。但是这并不意味着你必须知道每一个细节,或者在每一个程序中都用到所有特性。
( `6 o* X; Q1 V3 B7 L, ?# Z
) z8 ^' Y$ x3 z! ^1 V% f' I接下来再说一个C++非常经典的易犯错的案例
% m, k+ a# A7 l1 x$ t! w" `7 _# S$ Q6 ]; i6 k) K
错误代码:/ A) T9 e7 j, u9 m4 M. x
$ f- N# p2 M; K3 t- ~
R: U* H! b* c# G$ \2 Y
8 F ?4 | s2 w12 bool operator( )(const GUID& _Key1, const GUID& _Key2) const{ return mEMCmp(&_Key1, &_Key2, sizeof(GUID)) == -1; }解释. F% o( x$ h) L; b9 R3 B1 T% v5 J0 |5 f* E( f5 P
5 u# |. {9 R: G. ?& ]+ m, Z( I1 r+ f8 z! ^; V, H& q
不能将 mEMCpy()、strcmp() 以及其他一些标准函数的返回值,和 1、-1 这些具体的数字做比较,因为这些函数的返回值只保证大于 0 或者小于 0(译注:而并不保证大于0就等于1,小于0就等于-1)。& I" x7 _; H( e* Z
- k5 b/ S3 j6 H" Q6 J& L5 o5 e+ }+ q# Y. P7 s5 p
上面那段错误的代码可能在很长时间内都能正常工作。不过那仅仅是因为运气好而已,没什么其他原因。某一天你写的函数很可能突然间就崩溃了 —— 比如,你换了一个编译器编译源代码,或者通过其他方式优化了 memcpy() 函数。然后你的代码就不能正常工作了。
. e" a8 c* T# l/ ^( h* R, m* Y1 N6 e! e6 K7 }6 m: M% F! D5 ~ Y; N
正确的代码:7 e5 E$ W% e/ H7 k; B) r& h& F* r) R! y
6 Y; |0 ]/ R4 _' {- `+ j( y) F* L& @
6 n3 T5 m' ]8 v( c' ?& K$ v' ?: Q& }1 B |7 { G# N2 I L
12 bool operator( )(const GUID& _Key1, const GUID& _Key2) const{ return memcmp(&_Key1, &_Key2, sizeof(GUID)) < 0; } 4 g$ V! M" {( `4 i/ ?
# }3 t& o( Z6 N! K2 S建议
! ~8 V- P$ A8 S2 y; ~4 [& N! v! A) C: s
不要依赖函数本身的行为。如果文档上说一个函数能返回一个不等于 0 的值,那它就是这么实现的。也就是说这个函数可能返回 -10、2 或者 1024。你可能经常看到函数的返回值就是 -1、0 或者 1,但是这并不能保证它每次都会这么做。, @( v0 j* b6 {. T& d' K" y# h1 _* w% U/ @! v% {
1 e+ X* g: E3 h6 @8 |4 f8 \3 f0 g! ]1 Z5 e2 }0 F
这个错误是通过 PSV-Studio 静态分析工具扫描分析得到的。错误文本如下:V698 表达式 “memcmp(…) == -1“ 是不正确的。这个函数可能的返回值不一定只有“-1”,而可能是任何负数。请考虑到使用 “memcmp(…) < 0 ”来替换。2 t* S3 c' n- S( C$ H
|
|