C/C++编程：显式构造函数(explicit )

曾经终败给现在 2022-11-15 06:14 129阅读 0赞

# 引入 #

如果类具有带一个参数的构造函数，或是如果除了一个参数之外的所有参数都具有默认值，则参数类型可以隐式转换为类类型（这样的构造函数也叫做[隐式构造函数][Link 1]）。 例如，如果 Box 类具有一个类似于下面这样的构造函数：

Box(int size): m_width(size), m_length(size), m_height(size){
        }

可以初始化 Box，如下所示：

Box b = 42;

这类转换可能在某些情况下很有用，但更常见的是，它们可能会导致代码中发生细微但严重的错误。 作为一般规则，**应使用explicit 在构造函数 (和用户定义的运算符) 上使用关键字，以防止这种隐式类型转换：**(也就是显式构造函数)

explicit Box(int size): m_width(size), m_length(size), m_height(size){
        }

构造函数是显式函数时，此行会导致编译器错误：ShippingOrder so(42, 10.8);

# 作用 #

如果构造函数中带有explicit，则它只能用于初始化和显式类型转换。比如：

class Date{
        
    	int d, m, y;
    public:
    	explicit Date(int dd = 0, int mm = 0, int yy = 0);
    };;
    
    Date d1{
        15};          //正确，被看成是显式类型转换
    Date d2 = Date{
        15};   //正确，被看成是显式类型转换
    Date d3 = {
        15};       //error：=初始化不能进行隐式类型转换
    Date d4 = 15;         //error：=初始化不能进行隐式类型转换
    
    void f(){
        
    	my_fct(15);       //error：参数传递不能进行隐式类型转换
    	my_fct({
        15});     //error：参数传递不能进行隐式类型转换
    	my_fnt(Date{
        15}); // ok :显式类型转换
    }

用=进行初始化可以看作**拷贝初始化**。一般来说，初始化器的副本会被放入待初始化的对象。但是，如果初始化器是一个右值，这种拷贝可能会被优化掉，而采用移动操作。省略=会将初始化变为**显式初始化**。显式初始化也叫做**直接初始化**\*

默认情况下，应该将单参数的构造函数声明为explicit。除非你有很好的理由(比如complex复数：如果忽略虚部，就会得到实数轴上的一个复数+)。如果定义隐式构造函数，那就写下原因。

如果一个构造函数声明为explicit而且定义在类外，则在定义中不能重复explicit：

class Date{
        
    	int d, m, y;
    public:
    	explicit Date(int d);
    };
    
    Date::Date(int d) {
        ...}  //ok
    explicit Date::Date(int d) {
        ...} //error

大多数explicit起很重要作用的构造函数都接受单一参数。但是，explicit也可以用于无参或多个参数的构造函数：

struct x{
        
    	explicit x();
    	explicit x(int, int);
    };
    
    x x0 = {
        };     //错误，隐式的
    x x1 = {
        1, 2}; //错误，隐式的
    
    x x3{
        };        //正确，显式的
    x x4{
        1,2};     //正确，显式的
    
    int f(x);
    
    int i1 = f({
        });   //错误，隐式的
    int i2 = f({
        1,2});   //错误，隐式的
    int i3 = f(x{
        });   //正确，显式的
    int i4 = f(x{
        1.2});   //正确，显式的

列表初始化也存在直接初始化和拷贝初始化的区别

[Link 1]: https://blog.csdn.net/zhizhengguan/article/details/114991155