explicit (1)
explicit ( 表达式 ) (2) (C++20 起)
表达式 - 经按语境转换为 bool 类型的常量表达式

1) 指定构造函数或转换函数 (C++11 起)或推导指引 (C++17 起)为显式，即它不能用于隐式转换和复制初始化。


2) explicit 说明符可以与常量表达式一同使用。当且仅当该常量表达式求值为 true 时函数为显式。
(C++20 起)

explicit 说明符只可出现于在类定义之内的构造函数或转换函数 (C++11 起)的 声明说明符序列 中。

注解

声明时不带函数说明符 explicit 的拥有单个无默认值形参的 (C++11 前)构造函数被称作转换构造函数。

构造函数（除了复制/移动）和用户定义转换函数都可以是函数模板；explicit 的含义不变。


跟随 explicit 的 ( 记号被剖析成 explicit 指定符的一部分：




  1. struct S {
        explicit (S)(const S&);    // C++20 中错误，C++17 中 OK
        explicit (operator int)(); // C++20 中错误，C++17 中 OK
    };



(C++20 起)

示例

运行此代码

  1. struct A
  2. {
  3.     A(int) { }      // 转换构造函数
  4.     A(int, int) { } // 转换构造函数 (C++11)
  5.     operator bool() const { return true; }
  6. };
  7.  
  8. struct B
  9. {
  10.     explicit B(int) { }
  11.     explicit B(int, int) { }
  12.     explicit operator bool() const { return true; }
  13. };
  14.  
  15. int main()
  16. {
  17.     A a1 = 1;      // OK：复制初始化选择 A::A(int)
  18.     A a2(2);       // OK：直接初始化选择 A::A(int)
  19.     A a3 {4, 5};   // OK：直接列表初始化选择 A::A(int, int)
  20.     A a4 = {4, 5}; // OK：复制列表初始化选择 A::A(int, int)
  21.     A a5 = (A)1;   // OK：显式转型进行 static_cast
  22.     if (a1) ;      // OK：A::operator bool()
  23.     bool na1 = a1; // OK：复制初始化选择 A::operator bool()
  24.     bool na2 = static_cast<bool>(a1); // OK：static_cast 进行直接初始化
  25.  
  26. //  B b1 = 1;      // 错误：复制初始化不考虑 B::B(int)
  27.     B b2(2);       // OK：直接初始化选择 B::B(int)
  28.     B b3 {4, 5};   // OK：直接列表初始化选择 B::B(int, int)
  29. //  B b4 = {4, 5}; // 错误：复制列表初始化不考虑 B::B(int,int)
  30.     B b5 = (B)1;   // OK：显式转型进行 static_cast
  31.     if (b2) ;      // OK：B::operator bool()
  32. //  bool nb1 = b2; // 错误：复制初始化不考虑 B::operator bool()
  33.     bool nb2 = static_cast<bool>(b2); // OK：static_cast 进行直接初始化
  34. }