c++中关于explicit的一些总结

首先看下以下代码

#include <iostream>
using namespace std;

class A
{
  public:
    A(int v): value(v) { cout << "构造" << endl;}
    int value;
};

void f(A a)
{
  cout << "f()" << endl;
}

int main()
{
  f(1);
  return 0;
}

以上代码可以编译通过
之所以能够调用函数f成功是因为在调用函数之前，编译器将整数1隐式地转化为对象A

如果我们在该构造函数之前加上 explicit 关键字，那么，再次调用就失败了，从 explicit字面意思就可以知道，explicit是

明确的，清楚的；直言的；详述的；不隐瞒的意思，也就是阻止隐式转换，所以，以下代码编译出错

#include <iostream>
using namespace std;

class A
{
  public:
  explicit A(int v): value(v) { cout << "构造" << endl;}
    int value;
};

void f(A a)
{
  cout << "f()" << endl;
}

int main()
{
  f(1);
  return 0;
}

explicit的本质就是使得该函数显示调用，不能隐式转换，如果将以上的代码中的f(1)改成f(A(1))，则编译通过

考虑下面两个语句

A a;

A b1(a);

A b2 = a;

显然熟悉C++的同学都知道2，3两句其实都是调用了A的拷贝构造函数，下面这段代码可以检验一下

#include <iostream>
using namespace std;

class A
{
  public:
   A(){}
   A(const A& a){cout << "拷贝构造" << endl;}
};

int main()
{
  A a;
  A b1(a);
  A b2 = a;
  return 0;
}

但是2，3两句还是有细微的差别的，即 A b1(a);是显示调用拷贝构造函数，而 A b2 = a;是隐式调用拷贝构造函数，所以，我们如果在拷贝构造函数前面加入explicit，就阻止了拷贝构造函数的隐式调用，进而使得 A b2 = a;编译出错

#include <iostream>
using namespace std;

class A
{
  public:
   A(){}
   explicit A(const A& a){cout << "拷贝构造" << endl;}
};

int main()
{
  A a;
  A b1(a);
  A b2 = a;
  return 0;
}

最后：
如果你能了解下面这段代码为什么出错，你就可以算得上懂得explicit的意义了

#include <iostream>
using namespace std;

class A
{
  public:
   A(){}
   explicit A(const A& a){cout << "拷贝构造" << endl;}
};

void f(A a)
{
}

int main()
{
  A a;
  f(a);
  return 0;
}

最后的组后，再偷偷地告诉你一个好消息： explicit只能用在构造函数哦^^