上代码
#include <iostream> #include <sstream> 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 <iostream> #include <sstream> 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 <iostream> #include <sstream> 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 <iostream>
#include <sstream>
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 <iostream>
#include <sstream>
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");
}