在c++中,对内置类型,定义一个变量时如果使用复制初始化,使用的是"=",但此等号的意义却不同于赋值操作符,对内置类型,很难区别其差别,但是对类类型,其差别就很关键。即在初始化一个类类型对象时,"="并不是赋值作用。
例如:string str = " string";,或者string str = string();
这两个str的初始化过程基本相同,对一个定义,首先右边期待的是一个string类型,因为c++编译器会在需要使用类型转换的地方自动调用它,所以右边将隐式调用string类型的接受字符串子面值的构造函数创建一个临时对象,再使用这个临时对象调用复制构造函数初始化str,第二个定义右侧调用的是默认构造函数。
可以知道,string 的复制构造函数的原型是 string(const string &);,当然,这个复制构造函数也可以被显式调用,如:
string str1("string");
string str2(str1);
注意,复制构造函数的形参表中是const引用,因为是将对象初始化为实参的副本,并不改变实参。这里还涉及一个问题:在隐式调用复制构造函数时所创建的临时对象是什么类型?假设其为 const string 类型,可以用代码测试:
编译通过,正常运行,如果做如下改动,将形参表中的const去掉:
编译时出现错误提示:
意思为用一个右值初化一个非const 引用,故出错。然而在上一例子中,表面看去,也是用一个右值初始化一个引用,只不过是const 引用,但是编译通过,这是什么原因?其实这里就存在隐式使用了类型转换,创建了一个临时对象,创建时调用了接受c风格字符串的构造函数,再将该临时对象绑定(这里形参是引用,故用绑定)到调用函数时创建的形参str,绑定到const引用成功,而绑定到非const引用失败,充分证明了这个临时对象是const string类型。
如果形参表中不是引用而是直接的string类型,那么是否加const就无关紧要了,因为非const 对象能接受const 对象的复制初始化。
不论是在全局作用域或者形参表中,创建对象道理都是相同的,只不过形参表中的对象是在调用该函数时创建。