【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() << " / " << 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函数就尽量避免，因为像真是世界一样，朋友带来的麻烦往往多过于价值。额。。。这个还真不好说。