关键字-explicit

explicit用来修饰类的构造函数,是为了防止隐式使用拷贝构造函数的,表明该构造函数是显式的，既然有"显式"那么必然就有"隐式"，那么什么是显示而什么又是隐式的呢？
如果c++类的构造函数有一个参数，那么在编译的时候就会有一个缺省的转换操作：将该构造函数对应数据类型的数据转换为该类对象，如下面所示：
class MyClass
{ 
public: 
MyClass( int num ); 
}
MyClass obj = 10; //ok,convert int to MyClass
在上面的代码中编译器自动将整型转换为MyClass类对象，实际上等同于下面的操作：
MyClass temp(10); 
MyClass obj = temp;
上面的所有的C++ explicit关键字相关的操作即是所谓的"隐式转换"。
如果要避免这种自动转换的功能，我们该怎么做呢？嘿嘿这就是关键字explicit的作用了，将类的构造函数声明为"显式"，也就是在声明构造函数的时候前面添加上explicit即可，这样就可以防止这种自动的转换操作，如果我们修改上面的MyClass类的构造函数为显式的，那么下面的代码就不能够编译通过了，如下所示：
class MyClass
{ 
public: 
explicit MyClass( int num ); 
}
MyClass obj = 10; //err,can't non-explict convert
-------------------------------
关键字explicit，可以阻止不应该允许的经过转换构造函数进行的隐式转换的发生。
声明为explicit的构造函数不能在隐式转换中使用。　　
C++中， 一个参数的构造函数(或者除了第一个参数外其余参数都有默认值的多参构造函数)， 承担了两个角色。 1 是个构造器 2 是个默认且隐含的类型转换操作符。　　
所以， 有时候在我们写下如 AAA = XXX， 这样的代码， 且恰好XXX的类型正好是AAA单参数构造器的参数类型， 这时候编译器就自动调用这个构造器， 创建一个AAA的对象。　　这样看起来好象很酷， 很方便。
但在某些情况下（见下面权威的例子）， 却违背了我们（程序员）的本意。
这时候就要在这个构造器前面加上explicit修饰， 指定这个构造器只能被明确的调用，使用， 不能作为类型转换操作符被隐含的使用。
呵呵， 看来还是光明正大些比较好。　　
explicit构造函数的作用　　
解析：　　
explicit构造函数是用来防止隐式转换的。
请看下面的代码：　　
class Test1　　
{　　
public:　　
Test1(int n) { num = n; } //普通构造函数　　
private:　　
int num;　　};　　
class Test2　　
{　　
public:　　
explicit Test2(int n) { num = n; } //explicit(显式)构造函数　　
private:　　
int num;　　
};　　
int main()　　
{　　
Test1 t1 = 12; //隐式调用其构造函数, 成功　　
Test2 t2 = 12; //编译错误,不能隐式调用其构造函数　　
Test2 t3(12); //显示调用成功　　
return 0;　　
}　　
Test1的构造函数带一个int型的参数，代码19行会隐式转换成调用Test1的这个构造函数。
而Test2的构造函数被声明为explicit（显式），这表示不能通过隐式转换来调用这个构造函数，因此代码20行会出现编译错误。　　
普通构造函数能够被隐式调用。而explicit构造函数只能被显示调用。
-------------------------------
// Copy From MSDN
This keyword is a declaration specifier that can only be applied to in-class constructor declarations. An explicit constructor cannot take part in implicit conversions. It can only be used to explicitly construct an object.

The following program will fail to compile because of the explicit keyword. To resolve the error, remove the explicit keywords and adjust the code in g.

class C
{
public:
   int i;
   explicit C(const C&)   // an explicit copy constructor
   {
      printf("/nin the copy constructor");
   }
   explicit C(int i )   // an explicit constructor
   {
      printf("/nin the constructor");
   }

   C()
   {
      i = 0;
   }
};

class C2
{
public:
   int i;
   explicit C2(int i )   // an explicit constructor
   {}
};

C f(C c)
{   // C2558
   c.i = 2;
   return c;   // first call to copy constructor
}

void f2(C2){}

void g(int i)
{
    f2(i);   // C2558
   // try the following line instead
   // f2(C2(i));
}

int main()
{
   C c, d;
   d = f(c);   // c is copied
}Note   explicit on a constructor with multiple arguments has no effect, since such constructors cannot take part in implicit conversions. However, for the purpose of implicit conversion, explicit will have an effect if a constructor has multiple arguments and all but one of the arguments has a default value.

// Copy From Internet Article
Pointer
不看书不知道自己的C++有多差T_T，看到 explicit 时遇到一个问题。请看下面一段程序：
class A
{
public:
A(int i) : m_i(i){}
int m_i;
};
int main()
{
A a = 0;
a = 10; // 这里是什么操作？
}

这个操作产生了一个临时对象。
我怀疑是默认赋值运算符 “A &operator = (int i){}”，于是重载了一下该运算符，结果确实运行到重载的运算符函数里了，那么临时对象又是如何产生的呢？

难道默认的赋值运算符是这样操作的？
A &operator = (int i){
A a(i);
return a;
}

这让我想起了类似的函数操作：
void fn(A a){
// ...
}
这里可以直接写fn(10);也是产生了一个临时对象。

难道真的是这样吗？忘解惑。
--------------------------------------------------------------------------------
当然会有默认的operator=了
按照c++标准，编译器会生成五个默认成员函数:
默认构造函数
拷贝构造函数
析构函数
operator=
operator&

class A
{
public:
A(int i) : m_i(i){}
int m_i;
};

分别说说吧：
1. A a = 0;
首先, compiler认为这样写是不符合规矩的, 因为A = A才是正常行为。
但是她并不放弃, 通过搜索, 发现A可以根据一个int构造, 同时这个A(int i)没有用explicit修饰过。
那么A a = 0; 这样的一句话随即转变成：
A tmp(0);
A a = tmp;
需要说明的是, A a = tmp是调用的copy ctor, 虽然class A中并没有, 但是通常不写copy ctor的话,
compiler都会生成一个memberwise assignment操作性质的ctor, 底层实现通常会以memcpy进行。

2. a = 10;
首先, 这样同ctor的情况一样, compiler无法直接进行操作。
类推, 等同于代码:
A tmp(10);
a = tmp;
需要注意的是, a = tmp是调用的assignment操作, 同ctor一样，我们自己不写, 编译器同样进行
memberwise assignment操作。

3. fn(A a)
同样, fn(10)也是不对的, 但是"按照惯例", 呵呵, 会有:
A tmp(10);
fn(tmp);

另外, 为你解惑:
copy ctor的写法只能是T::T(const T &);
而assignment的写法可以多变, 即任意. 以T为例,
可以有
T &operator = (int n);
也可有
T &operator = (const char *);
当然, 你要确认如此的定义是对T而言有意义.

然后, 上述a = tmp, 即调用的默认的、标准的、自动生成的T &operator = (const T &).
开销是会有一个临时的A tmp生成, 然后memcpy.
但如果你自已写了T &operator = (int n), 那么a = 10即意味着a.m_i = 10.
当然, 以开销而言要视你的T &operator = (int n)是否为inline了.

对于explicit, 当修饰explicit A(int i) : m_i(i){}, 那么即告诉compiler不要在私底下做那么多的转换动作.
而且自动生成如A tmp(0)这样的东西是我们不想要的, 因为某些情况下自动转换这种行为是错误的.