如何修复C++中用std::conditional_t区分类与非类类型的编译错误

你遇到的编译错误核心是std::conditional_t的两个分支类型会无条件实例化，编译器会对两个分支都做语法检查，因此当T为int等非类类型时，typename T::result_type属于非法语法，直接触发报错。

方案1：模板偏特化（兼容C++11及以上版本） #

这是最通用的实现方式，通过SFINAE规则只在符合条件的分支做类型提取：
首先先实现C11版本的void_t（C17及以上可直接使用标准库的std::void_t）：

// C++11 自定义void_t，C++17及以上可省略
template<typename...>
using void_t = void;

然后编写模板结构体：

// 主模板：默认情况type为void
template<class T, class = void>
struct ResultType
{
    using type = void;
};

// 偏特化：仅当T存在result_type成员类型时匹配
template<class T>
struct ResultType<T, void_t<typename T::result_type>>
{
    using type = typename T::result_type;
};

该方案比你最初的需求更鲁棒：即使T是类类型，如果不存在result_type成员别名，也会默认返回void，避免额外编译错误。

方案2：C++20 Concept 简化实现 #

如果你使用C++20及以上标准，可以用concept简化偏特化逻辑，代码可读性更高：

// 定义约束：T必须存在result_type成员类型
template<class T>
concept HasResultType = requires { typename T::result_type; };

// 主模板默认返回void
template<class T>
struct ResultType
{
    using type = void;
};

// 符合约束的偏特化版本
template<HasResultType T>
struct ResultType<T>
{
    using type = typename T::result_type;
};

// 测试类，包含result_type
class TestClass
{
public:
    using result_type = int;
};

// 测试输出
static_assert(std::is_same_v<ResultType<TestClass>::type, int>); // 匹配偏特化，返回int
static_assert(std::is_same_v<ResultType<int>::type, void>); // 非类类型，返回void
static_assert(std::is_same_v<ResultType<std::string>::type, void>); // 类类型但无result_type，返回void

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