如何精准测试T(...)语法的构造性，避免假阳性与假阴性？

我想要判断类型T的对象是否可通过类型U的参数，用T(...)语法构造。原以为std::is_constructible足够适用（除了它还会检查可析构性，我本想避免这一点），但实际测试却失败了：

#include <type_traits>
using U = int;
enum T : U { };
static_assert(std::is_constructible<T, U>::value, "error");  // 失败
static_assert(std::is_convertible<U, T>::value, "error");  // 失败

我猜测这是合理的，因为T e((U()))这种直接初始化写法会失败，但我关注的是auto v = T(U())和auto v = static_cast<T>(U())均能成功的场景。这让我疑惑还存在哪些其他边缘情况。请问如何仅测试T(...)语法的构造性，理想情况下使用标准特性，尽可能减少假阳性与假阴性？

核心原因 #

std::is_constructible<T, U>检查的是直接初始化（如T t(u)）是否可行，而T(U())属于函数式显式转换，二者的规则并不完全一致：

• 对于枚举类型（如示例中的T），由于没有用户定义的构造函数，直接初始化不被允许，但显式转换（函数式写法或static_cast）可以从底层类型转换而来，这是枚举类型的语言特性。
• std::is_convertible<U, T>检查的是隐式转换是否可行，而枚举到底层类型的反向转换是显式的，因此也会返回false。

自定义类型特性实现检测 #

标准库没有直接提供检测函数式转换的特性，我们可以自己实现一个轻量级的特性来检测T(expr)语法是否合法：

#include <type_traits>

template <typename Target, typename Source>
struct is_functional_castable {
private:
    // 优先匹配此重载：如果T(std::declval<U>())合法，返回std::true_type
    template <typename T, typename U>
    static auto test(int) -> decltype(T(std::declval<U>()), std::true_type{});
    
    // 兜底重载：如果上述表达式不合法，返回std::false_type
    template <typename, typename>
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<Target, Source>(0))::value;
};

// 辅助变量模板（C++14及以上可用）
template <typename Target, typename Source>
inline constexpr bool is_functional_castable_v = is_functional_castable<Target, Source>::value;

测试验证 #

用示例中的枚举类型测试：

using U = int;
enum T : U { };
static_assert(is_functional_castable_v<T, U>, "error");  // 成功

边缘情况说明 #

• 显式构造函数的类类型：如果类T有explicit T(U)构造函数，std::is_convertible<U, T>会返回false，但is_functional_castable_v<T, U>会返回true，符合T(U())合法的预期。
• 聚合类型：如struct S { int x; };，S(5)这种写法不合法（聚合类型需用列表初始化S{5}），因此is_functional_castable_v<S, int>返回false，符合实际语法规则。
• 标量类型转换：如int(double(3.14))合法，特性会返回true，正确覆盖标量的显式转换场景。

关于可析构性的问题 #

std::is_constructible确实会同时检查类型是否可析构，而我们自定义的特性只会检测T(expr)表达式的合法性，不会涉及析构检查，正好满足你避免检测可析构性的需求。

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