c++的explicit关键字有什么作用？ (防止隐式类型转换)

explicit修饰单参数构造函数时阻止隐式类型转换，如String s = "hello"报错，但允许String s("hello")；也禁止函数参数隐式转换，如print("world")报错，但允许print(String("world"))。

explicit 修饰构造函数时阻止哪些隐式转换

当构造函数只有一个参数（或多个参数但除第一个外都有默认值）时，explicit 能阻止编译器自动调用该构造函数完成隐式类型转换。比如 String s = "hello" 这类赋值，若 String(const char*) 构造函数被声明为 explicit，就会编译失败。

• 禁止用于拷贝初始化：

  String s = "hello"; // ❌ 报错：no viable conversion

• 允许直接初始化：

  String s("hello"); // ✅ 正常

• 禁止函数参数的隐式转换：

  void print(const String&); print("world"); // ❌ 若构造函数 explicit，则报错

• 允许显式转换：

  print(String("world")); // ✅ 或 print(static_cast("world"));

explicit 不影响移动/拷贝构造函数和转换运算符

explicit 只对「单参数构造函数」和「转换运算符」起作用。它不能加在拷贝构造函数或移动构造函数上（C++11 起语法不允许），也不影响 operator T() 以外的成员函数。

• 以下写法是非法的：

  class X { X(const X&) = default; }; // explicit 不能加在这里

• 但可以用于转换运算符：

  explicit operator bool() const { return valid_; } // ✅ 防止 if(x) 中意外参与算术运算

• 不加 explicit 的 operator bool() 可能导致 x + 1 合法（隐式转成 bool 再提升为 int）

何时必须用 explicit？常见踩坑场景

只要构造函数逻辑上不是“类型等价转换”，就应加上 explicit。否则容易引发静默行为、性能损耗或歧义调用。

• 资源持有类（如 FileHandle(int fd)）：隐式从 int 转可能导致意外打开文件
• 数值封装类（如 Duration(int ms)）：sleep(1000) 看似传毫秒，实则可能被转成 Duration 并触发复杂初始化
• 智能指针构造（如 std::unique_ptr(T*)）：标准库已用 explicit，避免 func(nullptr) 意外构造出空指针对象
• 模板类中易忽略：

  template class Wrapper { explicit Wrapper(T value); } // 即使 T 是 int/double，也建议 explicit

explicit 在 C++11 之后还支持多参数构造函数

C++11 引入了委托构造和 uniform initialization，explicit 也能用于多参数构造函数，防止 {...} 初始化在某些上下文中被隐式调用。

• 例如：

  class Vec { explicit Vec(int x, int y); }; Vec v{1, 2}; // ✅ 允许（直接列表初始化） Vec w = {1, 2}; // ❌ 禁止（拷贝初始化 + explicit）

• 这种限制只在拷贝初始化中生效，不影响直接初始化或 return {a, b} 等场景
• 注意：Vec v = {1, 2}; 和 Vec v = Vec{1, 2}; 都属于拷贝初始化，都会被 explicit 拦截

显式性不是可选项，而是接口契约的一部分。一旦漏掉 explicit，调用方可能写出看似合理、实则低效甚至错误的代码，而编译器不会提醒。