为何std::conditional要求两个分支均合法？C++标准相关解析

问题场景复现 #

你编写了一段基于类型谓词条件修改输入类型的模板代码：

template <typename T>
using result = std::conditional_t<type_pred<T>::value, type_cast<T>::type, T>;

但发现无论type_pred<T>::value的结果是true还是false，只有当T满足type_cast的约束时代码才能编译。比如下面的例子中，std::make_unsigned_t要求输入是整数类型，当T为float时编译器直接报错：

template <typename T>
using make_unsigned_if_integral_t =
    std::conditional_t<std::is_integral_v<T>, std::make_unsigned_t<T>, T>;

// 正常编译：int是整数类型，std::make_unsigned_t<int>合法
static_assert(std::is_same_v<make_unsigned_if_integral_t<int>, unsigned int>);
// 编译报错：float不是整数类型，std::make_unsigned_t<float>非法
using expect_float = make_unsigned_if_integral_t<float>;

如果修改type_cast的实现，不对参数施加强制约束，代码就能正常工作：

// 不对T施加约束，custom_make_unsigned<float>::type始终合法（只是不会被实际用到）
template <typename T> struct custom_make_unsigned {
    template <typename U> struct impl {
        using type = U;
    };

    template <std::signed_integral U> struct impl<U> {
        using type = std::make_unsigned_t<U>;
    };

    using type = typename impl<T>::type;
};

template <typename T>
using custom_make_unsigned_if_integral_t =
    std::conditional_t<std::is_integral_v<T>, typename custom_make_unsigned<T>::type, T>;

// 正常编译：float走默认分支，类型保持float
static_assert(std::is_same_v<custom_make_unsigned_if_integral_t<float>, float>);

核心问题 #

为什么std::conditional要求两个分支都必须是合法类型？C++语言或标准库的哪部分定义了这个行为？

原因解析 #

这本质是C++模板实例化规则的直接结果：

1. 模板参数无惰性求值：当你使用std::conditional_t<B, T, F>时，编译器会先实例化所有模板参数（包括T和F），再根据布尔值B选择最终类型。也就是说，不管条件是否成立，T和F都必须是合法的类型——编译器不会因为某个分支未被选中就跳过对该分支类型合法性的检查。
2. 标准库的定义逻辑：std::conditional的标准实现本质是一个模板结构体，简化版定义如下：

template<bool B, class T, class F>
struct conditional { typedef T type; };

template<class T, class F>
struct conditional<false, T, F> { typedef F type; };

template<bool B, class T, class F>
using conditional_t = typename conditional<B, T, F>::type;

根据C++标准，模板参数必须是完整且合法的类型。在实例化conditional<B, T, F>时，T和F作为模板参数会被立即检查合法性，不存在“按需检查”的逻辑。

而你自定义的custom_make_unsigned能工作，是因为它利用了类模板的部分特化和延迟实例化：custom_make_unsigned<T>::type本身始终是合法的，只有当T满足std::signed_integral约束时，才会实例化调用std::make_unsigned_t<U>的特化版本；对于float这类不满足约束的类型，只会实例化通用版impl，不会触发std::make_unsigned_t<float>的非法实例化。

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