17370845950

C++中的explicit关键字有什么用_C++防止构造函数的隐式类型转换

在C++中,explicit关键字主要用于修饰单参数构造函数,防止编译器进行隐式类型转换。如果不加explicit,编译器可能会在你不期望的地方自动调用构造函数进行类型转换,从而引发难以察觉的错误。

隐式类型转换的风险

当一个类有一个接受单个参数的构造函数时,C++会将其视为一种隐式转换途径。例如:

class MyString {
public:
    MyString(int size) {
        // 假设这里分配指定大小的字符串缓冲区
    }
};

void printString(const MyString& s) {
    // 打印字符串
}

printString(10);  // 编译通过!但逻辑上不合理

上面代码中,printString(10) 能够编译通过,因为编译器会自动将整数10隐式转换为MyString对象,调用MyString(int)构造函数。这显然不符合设计初衷——我们本意是传入一个字符串,而不是一个数字。

使用explicit避免隐式转换

通过在构造函数前加上explicit关键字,可以禁用这种隐式转换:

class MyString {
public:
    explicit MyString(int size) {
        // 构造逻辑
    }
};

printString(10);        // 错误:无法隐式转换
printString(MyString(10)); // 正确:显式构造

此时,printString(10) 将导致编译错误,必须显式地创建MyString对象才能传递。这样能有效防止意外的类型转换,提高代码的安全性和可读性。

explicit适用于多个参数的情况(C++11起)

从C++11开始,explicit也可以用于有多个参数的构造函数,尤其是当这些参数存在默认值,导致实际可能只传一个参数被调用时:

class DataBuffer {
public:
    explicit DataBuffer(int size, int init = 0);
};

DataBuffer buf1 = 100;     // 错误:explicit禁止隐式转换
DataBuffer buf2(100);      // 正确:显式调用

即使构造函数有两个参数,但由于第二个有默认值,它仍可能被单参数调用。使用explicit可防止这种情况下的隐式转换。

基本上就这些。explicit是一个简单但重要的关键字,合理使用能显著提升代码的健壮性,避免因隐式转换带来的逻辑错误。不复杂但容易忽略。