章节回顾:
《Effective C++》第1章 让自己习惯C++-读书笔记
《Effective C++》第2章 构造/析构/赋值运算(1)-读书笔记
《Effective C++》第2章 构造/析构/赋值运算(2)-读书笔记
《Effective C++》第3章 资源管理(1)-读书笔记
《Effective C++》第3章 资源管理(2)-读书笔记
《Effective C++》第4章 设计与声明(1)-读书笔记
《Effective C++》第4章 设计与声明(2)-读书笔记
《Effective C++》第8章 定制new和delete-读书笔记
条款26:尽可能延后变量定义式的出现时间
你定义了一个类类型的变量,那么就要耗费一个构造函数和析构函数。如果你最终不使用这个变量,就应该避免这些耗费。
你可能会怀疑:怎么可能定义一个变量而不去使用呢?考虑下面的代码:
std::string encryptPassword(const std::string& password)
{
using namespace std;
string encrypted; if (password.length() < MinimumPasswordLength)
{
throw logic_error("Password is too short")
} ...
return encrypted;
}
先不去考虑代码具体含义。如果if语句为true,就会抛出异常,这个encrypted对象仍然需要耗费一个构造函数和一个析构函数。所以最好延后encrypted的定义式,直到确实需要它。
std::string encryptPassword(const std::string& password)
{
using namespace std; if (password.length() < MinimumPasswordLength)
{
throw logic_error("Password is too short")
} string encrypted; //放在了后面
...
return encrypted;
}
这段代码不够秾纤合度(不懂这个词)。因为encrypted对象调用的是默认构造函数,后面几乎一定会对它重新赋值。举例如下:
void encrypt(std::string& s);
std::string encryptPassword(const std::string& password)
{
...
string encrypted; //放在了后面,考虑到使用时才定义 encrypted = password; //重新赋值 encrypt(encrypted); return encrypted;
}
更好的做法是跳过无意义的default构造函数:
std::string encryptPassword(const std::string& password)
{
...
string encrypted(password); //拷贝构造函数 encrypt(encrypted); return encrypted;
}
所以,“尽可能延后”的真正意义是:你不仅要尽可能延后变量的定义直到要使用它,还应该延后这个变量的定义直到给它初值。这样可以避免没有必要的构造和析构对象以及没有意义的default构造函数。
还有一种情形出现在循环里面,分下下面两种做法A、B哪个更好:
//做法A
Widget w;
for (int i = ; i < n; ++i)
{
w = 取决于i的某个值;
} //做法B
for (int i = ; i < n; ++i)
{
Widget w = 取决于i的某个值;
}
做法A的成本:1个构造函数、1个析构函数和n个赋值;做法B的成本:n个构造函数和n个析构函数。
如果赋值成本低于1个构造+1个析构,则做法A效率高一点,否则B的做法好。另外做法A造成Widget对象作用域扩大。所以,给出的建议是:除非你明确知道几个操作的成本,否则做法B是比较好的。
请记住:尽可能延后变量定义式的出现。这样做可增加程序的清晰度并改善程序效率。
条款27:尽量少做转型动作
C风格的转型(旧式转型)如下:
(T) expression; //两者含义相同
T(expression)
C++提供的4种新式转型如下:
const_cast<T>(expression)
dynamic_cast<T>(expression)
reinterpret_cast<T>(expression)
static_cast<T>(expression)
一般来说新式转型比较好。可能旧式转型比较常用的地方是调用explicit构造函数传递一个对象给函数时。举例如下:
class Widget
{
public:
explicit Widget(int size);
};
void doSomeWork(const Widget& w); doSomeWork(Widget()); //C的函数风格 doSomeWork(static_cast<Widget>()); //C++新风格
任何一个类型转换,无论是通过转型操作进行的显式转换或通过编译器进行的隐式转换,往往会导致编译器产生运行期执行的代码。
下面有个转型代码比较有迷惑:
class Window
{
public:
Window(int n = ) : m(n) {} virtual void onResize()
{
m = ;
} int m;
}; class SpecialWindow : public Window
{
public:
virtual void onResize()
{
static_cast<Window>(*this).onResize();
}
}; int main()
{
SpecialWindow w1;
cout << w1.m << endl; //输出0 w1.onResize();
cout << w1.m << endl; //输出0 return ;
}
两份输出都是0。不要怀疑,static_cast<Window>(*this).onResize();确实调用了class Window的onResize()函数,但关键是转型的结果是(*this)的一个副本,而不是对象本身。
如果你仍然需要调用class Window版本的onResize()函数,就要拿掉转型。
class SpecialWindow : public Window
{
public:
virtual void onResize()
{
Window::onResize();
}
};
dynamic_cast的成本很高,之所以需要它的一个原因是:在一个你认定为derived class对象身上执行derived class函数,但你只有一个指向base的指针或引用。
请记住:
(1)如果可以,尽量避免转型,特别是在注重效率的代码中避免dynamic_cast。如果有个设计需要转型动作,试着发展无需转型的替代设计。
(2)如果转型是必要的,试着将它隐藏于某个函数背后,客户随后可以调用该函数,而不需将转型放在自己的代码内。
(3)优先使用C++风格的转型,因为它很容易被辨识出来并且有分类。
条款28:避免返回handles指向对象内部成分
handles包括指针、引用和迭代器。直接用例子说明:
class Point //表示一个“点”
{
public:
Point(int x, int y);
...
void setX(int newVal);
void setY(int newVal);
} struct RectData
{
Point ulhc; //表示左上角坐标
Point lrhc; //表示右下角坐标
}; class Rectangle
{
public:
Point& upperLeft() const { return pData->ulhc; } //返回左上角坐标
Point& lowerRight() const { return pData->lrhc; } //返回右下角坐标
};
Rectangle类设计两个成员函数upperLeft(),lowerRight()返回左上角和右下角坐标是必要的。但这两个函数都是const的,说明它的目的只是给用户查看,并不是让用户去修改这些坐标。但是客户这样做:
Point coord1(, );
Point coord2(, ); const Rectangle rec(coord1, coord2);
rec.upperLeft().setX(); //左上角坐标变为(50,0)
确实改变了坐标值,尽管point还是private数据。这给我们的启示是:成员变量的封装性最多只等于返回其reference函数的访问级别。虽然point是private的,但实际效果却是public的。
修改版本也很简单:
class Rectangle
{
public:
const Point& upperLeft() const { return pData->ulhc; } //返回左上角坐标的const
const Point& lowerRight() const { return pData->lrhc; } //返回右下角坐标的const
};
另外一点handles指向的东西返回后可能不再存在。举例说明:
class GUIObject { ... };
const Rectangle boundingBox(const GUIObject& obj); //客户如下这样调用
GUIObject *pgo;
const Point *pUpperLeft = &(boundingBox(*pgo).upperLeft());
boundingBox(*pgo)的调用将产生一个临时的Rectangle对象,在此对象上调用upperLeft()返回的是临时对象的左上角坐标,然后这个临时对象析构,这样pUpperLeft就是指向一个不存在的东西。
请记住:避免返回handles(包括引用、指针和迭代器)指向内部对象。遵守这个条款可增加封装性、帮助const成员函数的行为像个const,并降低发生handles指向不存在东西的可能性。