explicit(bool)是c++20特性，根据常量表达式控制构造函数是否显式；如模板中对bool类型用explicit(true)禁隐式转换，其他类型用false允许隐式转换，提升安全与灵活性。

在C++中，explicit(bool) 是 C++20 引入的新特性，允许构造函数的 explicit 属性通过一个常量表达式（通常是布尔值）来控制。这意味着你可以根据条件决定某个构造函数是否为显式（不能隐式转换）或隐式（允许隐式转换）。

explicit(bool) 的基本语法

使用方式如下：

 explicit(<i>constant-expression</i>) constructor-declaration; 

其中 constant-expression 是一个能在编译期求值的布尔表达式。如果结果为 true，构造函数就是 explicit 的；如果为 false，则允许隐式调用。

实际示例：条件化 explicit 构造函数

考虑一个模板类，我们希望当模板参数是某种类型时禁止隐式转换，其他情况允许。

立即学习“C++免费学习笔记（深入）”；

 #include <iostream> #include <type_traits>  template <typename T> struct Wrapper {     T value;      // 只有当 T 不是 bool 时才允许隐式转换     explicit(!std::is_same_v<T, bool>) Wrapper(T v) : value(v) {         std::cout << "构造 Wrapper("<< v <<")n";     } }; 

上面代码中：

• 当 T 是 bool 时，!std::is_same_v<T, bool> 为 false，所以构造函数不是 explicit 的 —— 等等，不对！注意逻辑反了。
• 实际上，explicit(false) 表示不显式，即允许隐式转换；explicit(true) 才禁止隐式转换。

修正说明：如果我们想让 bool 类型必须显式构造，应该这样写：

即构数智人

即构数智人是由即构科技推出的AI虚拟数字人视频创作平台，支持数字人形象定制、短视频创作、数字人直播等。

36

查看详情

 explicit(std::is_same_v<T, bool>) Wrapper(T v) : value(v) {     std::cout << "构造 Wrapper("<< (v ? "true" : "false") <<")n"; } 

含义是：

• 当 T 是 bool 时，std::is_same_v<T, bool> 为 true → 构造函数是 explicit 的 → 必须显式调用
• 当 T 是 int 等其他类型时，条件为 false → 构造函数非 explicit → 允许隐式转换

测试行为差异

 int main() {     // int 类型：允许隐式转换     Wrapper<int> w1 = 42;        // OK: 非 explicit(int)     Wrapper<int> w2(100);       // 也可以显式      // bool 类型：explicit(true)，不允许隐式转换     // Wrapper<bool> wb = true;  // 错误！不能隐式转换     Wrapper<bool> wb(true);      // 正确：显式构造     Wrapper<bool> wb2{false};    // 也正确      return 0; } 

输出：

构造 Wrapper(42)
构造 Wrapper(100)
构造 Wrapper(true)
构造 Wrapper(false)

可以看到，对 bool 使用赋值初始化会报错，而 int 不会。

应用场景与优势

这个特性特别适用于模板库开发，比如标准库中的容器或智能指针，需要根据不同类型调整接口的安全性。

例如，某些类型可能存在意外转换的风险（如指针转布尔），这时可以针对这些类型启用 explicit，而对数值类型保持便利性。

基本上就这些。C++20 的 explicit(bool) 提供了更细粒度的控制，让模板构造函数的行为更加灵活和安全。