上代码
#include#include using namespace std;class A { public: A(const string &book = "ab") : s(book) {} int same_s(const A &a) const { return s == a.s; } private: string s;};int main(int argc ,char **argv){ A c("aaa"); string m = "aaa"; cout << c.same_s(m) << endl;}
究其因
same_s应该接收一个类A的对象参数,但是这里直接传了一个字符串对象。过程这样:编译器接收一个string的对象,利用构造函数 A(const string &book = "ab") 生成临时对象(隐性转换),然后传递给same_s,临时对象失效.
注意: explicit 只能用于类内部的构造函数的声明上。
explicit和构造函数一起使用.
explicit constructor指明构造函数只能显式使用,目的是为了防止不必要的隐式转化.如何防止隐性转换
构造函数加关键字explicit
#include#include using namespace std;class A { public: explicit A(const string &book = "ab") : s(book) {} int same_s(const A &a) const { return s == a.s; } private: string s;};int main(int argc ,char **argv){ A c("aaa"); string m = "aaa"; cout << c.same_s(m) << endl;}
结果出错
解决之道
字符串强制传递给构造函数
#include#include using namespace std;class A { public: explicit A(const string &book = "ab") : s(book) {} int same_s(const A &a) const { return s == a.s; } private: string s;};int main(int argc ,char **argv){ A c("aaa"); string m = "aaa"; cout << c.same_s(A(m)) << endl;}
同理
对于 A a = string("hello")来说,如果参数为string的构造函数为explicit,则这样初始化是错误的;如果不是explicit,则这样初始化是正确的(先利用构造函数生成临时对象,再把临时对象通过赋值操作符复制到新创建的对象上)。
对比实验
对
#include#include using namespace std;class A { public: A(const string a) : s(a) {} private: string s;};int main(int argc ,char **argv){ A a = string("hello");}
错
#include#include using namespace std;class A { public: explicit A(const string a) : s(a) {} private: string s;};int main(int argc ,char **argv){ A a = string("hello");}