不会同时评估两种类型的 std::conditional_t 的替代方案

在 C++ 中，std::conditional_t 是一个条件表达式模板，用于根据给定的条件选择两种类型中的一种。它的使用方式如下：

#include <type_traits>

template<bool Condition, typename TrueType, typename FalseType>
struct MyConditional {
    using type = typename std::conditional_t<Condition, TrueType, FalseType>;
};

int main() {
    // 使用 MyConditional 来选择两种类型中的一种
    typename MyConditional<true, int, float>::type var = 10;
    return 0;
}

然而，如果要同时评估两种类型，std::conditional_t 并不能直接提供替代方案。不过，我们可以通过使用模板特化来实现此功能。以下是一个示例：

#include <type_traits>

template<bool Condition, typename TrueType, typename FalseType>
struct MyConditional;

template<typename TrueType, typename FalseType>
struct MyConditional<true, TrueType, FalseType> {
    using type = TrueType;
};

template<typename TrueType, typename FalseType>
struct MyConditional<false, TrueType, FalseType> {
    using type = FalseType;
};

int main() {
    // 使用 MyConditional 来选择两种类型中的一种
    typename MyConditional<true, int, float>::type var = 10;
    return 0;
}

在上面的示例中，我们创建了一个模板 MyConditional，它接受一个布尔类型的条件，以及两个类型参数 TrueType 和 FalseType。通过对 MyConditional 进行特化，我们实现了根据条件选择两种类型的功能。

注意，在使用这种替代方案时，我们需要使用 typename 来声明类型别名，以指示编译器 MyConditional<true, int, float>::type 是一个类型。