explicit仅对单参数或带默认值后可单参调用的构造函数有效，禁用隐式转换但不影响直接初始化；operator bool()应加explicit防误用；多参构造、拷贝/移动构造、initializer_list构造不可加。
加 explicit 是唯一标准、零开销、编译期生效的禁用方式，但它只对单参数（或带默认值后可单参调用）的构造函数起作用——不是所有构造函数都能、也不是所有场景都需要加。
哪些构造函数能用 explicit 禁用隐式转换
只有满足“一个实参就能调用”的构造函数才受 explicit 影响：
-
MyClass(int)、MyClass(const char*)这类典型单参构造函数，加explicit后MyClass obj = 42;或func("hello")会直接编译失败 -
MyClass(int, bool = true)这种多参但有默认值的，实际调用时写MyClass(123)就等价于单参，所以也受explicit约束 -
MyClass(std::initializer_list<T>)不能加explicit来禁用{1,2,3}这种列表初始化——它本身就不参与隐式转换序列 -
MyClass(const MyClass&)或MyClass(MyClass&&)加explicit是非法语法，编译器报error: explicit constructor cannot be copy constructor
explicit 实际拦截哪些写法，又放行哪些
它不改语义，只卡住“编译器悄悄帮你补构造”那一步。关键看是否触发隐式转换序列：
- 被拦截（报错）：
MyClass a = 5;、func(3.14);（若func参数是MyClass）、if (wrapper == "test")（若operator==接收const char*和隐式构造的MyClass） - 被放行（合法）：
MyClass a(5);、MyClass a{5};（直接初始化）、MyClass a = MyClass(5);（右边已是对象）、static_cast<MyClass>(5)（显式转换）、a = 5;（走赋值运算符，不是构造） - CTAD（类模板参数推导）行为会变：
std::vector v = {1,2,3};在 C++17 中依赖复制初始化，若std::vector的单参构造被标explicit，这行就编译不过；但std::vector v{1,2,3};仍可
为什么 explicit operator bool() 几乎必须加
这是防止布尔判据类型被误用于算术/比较的最有效手段：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 没加
explicit时：if (ptr) { }能过，但int x = ptr + 5;、ptr == true、!ptr && other都能编译——因为ptr先隐式转bool，再提升为int，完全失去类型安全 - 加了
explicit后：if (ptr)、while (!ptr)、!ptr全部保留；但ptr + 1、ptr == false、static_cast<int>(ptr)全部编译失败 - 标准库中
std::unique_ptr、std::optional、std::expected全部采用此写法，不是惯例，是防错刚需
不该加 explicit 的典型反例
加错比不加更危险，尤其影响 STL 兼容性和接口直觉性：
-
std::vector<int>(10)表示“10 个默认元素”，如果它的构造函数被标explicit，std::make_shared<std::vector<int>>(10)就无法推导——工厂函数依赖隐式转换来匹配参数 -
std::string(5, 'x')这种多参构造，即使第一个参数是 size，也不该加explicit；但若你写了StringWrapper(const char*)这种语义跨度大的单参构造，就必须加 - 模板构造函数如
template<typename T> MyClass(T)，加explicit后是否生效取决于实例化结果：若T=int导致单参调用，则受约束；若T=std::string且类已有MyClass(const std::string&)，则可能引发重载歧义
真正容易被忽略的是：explicit 不是“越加越安全”，而是“在语义模糊处加，在语义明确处不加”。比如 SafeHandle(int fd) 必须加，而 Buffer(size_t cap) 通常不加——区别不在参数个数，而在“fd 是资源标识，不应被数值悄悄转成句柄”这个事实。
