More Effective C++
#@author: gr
#@date: 2015-05-21
#@email: forgerui@gmail.com
五、对定制的“类型转换函数”保持警觉
5.1. C++中存在的转型
- C++语言默认提供的隐式转型,包括将
int
转换为short
,将double
转换为char
。 - 实现自己类型可能存在的转型:单自变量constructors和隐式类型转换操作符。
单自变量constructors:
指能够以单一自变量成功调用的constructors。可能声明单一参数;也可能声明多个参数,但除第一个参数外都有默认值。
class Name{
public:
Name(const string& s); //可以把string转换为Name
//....
};
class Rational{
public:
Rational(int numerator = 0, int denominator = 1); //可以把int转换为Rational
};
隐式类型转换操作符:
指拥有奇怪名称的member function
:关键词operator
之后加上一个类型名称。不能指定返回值,因为返回值类型基本上已表现于函数名称上。
class Rational{
public:
operator double() const;
};
//在下面情况下自动调用
Rational r(1,2);
double d = 0.5 * r; //将r转换为double
5.2. 隐式转换存在的问题
-
隐式类型转换操作符
Rational r(1, 2);
cout << r; //实际上想调用<<,但忘定义<<,将会调用double进行转换,与期望不符如上面的这种情况,当类型不符时,会自动转换,不会报错提醒程序员。
解决方法:不要使用类型转换操作符,另取它名,需要时,手动调用成员函数实现转换。class Rational{
public:
double asDouble() const;
}; Rational r(1, 2);
cout << r.asDouble() << endl;C++标准委员会在实现string时,也没有提供默认类型转换,提供了一个
c_str()
函数转换成const char *
。 -
单变量的constructors
在C++中提供了
explicit
关键字,避免隐式调用构造函数转换,必须显示调用。
如果编译器不能使用explicit
,那么必须手动设计,以避免隐式转换。方法是增加一个Proxy做中间层。//template <class T>
class Array{
public:
class ArraySize{ //增加新类ArraySize做Proxy
public:
ArraySize(int numElements) : theSize(numElements){}
int size() const {return theSize;}
private:
int theSize;
}; Array(int lowBound, int highBound);
Array(ArraySize size); //这个声明使用ArraySize类型,而不是int类型
}; Array<int> a(10); //Array<int>的构造函数需要ArraySize,编译器会先把10转换为ArraySize类型
if (a == b[i]){} //这里会出现问题,a是Array<int>,b 是int类型,没有直接的类型比较,因此会报错
六、区别increment / decrement
操作符的前置和后置形式
6.1. 前置和后置函数的声明
前置和后置函数都没有参数,那么如何判断是前置式还是后置式呢?方法是将后置式加一个int
参数,用以区分。
class UPInt{
public:
UPInt& operator++();
const UPInt operator++(int);
UPint& operator+=(int);
};
UPInt i;
++i; //前置式,调用i.operator++()
i++; //后置式,调用i.operator++(0)
6.2. 后置式返回const对象
UPInt i;
i++++; //如果后置式不是返回const,就可以连续调用
调用i++++
的结果,并不像预期一样可以累加两次,所以要限制这种行为。方法就是使返回的对象为const,这样第二次调用++
时编译器会检查不允许通过。
6.3. 后置式应以前置式为基础
UPInt& UPInt::operator++()
{
*this++;
return *this;
}
const UPInt UPInt::operator(int) //省略参数名,防止编译器报警告
{逗号表达式,又称为“顺序求值运算符”。逗号表达式的一般形式为
表达式1,表达式2,表达式3……表达式n
求解过程是:先求解表达式1,再求解表达式2,...。整个逗号表达式的值是最后一个表达式n的值。
例如这里的“i++,p++”,先求i++的值,然后求p++的值,整个表达式的值是p++的运算结果
另外、逗号运算符是所有运算符中级别最低的
UPInt temp = *this;
++*this; //调用前置式
return temp;
}
后置式实现应以前置式为基础,这样只要维护前置式版本,后置式版本会自动调整为一致行为。
七、千万不要重载&&
,||
和,
操作符
7.1. 真值表达式的骤死式
含义:一旦真假值确定,即使表达式中还有部分尚未检验,整个评估工作仍告结束。
“用户定制类型”的&&
和||
操作符,会将expr1 && expr2
解析成expr1.operator&&(expr2)
,会存在如下两个问题:
- 当函数调用动作被执行时,所有动作都被评估完毕,没有所谓的骤死式语义。
-
expr1
和expr2
两个表达式的评估顺序不定,而"骤死式"总是由左向右评估。
所以不要重载&&
或 ||
。
八、了解各种不同意义的new
和delete
8.1. operator new
vs new operator
new operator
:1. 分配对象的内存空间;2. 调用constructor
为分配的内存设定初值。
// new operator
Widget *p = new Widget();
//上面的代码会产生如下的动作
// operator new
void *p = operator new(sizeof(Widget)); //分配空间
p->Widget(); //调用构造函数
operator new
:只分配空间,不调用构造函数。
operator new
声明如下:
void * operator new (size_t size);
可以重载operator new
,加上额外的参数,但第一个参数必须总是size_t
类型。
// 调用operator new
void *rawMemory = operator new (sizeof(string));
//调用new operator
string *ps = new string("Memory Management");
8.2. Placement new
有时候有一些分配好的原始内存,需要在上面构建对象,有一个特殊版本的operator new
,称为placement new
。
class Widget{
public:
Widget (int widgetSize);
//....
};
Widget * constructWidgetInBuffer(void *buffer, int widgetSize)
{
return new (buffer) Widget(widgetSize);
}
这是new operator
的用法之一,其隐式调用operator new
, 它的形式如下:
void * operator new (size_t, void *location)
{
return location;
}
这样的operator new
即称为placement new
。它不需要做任何事情,只需将原始地址返回,之后operator new
会调用构造函数构造对象。
8.3 删除(Deletion)与内存释放(Deallocation)
delete operator
和operator delete
同new
一样:
delete ps;
// 等价如下代码
ps->~string();
operator delete(ps);
如果只打算处理原始的内存,使用new operator
和delete operator
就行了,它的行为像malloc
和free
:
void *buffer = operator new(50 * sizeof(char));
operator delete(buffer);
8.4 数组
string * ps = new string[10];
上述使用的new
仍然是个new operator
,内存不再以operator new
分配,而是由operator new[]
实现。
在new []
时需要调用delete[]
删除。
delete[] ps;