String s("abc")和String s = "abc"有什么区别呢?
C++中的直接初始化指的是直接调用类的构造函数进行初始化(带括号的):
String a; // 调用默认构造函数
String a("hello"); // 调用参数为const char *类型的构造函数
String b(a); // 调用拷贝构造函数
复制初始化指的是用“=”号来初始化对象(带等号的):
String a="hello"; // 隐式调用构造函数
String b=a; // 隐式调用拷贝构造函数
写程序测试
#include <iostream>
using namespace std;
class String
{
public:
String(const char *str = NULL); // 普通构造函数
String(const String &other); // 拷贝构造函数
~String(void); // 析构函数
String & operator = (const String &other); // 拷贝赋值运算符
private:
char *m_data; // 用于保存字符串
};
// String 的析构函数
String::~String(void)
{
delete[] m_data; // 由于m_data 是内部数据类型,也可以写成 delete m_data;
}
// String 的普通构造函数
String::String(const char *str)
{
cout << "调用构造函数" << endl;
if (str == NULL)
{
m_data = new char[1];
*m_data = '\0';
}
else
{
int length = strlen(str);
m_data = new char[length + 1];
strcpy(m_data, str);
}
}
// 拷贝构造函数
String::String(const String &other)
{
cout << "调用拷贝构造函数" << endl;
int length = strlen(other.m_data);
m_data = new char[length + 1];
strcpy(m_data, other.m_data);
}
// 拷贝赋值运算符
String & String::operator = (const String &other)
{
cout << "调用拷贝赋值运算符" << endl;
if (this == &other)
return *this;
delete[] m_data;
int length = strlen(other.m_data);
m_data = new char[length + 1];
strcpy(m_data, other.m_data);
return *this;
}
int main()
{
String s1("abc"); //调用构造函数
String s2 = "abc"; //调用构造函数
String s3(s1); //调用拷贝构造函数
String s4 = s1; //调用拷贝构造函数
String s5; //调用构造函数
s5 = s1; //调用拷贝赋值运算符
return 0;
}
解释
对于直接初始化很好理解,该调构造函数调构造函数,该调拷贝构造函数调拷贝构造函数,如果等会左右对象都已存在就调拷贝赋值运算符!
对于String s2 = "abc";这句
根据网上查的资料,复制初始化是先将等号右侧的东西调用构造函数创建一个临时对象,然后调用拷贝构造函数进行拷贝,但是在实际测试中还是显示只调用了构造函数,可见这是编译器优化的结果。
对于String s2 = s1;这句:
因为s1已经存在,所以不需要调构造函数,直接调拷贝构造函数,所以当把拷贝构造函数定义为private或者加explicit的时候就发现这行无法通过编译了,但是,上一句按理说也调用了拷贝构造函数,但在VS中测试后发现依旧可以执行,这可能是不同编译器实现和优化的缘故吧。
但是如果在构造函数前加explicit,那么String s2 = "abc";就无法初始化s2对象了,因为此时禁止了隐式转换,编译器无法把const char*类型的abc转换为自定义的String类型了,当然, String s4 = s1;也不行了, String s4(s1);就可以。