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只能用在构造函数哦^^
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章