c++ - Constexpr 如果替代

Question

我想在编译时使用constexpr if进行分支，但最新的MSVC编译器似乎不支持。是否有以下替代方案？:

template<typename T>
void MyFunc()
{
    if constexpr(MeetsConditions<T>::value)
    {
        FunctionA<T>();
    }
    else
    {
        FunctionB<T>();
    }
}

简而言之:当编译器不支持时，我可以模拟 constexpr if 吗？

Answer 1

C++17 之前的一种方法是使用部分模板特化，如下所示:

template <typename T, bool AorB>
struct dummy;

template <typename T, true>
struct dummy {
    static void MyFunc() {  FunctionA<T>(); }
}

template <typename T, false>
struct dummy {
    static void MyFunc() {  FunctionB<T>(); }
}

template <typename T>
void Facade() {
    dummy<T, MeetsConditions<T>::value>::MyFunc();
}

如果您需要超过 2 个特化 - 您可以使用枚举或整数值，并对所有需要的枚举进行特化。

另一种方法是使用 std::enable_if:

template <typename T>
std::enable_if<MeetsConditions<T>::value, void>::type
MyFunc() {
   FunctionA<T>();
}

template <typename T>
std::enable_if<!MeetsConditions<T>::value, void>::type
MyFunc() {
   FunctionB<T>();
}