如何在C++17中适配无自定义构造函数类型的is_constructible校验

std::is_constructible_v的底层语义是检查目标类型是否支持小括号直接初始化语法：T t(args...)。你给出的X是无自定义构造函数的聚合类型，C17标准中聚合类型仅支持大括号形式的聚合初始化，不支持小括号形式，因此C17下该静态断言失败；而C20新增了聚合类的小括号初始化支持，所以C20下断言可以通过。

如果你实际要校验的是「能否用给定参数完成大括号形式的构造/初始化」，可以自定义编译期检测逻辑。

自定义SFINAE检测模板，判断大括号初始化的合法性，示例实现如下：

#include <type_traits>

template <typename T, typename... Args>
struct is_brace_constructible_impl
{
private:
    template <typename U = T, typename = decltype(U{std::declval<Args>()...})>
    static std::true_type test(int);
    template <typename>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test(0))::value;
};

template <typename T, typename... Args>
constexpr bool is_brace_constructible_v = is_brace_constructible_impl<T, Args...>::value;

之后把你的静态断言替换为使用自定义检测变量即可：

static_assert(is_brace_constructible_v<X, int, float>);

该检测逻辑在C17、C20环境下都可以正常工作，符合你示例中X x1{10, 1.3f}的初始化合法性校验需求。

如果你的校验场景确实要匹配小括号初始化的语义，那C++17下该断言失败是符合标准预期的，你需要给X显式声明对应的构造函数：

struct X
{
   int x;
   float y;
   // 显式声明构造函数后，std::is_constructible_v在C++17下也会返回true
   X(int x_, float y_) : x(x_), y(y_) {}
};

内容的提问来源于stack exchange，提问作者user3882729