C++

参考

<type_traits>

类模板
<type_traits>

std::is_constructible

template <class T, class... Args> struct is_constructible;
可构造性判断

如果类型 T 可以用给定参数列表 Arg 列表进行构造，则该 trait 类表现为 integral_constant，其值为 true，否则为 false。Arg.

对于该类，可构造类型 是指可以使用特定参数集来构造的类型。

is_constructible继承自 integral_constant，其值类型为 bool，表示 T 是否可以由参数列表 Args 构造。T即可构造的类型Args.

模板参数

T
一个完整类型，或者void（可能带 cv 限定），或者一个未知边界的数组。
Args
一组完整的类型（或void，可能带 cv 限定，或一个未知界数组），表示构造函数形式的参数类型，顺序与构造函数中的相同。
如果省略，则检查该类型是否为默认可构造。

成员类型

继承自 integral_constant
成员类型定义
value_typebool
类型true_type 或 false_type

成员常量

继承自 integral_constant
成员常量定义
值是true或false

成员函数

继承自 integral_constant
operator bool
返回 value （公共成员函数）

示例

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
// is_constructible example
#include <iostream>
#include <type_traits>

struct A { A (int,int) {}; };

int main() {
  std::cout << std::boolalpha;
  std::cout << "is_constructible:" << std::endl;
  std::cout << "int: " << std::is_constructible<int>::value << std::endl;
  std::cout << "int(float): " << std::is_constructible<int,float>::value << std::endl;
  std::cout << "int(float,float): " << std::is_constructible<int,float,float>::value << std::endl;
  std::cout << "A: " << std::is_constructible<A>::value << std::endl;
  std::cout << "A(int): " << std::is_constructible<A,int>::value << std::endl;
  std::cout << "A(int,int): " << std::is_constructible<A,int,int>::value << std::endl;
  std::cout << "A(int,int,int): " << std::is_constructible<A,int,int,int>::value << std::endl;
  return 0;
}

输出
is_constructible:
int: true
int(float): true
int(float,float): false
A: false
A(int): false
A(int,int): true
A(int,int,int): false


另见

is_destructible
是否可析构 （类模板）
is_assignable
是否可赋值 （类模板）
is_default_constructible
是否可默认构造 （类模板）
is_copy_constructible
是否可复制构造 （类模板）
is_trivially_constructible
是否可平凡构造 （类模板）
is_nothrow_constructible
构造时是否不抛出异常 （类模板）