std::is_constructible, std::is_trivially_constructible, std::is_nothrow_constructible
来自 cppreference.cn
定义于头文件 <type_traits> |
||
template< class T, class... Args > struct is_constructible; |
(1) | (C++11 起) |
template< class T, class... Args > struct is_trivially_constructible; |
(2) | (C++11 起) |
template< class T, class... Args > struct is_nothrow_constructible; |
(3) | (C++11 起) |
1) 如果
为此检查的目的,变量定义从不解释为函数声明,且 std::declval 的使用不被认为是 odr-use。访问检查 的执行就像从与
T
是对象或引用类型,且变量定义 T obj(std::declval<Args>()...); 是良构的,则提供成员常量 value
等于 true。在所有其他情况下,value
为 false。为此检查的目的,变量定义从不解释为函数声明,且 std::declval 的使用不被认为是 odr-use。访问检查 的执行就像从与
T
和 Args
中的任何类型都无关的上下文一样。只考虑变量定义的即时上下文的有效性。3) 同 (1),但变量定义是
noexcept
的。如果 T
或参数包 Args
中的任何类型不是完整类型、(可能经 cv 限定的)void,或未知边界数组,则行为未定义。
如果上述模板的实例化直接或间接依赖于不完整类型,并且该实例化在该类型假设完成时可能产生不同的结果,则行为未定义。
如果程序为此页上描述的任何模板添加特化,则行为未定义。
目录 |
[编辑] 辅助变量模板
template< class T, class... Args > inline constexpr bool is_constructible_v = |
(C++17 起) | |
template< class T, class... Args > inline constexpr bool is_trivially_constructible_v = |
(C++17 起) | |
template< class T, class... Args > inline constexpr bool is_nothrow_constructible_v = |
(C++17 起) | |
继承自 std::integral_constant
成员常量
value [静态] |
true 如果 T 可从 Args... 构造,否则为 false(public static 成员常量) |
成员函数
operator bool |
将对象转换为 bool,返回 value (公开成员函数) |
operator() (C++14) |
返回 value (公开成员函数) |
成员类型
类型 | 定义 |
value_type
|
bool |
类型
|
std::integral_constant<bool, value> |
[编辑] 注意
在许多实现中,is_nothrow_constructible
也检查析构函数是否抛出,因为它实际上是 noexcept(T(arg))。is_trivially_constructible
也适用相同的情况,在这些实现中,它也要求析构函数是平凡的:GCC bug 51452 LWG issue 2116。
[编辑] 示例
运行此代码
#include <iostream> #include <type_traits> class Foo { int v1; double v2; public: Foo(int n) : v1(n), v2() {} Foo(int n, double f) noexcept : v1(n), v2(f) {} }; int main() { auto is = [](bool o) { return (o ? "\t" "is " : "\t" "isn't "); }; std::cout << "Foo ...\n" << is(std::is_trivially_constructible_v<Foo, const Foo&>) << "Trivially-constructible from const Foo&\n" << is(std::is_trivially_constructible_v<Foo, int>) << "Trivially-constructible from int\n" << is(std::is_constructible_v<Foo, int>) << "Constructible from int\n" << is(std::is_nothrow_constructible_v<Foo, int>) << "Nothrow-constructible from int\n" << is(std::is_nothrow_constructible_v<Foo, int, double>) << "Nothrow-constructible from int and double\n"; }
输出
Foo ... is Trivially-constructible from const Foo& isn't Trivially-constructible from int is Constructible from int isn't Nothrow-constructible from int is Nothrow-constructible from int and double
[编辑] 参阅
检查类型是否具有默认构造函数 (类模板) | |
(C++11)(C++11)(C++11) |
检查类型是否具有拷贝构造函数 (类模板) |
(C++11)(C++11)(C++11) |
检查类型是否可以从右值引用构造 (类模板) |
(C++20) |
指定该类型的变量可以从一组参数类型构造或绑定 (概念) |