概念定义

template<typename T>
concept default_initializable = constructible_from<T> && requires {
    T{};
    ::new (static_cast<void*>(nullptr)) T;
}

详细描述

检查类型是否可默认初始化

模板参数

T 要检查的类型

要求可以通过{}语法和placement new进行默认初始化。

在文件 concepts.hpp 第 128 行定义.