c++中explicit是什么意思_讲解C++中explicit关键字的用途与使用场景

explicit用于防止构造函数的隐式转换,避免单参数或带默认值参数的构造函数被自动调用,提升类型安全。

在C++中,explicit 是一个用于修饰构造函数的关键字,主要作用是防止编译器进行隐式类型转换。如果不使用 explicit,编译器可能会自动调用单参数构造函数来进行类型转换,这有时会导致意想不到的行为。

为什么需要 explicit?

当一个类的构造函数只有一个参数(或多个参数但除了第一个外都有默认值)时,它可能被用来进行隐式转换。例如:

class MyString {
public:
    MyString(int size) { /* 分配 size 大小的字符串空间 */ }
    MyString(const char* str) { /* 从 C 风格字符串构造 */ }
};

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

// 调用 printString(10); // 编译通过!但逻辑错误:把整数 10 当作 MyString 传入

上面代码中,MyString(int) 构造函数被隐式调用,将整数 10 转换为 MyString 对象。这可能不是程序员本意,容易引发 bug。

使用 explicit 阻止隐式转换

加上 explicit 关键字后,这种隐式转换会被禁止:

class MyString {
public:
    explicit MyString(int size) { /* ... */ }
    MyString(const char* str) { /* ... */ }
};

printString(10); // 错误:不能隐式转换 int 到 MyString printString(MyString(10)); // 正确:显式构造 printString{10}; // 错误:列表初始化也不允许隐式转换

此时,必须显式地创建对象,提高了类型安全性。

explicit 的使用场景

  • 单参数构造函数:这是最常见的使用场景。只要不希望发生自动转换,就应标记为 explicit
  • C++11 及以后支持多参数 explicit:从 C++11 开始,explicit 也可以用于多个参数的构造函数,主要用于禁止通过列表初始化发生的隐式转换。
class Point {
public:
    explicit Point(int x, int y) { /* ... */ }
};

Point p1 = {1, 2}; // 错误:explicit 禁止了这种隐式列表初始化 Point p2{1, 2}; // 正确:显式初始化,不涉及隐式转换

注意:虽然 p2{1,2} 是合法的,但它不是“隐式转换”,而是显式构造,所以允许。

总结

使用 explicit 是一种良好的编程习惯,尤其对于单参数构造函数。它可以避免意外的类型转换,提升代码的安全性和可读性。除非你明确希望支持隐式转换(这种情况极少),否则建议将单参数构造函数声明为 explicit

基本上就这些,不复杂但容易忽略。