c++ - 为什么是 `std::is_constructible_v == false`

Question

可重现的例子:

#include <type_traits>
static_assert(std::is_constructible_v<int[2], int, int>, "fails against my expectations");

我用 clang 5 和 gcc 7 测试了这个。

Answer 1

来自ref :

If T is an object or reference type and the variable definition T obj(std::declval<Args>()...); is well-formed, provides the member constant value equal to true. In all other cases, value is false.

在你的例子中 T obj(std::declval<Args>()...); 不是良构的。

这是因为 int[2]是一个普通数组，没有任何构造函数。

因此，这:

int obj[2](int, int);

格式错误。

数组是 aggregates ，因此聚合初始化在这里发挥作用，而不是构造。