C++中std::is_constructible的使用

std::is_constructible是C++11标准中的类型萃取工具之一，用于检查可以在某些条件下构造给定类型的对象。

其使用方法如下：

template< class T, class... Args >
struct is_constructible;

template< class T, class... Args >
inline constexpr bool is_constructible_v = is_constructible<T, Args...>::value;

其中，T是待检查的类型，Args是构造类型所需的参数列表。is_constructible的返回值是一个std::integral_constant类型的实例，代表检查结果，is_constructible_v是is_constructible的一种快捷方式，可以直接获取该实例的值。

使用示例：

#include <iostream>
#include <type_traits>

class A {
public:
    A(int i) {}
};

int main() {
    std::cout << std::is_constructible<A, int>::value << std::endl;
    std::cout << std::is_constructible_v<A, float> << std::endl;

    return 0;
}

运行结果为：

1
0

解释：A类可以通过int类型的参数构造，能够通过float类型的参数构造。因此，第一个语句的返回值为1，第二个语句的返回值为0。使用is_constructible可以在编译期进行类型检查，避免在运行时产生错误。