解析“explicit”

转载http://blog.csdn.net/fengbingchun/article/details/51168728

C++中的关键字explicit主要是用来修饰类的构造函数，被修饰的构造函数的类，不能发生相应的隐式类型转换，只能以显示的方式进行类型转换。类构造函数默认情况下声明为隐式的即implicit。

隐式转换即是可以由单个实参来调用的构造函数定义了一个从形参类型到该类类型的隐式转换。编译器在试图编译某一条语句时，如果某一函数的参数类型不匹配，编译器就会尝试进行隐式转换，如果隐式转换后能正确编译，编译器就会继续执行编译过程，否则报错。

explicit关键字只能用于类内部的构造函数声明上，而不能用在类外部的函数定义(函数实现)上，它的作用是不能进行隐式转换；explicit关键字作用于单个参数的构造函数，如果构造函数有多个参数，但是从第二个参数开始，如果各参数均有默认赋值，也可以应用explicit关键字。

当构造函数只有一个参数时，会进行自动隐式转换，当构造函数参数个数超过或等于两个时自动取消隐式转换，当只有一个必须输入的参数，其余的为有默认值的参数时使用explicit也起作用。

一般只将有单个参数的构造函数声明为explicit，而拷贝构造函数不要声明为explicit。

explicit关键字只能对用户自己定义的对象起作用，不对默认构造函数起作用。此关键只能够修饰构造函数。无参数的构造函数和多参数的构造函数总是显示调用，这种情况在构造函数前加explicit无意义。

当不希望进行自动类型转换时用explicit，标准库的许多构造函数都是explicit的。

explicit.hpp：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


#ifndef FBC_MESSY_TEST_EXPLICIT_HPP  
#define FBC_MESSY_TEST_EXPLICIT_HPP  
  
// reference Bjarne Stroustrup sample  
class String{  
public:  
    explicit String(int n) {};  
    String(const char *p) {};  
};  
  
void test_explicit();  
  
#endif // FBC_MESSY_TEST_EXPLICIT_HPP  

explicit.cpp：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28


#include <explicit.hpp>  
  
static void test1()  
{  
    String s1 = 'a'; // 错误：不能做隐式char->String转换  
    String s2(10); // 可以：调用explicit String(int n);  
    String s3 = String(10); // 可以：调用explicit String(int n);再调用默认的复制构造函数  
    String s4 = "Brian"; // 可以：隐式转换调用String(const char *p);再调用默认的复制构造函数  
    String s5("Fawlty"); // 可以：正常调用String(const char *p);  
}  
  
static void f(String)  
{  
  
}  
  
static String g()  
{  
    f(10); // 错误：不能做隐式int->String转换  
    f("Arthur"); // 可以：隐式转换，等价于f(String("Arthur"));  
    return 10; // 同上  
}  
  
void test_explicit()  
{  
    test1();  
    g();  
}  

文章目录