【effective C++笔记】C++ 中explicit 关键字

explicit 关键字用于构造函数的显式声明。显式和隐式的区分标准是在定义对象时用的是否用到了隐式转换。先来看一个简单的例子：

int i = 2;
cout << (i + 3.5) << endl;

得到的结果是5.5 。 i 是int型，和一个float小数相加就把结果隐式转化为float 型。与它对应的是强制转换，也就是显示转换。

在类的构造函数中，也有隐式转换，看下面的例子：

#include <iostream>
using namespace std;

class Rational
{
public:
Rational(int numerator = 0, int denominator = 1);
~Rational(){}
int get_n() const; // 只能调用不能修改数据成员
int get_d() const;
protected:
private:
int n;
int d;
};

Rational::Rational(int numerator, int denominator)
:n(numerator), d(denominator){}

int Rational::get_n() const
{
return n;
}

int Rational::get_d() const
{
return d;
}

int main()
{
Rational ra1 = 12;
Rational ra2 = Rational(12);
cout << "rational 1 : " << ra1.get_n() <<"  / ” << ra1.get_d() << endl;
cout << "rational 2 : " << ra2.get_n() <<" / " << ra2.get_d() << endl;
system("pause");
return 0;
}

mian() 函数中的

Rational ra1 = 12;

和

Rational ra2 = Rational(12);

是等价的，第一种就是隐式转换。

要想不这么做，可以在构造函数声明时添加一个explicit ， 然后

Rational ra1 = 12;

这一句就不能够进行隐式转换了，就会报错，只能通过调用构造函数来初始化对象。

在条款24中：如果所有参数皆需要类型转换，请为此采用non-member函数。有如下代码：

#include <iostream>
using namespace std;

class Rational
{
public:
const Rational operator* (const Rational& rhs); //rhs 为右操作数
Rational(int numerator = 0, int denominator = 1);
~Rational(){}
int get_n() const; // 只能调用不能修改数据成员
int get_d() const;
protected:
private:
int n;
int d;
};

Rational::Rational(int numerator, int denominator)
:n(numerator), d(denominator){}

int Rational::get_n() const
{
return n;
}

int Rational::get_d() const
{
return d;
}

const Rational Rational::operator *(const Rational &rhs)
{
this->n = this->n * rhs.n;
this->d = this->d * rhs.d;
return *this;
}

int main()
{
Rational onehalf(1,2);
Rational result;
result = onehalf * 2;
cout << "result : " << result.get_n() <<
a676
" / " << result.get_d() << endl;
system("pause");
return 0;
}

这段代码声明了一个有理数的类，重载了一个运算符，想实现有理数和整数的运算。

result = onehalf * 2

可以成功，但是

result = 2 * onehalf

就会失败，为什么呢？这是因为onehalf是一个对象，有相应的operator 函数，当遇到数值2时，就会出现一个隐式转化的以2为分子的对象，然后实现乘积。反过来，2这个数值没有相应的类，也就没有了operator* 函数。

同样的，在构造函数中声明一个explicit 的话，不管是

result = onehalf * 2

还是

result = 2 * onehalf

都会导致失败。

好的做法是将重载的运算符作为一个non-member 函数，注意member函数的反面是non-member 函数，而不是friend函数。请记住：无论何时能避免friend函数就尽量避免，因为像真是世界一样，朋友带来的麻烦往往多过于价值。额。。。这个还真不好说。