explicit 说明符

来自cppreference.com
See More


 
C++
 
C++ 语言
 
类
 

语法

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 说明符的一部分： 

struct S
{
    explicit (S)(const S&);    // C++20 中错误，C++17 中 OK
    explicit (operator int)(); // C++20 中错误，C++17 中 OK
};
(C++20 起)
功能特性测试宏 值 标准 功能特性
__cpp_conditional_explicit 201806L (C++20) 条件性 explicit

关键词

explicit

示例

运行此代码
struct A
{
    A(int) {}      // 转换构造函数
    A(int, int) {} // 转换构造函数（C++11）
    operator bool() const { return true; }
};

struct B
{
    explicit B(int) {}
    explicit B(int, int) {}
    explicit operator bool() const { return true; }
};

int main()
{
    A a1 = 1;      // OK：复制初始化选择 A::A(int)
    A a2(2);       // OK：直接初始化选择 A::A(int)
    A a3 {4, 5};   // OK：直接列表初始化选择 A::A(int, int)
    A a4 = {4, 5}; // OK：复制列表初始化选择 A::A(int, int)
    A a5 = (A)1;   // OK：显式转型进行 static_cast
    if (a1) { }    // OK：A::operator bool()
    bool na1 = a1; // OK：复制初始化选择 A::operator bool()
    bool na2 = static_cast<bool>(a1); // OK：static_cast 进行直接初始化
    
//  B b1 = 1;      // 错误：复制初始化不考虑 B::B(int)
    B b2(2);       // OK：直接初始化选择 B::B(int)
    B b3 {4, 5};   // OK：直接列表初始化选择 B::B(int, int)
//  B b4 = {4, 5}; // 错误：复制列表初始化不考虑 B::B(int,int)
    B b5 = (B)1;   // OK：显式转型进行 static_cast
    if (b2) { }    // OK：B::operator bool()
//  bool nb1 = b2; // 错误：复制初始化不考虑 B::operator bool()
    bool nb2 = static_cast<bool>(b2); // OK：static_cast 进行直接初始化
    
    [](...){}(a4, a5, na1, na2, b5, nb2); // 消除“未使用变量”警告
}

参阅