高质量C++编程指南-笔记.docVIP

1 如果函数返回值是一个对象，要考虑return语句的效率。例如 return String(s1 + s2); 这是临时对象的语法，表示“创建一个临时对象并返回它”。不要以为它与“先创建一个局部对象temp并返回它的结果”是等价的，如 String temp(s1 + s2); return temp; 实质不然，上述代码将发生三件事情。首先，temp对象被创建，同时完成初始化；然后拷贝构造函数把temp拷贝到保存返回值的外部存储单元；最后，temp在函数结束时被销毁（调用析构函数）。然而“创建一个临时对象并返回它”的过程是不同的，编译器直接把临时对象创建并初始化在外部存储单元中，省去了拷贝和析构的花费，提高了效率。 类似的，我们不要将 return int(x + y); // 创建一个临时变量并返回它 写成 int temp = x + y; return temp; 由于内部数据类型如int,float,double得变量不存在构造函数和析构函数，虽然该“临时变量的语法”不会提高多少效率，但是程序更加简洁易读。 C99?6.4.5 ? String ? literals?6. ? It ? is ? unspecified ? whether ? these ? arrays(指常量字符串）are ? distinct ? provided ? their ? elements ? have ? the ? appropriate ? values. ? If ? the ? program ? attempts ? to ? modify ? such ? an ? array, ? the ? behavior ? is ? undefined.?C++标准（first ? edition)?2.13.4?2. ? whether ? all ? string ? literals ? are ? distinct ? is ? implementation-defined. ? The ? effect ? of ? attemping ? to ? modify ? a ? string ? literal ? is ? undefined.? char* p = hello\n; p[0] = X; [undefined]未定义行为是在某些不正确的情况下，标准并未规定应该怎样做，实现可以采取任何行动，也可以什么都不做。如当有符号整数溢出时该采取什么行动。[unspecified]未确定行为是在某些正确的情况下，标准并未规定应该怎样做。如函数参数的求值顺序。[implementtation-defined]实现定义的行为是由编译器设计者决定采取何种行动，并写入实用手册。如当一个整型数向右移位时，要不要扩展符号位。 new / delete 是 operator 调用new / delete 可是调用类的constructer and destructor. Overloading and Return Type Return types are not considered in overload resolution. This reason is to keep resolution for an individual operator or function call context-independent. Consider: float sqrt(float); double sqrt(double); void f(double da, float fla) { float fl = sqrt(da); // call sqrt(double) double d = sqrt(da); // call sqrt(double); fl = sqrt(fla); // call sqrt(float); d = sqrt(fla); // call sqrt(float); } If the return type were taken into account, it would no longer be possible to look at a call of sqrt() in isolation and determine which function was called. 基类与派生类的析构函数应该为虚函数（virtual）