有一个类的构造函数为: A(int i) : m_i(i){}
1.1 C++显式初始化
内置类型: int ival = 1024; string hello = "Hello world."
自定义类型的显式初始化:
A abc(200); //显式初始化,直接调用构造函数
A a = A(1); //直接调用构造函数,没有临时对象,作用域结束时析构
A* e = new A(2); //直接调用构造函数,使用delete时析构
A d(*e); //显式初始化,调用拷贝构造函数,作用域结束时析构
1.2 C++隐式初始化
内置类型: int ival(1024); string hello("Hello world.")
自定义类型的隐式初始化:
A c = 0; //这是一种隐式初始化,直接调用构造函数,没有临时对象。不要看到=号就以为要用拷贝构造函数。
A b = a; //用一个对象隐式初始化另一对象,调用拷贝构造函数,作用域结束时析构
1.3 赋值操作符: 对已初始化了的对象赋值,用赋值操作符。如果是声明的同时为对象赋值,则调用构造函数或者拷贝构造函数。
A a(1); //显式初始化
a = 10; //调用构造函数构造一临时对象,调用赋值函数,赋值后临时对象马上被析构
2. 隐式和显式类型转换.
2.1 隐式类型转换
2.1.1 C++隐式转换发生在四种情况下:(混合运算,赋值,传参,返回值)
1)在混合类型的算术表达式中
int ival = 3;
double dval = 3.1415;
ival + dval; //ival 被提升为double 类型:3.0
2)用一种类型的表达式赋值
int *pi = NULL; // NULL(0)被转换成了int* 类型的空指针值
3)用一个表达式传递给一个函数调用
extern double sqrt(double);
sqrt(2); //2被提升为double类型: 2.0
4)从一个函数返回一个表达式
double difference(int ival1, int ival2) { return ival1 - ival2; //返回值被提升为double 类型. }
2.1.2内建类型对像之间默认隐式转换 C++内建类型(char,int,short,double etc.)对像之间默认含有隐式转换
2.1.3用户定义类对象之间可以含有隐式转换 C++用户定义类对象之间可以含有隐式转换.
void dosomething(A aObject);
class A { public: A(int x = 0); }
dosomething(20); // Ok 隐式转换,如用explicit修饰构造函数,则不能隐式转换。
2.2 显式类型转换
C++显式转换包含四种转换
static_cast : 编译期的转化,不能转换掉表达式的const、volitale、或者__unaligned属性
*所有内建类型对象之间的隐式转换都可用static_cast.
*把空指针转换成目标类型的空指针用static_cast。
*把任何类型的表达式转换成void类型用static_cast。
*类层次间的上行转换和下行转换也可以用static_cast,但下行转换即当把基类指针或引用转换成子类表示时,由于没有动态类型检查,所以是不安全的.反之是安全的.
dynamic_cast : 运行期的转换,类层次间的上行转换和下行转换
*dynamic_cast具有类型检查的功能,上行转换的效果跟static_cast是一样的,但下行转换比static_cast更安全。
*dynamic_cast还支持交叉转换,两个类如果有共同的祖先,他们的指针就可以用dynamic_cast.
const_cast : 编译期的转化,类型中的常量,该运算符用来修改类型的const或volatile属性。
一、常量指针被转化成非常量指针,并且仍然指向原来的对象;
二、常量引用被转换成非常量引用,并且仍然指向原来的对象;
三、常量对象被转换成非常量对象。
reinterpret_cast : 任何指针都可以转换成其它类型的指针,可用于如char* 到 int*,或者One_class* 到 Unrelated_class* 等的转换,因此可能是不安全的。
2.3内建类型指针之间不含有隐式转换(void * 除外)
C++内建类型指针之间不含有隐式转换(void * 除外),需要显式转换。
int ival = 0;
char* pc = NULL;
int* pi = NULL;
void* pv = NULL;
const char* pcc = "Hello world";
const int* pci = &ival;
const void* pcv = NULL;
pc = pi; //错误,没有标准的隐式转换.
pc = reinterpret_cast(pi); //必须使用reinterpret_cast 在位模式层次的显式转换
pc = pv; //错误,没有标准的隐式转换.
pc = static_cast(pv); //static_cast显式转换
pc = pcc; //错误,没有标准的隐式转换.
pc = const_cast(pcc); //const_cast显式转换
pc = pcv; //错误,没有标准的隐式转换.
pc = static_cast(const_cast(pcv)); //先const_cast 后 static_cast.
pv = pc; // OK; 隐式转换到void*
pv = pi; // OK; 隐式转换到void*
pv = pcc; //错误,没有标准的隐式转换.
pv = const_cast(pcc); //OK, const_cast显式转换,并且char* 隐式转换到void*
pv = pcv; //错误,没有标准的隐式转换.
pv = const_cast(pcv); //OK, const_cast显式转换.
pcc = pc; // OK; 隐式转换到const char*
pcc = pi; // 错误,没有标准的隐式转换.
pcc = reinterpret_cast(pi); //必须使用reinterpret_cast 在位模式层次的显式转换.
pcc = pv; // 错误,没有标准的隐式转换.
pcc = static_cast(pv); //static_cast显式转换
pcc = pci; // 错误,没有标准的隐式转换.
pcc = reinterpret_cast(pci); //必须使用reinterpret_cast 在位模式层次的显式转换.
pcc = pcv; //错误,没有标准的隐式转换.
pcc = static_cast(pcv); //static_cast显式转换.
pcv = pv; // OK; 隐式转换到const void*
pcv = pc; // OK; 隐式转换到const void*
pcv = pi; // OK; 隐式转换到const void*
pcv = pcc; // OK; 隐式转换到const void*
2.4显式转换可以消除不必要的提升
double dval;
int ival;
ival += dval; 这段赋值,首先将ival提升到double型,然后与dval相加,得到结果再截取成int. 通过显式转换,消除ival 从int型到double型的不必要提升. ival += static_cast(dval);
2.5 C++用户定义对象之间可以禁止隐式转换
void dosomething(A aObject);
class A { public: explicit A(int x = 0); }
dosomething(20); // ERROR 隐式转换被禁止.
dosomething(static_cast(20)); // OK 显式转换. 被声明为explicit 的构造函数通常比non-explicit更好,只有一个参数的构造函数才声明为explicit.
2.6总结
综合起来说C++ 中应该尽量不使用转换,尽量使用显式转换来代替隐式转换. 尽量不用reinterper_cast 显式转换。