`enable_if`带有``枚举模板专业化问题''

我在将enable_if s应用于模板类方法的返回值时存在问题。使用Clang，我可以在enum模板参数上使用enable_if中的表达式，而GCC拒绝编译此代码。

这是问题描述，初始代码及其随后的修改，试图使我和编译器满足（不幸的是，不是同时）。

我有一个未模拟的类Logic，其中包含模板类方法computeThings()，该类方法的enum Strategy作为其模板参数的一个一个。computeThings()中的逻辑取决于编译时Strategy，因此if constexpr是实现的合理方法。

变体1

#include <iostream>
class Logic {
public:
    enum Strategy { strat_A, strat_B };
    // class A and class B are dummy in this example, provided to show that there are several template
    // parameters, and strategy selection effectively results in 
    // partial (not full) templated method specification
    template <class A, class B, Strategy strategy>
    int computeThings();
};
template <class A, class B, Logic::Strategy strategy>
int Logic::computeThings() {
    if constexpr(strategy==strat_A)
        return 0;
    else
        return 1;
}
int main() {
    Logic mylogic;
    std::cout<<mylogic.computeThings<int,int,Logic::strat_A>()<<std::endl; //outputs 0
    std::cout<<mylogic.computeThings<int,int,Logic::strat_B>()<<std::endl; //outputs 1
    return 0;
}

变体1可以很好地工作，并在clang和GCC中编译。但是，我想根据所选的Strategy摆脱if constexpr并将computeThings()分为两种专用方法。原因：该功能至关重要，包含许多代码。

所以，我想出了使用 enable_if应用于返回值的变体2。

变体2

#include <iostream>
class Logic {
public:
    enum Strategy { strat_A, strat_B };
    
    template <class A, class B, Logic::Strategy strategy>
    typename std::enable_if_t<strategy==Logic::strat_A,int>
    computeThings();
    
    template <class A, class B, Logic::Strategy strategy>
    typename std::enable_if_t<strategy==Logic::strat_B,int>
    computeThings();
};
template <class A, class B, Logic::Strategy strategy>
typename std::enable_if_t<strategy==Logic::strat_A,int>
Logic::computeThings() {
    return 0;
}
template <class A, class B, Logic::Strategy strategy>
typename std::enable_if_t<strategy==Logic::strat_B,int>
Logic::computeThings() {
    return 1;
}
int main() {
    Logic mylogic;
    std::cout<<mylogic.computeThings<int,int,Logic::strat_A>()<<std::endl; //outputs 0
    std::cout<<mylogic.computeThings<int,int,Logic::strat_B>()<<std::endl; //outputs 1
    return 0;
}

我对变体2非常满意（尽管也很喜欢反馈）。该代码使用AppleClang（通常是Clang）罚款，并产生正确的结果。但是，它无法使用GCC编译以下错误（ 相同，但对于其他方法）：

error: prototype for 'std::enable_if_t<(strategy == Logic:: strat_A),int> Logic::computeThings()' does not match any in class 'Logic' Logic::computeThings()

candidates are: template<class A, class B, Logic::Strategy strategy> std::enable_if_t<(strategy == strat_B), int> Logic::computeThings() computeThings();

candidates are: template<class A, class B, Logic::Strategy strategy> std::enable_if_t<(strategy == strat_A), int> Logic::computeThings() computeThings();

因此，显然，使用简单的strategy==Logic::strat_A与GCC发生冲突。因此，我提出了一个满足Clang和GCC的解决方案，将strategy==Logic::strat_A包装到struct中：

变体3

#include <iostream>
class Logic {
public:
    enum Strategy { strat_A, strat_B };
    
    template <Logic::Strategy strategy> struct isStratA {
        static const bool value = strategy==Logic::strat_A;
    };
    
    template <class A, class B, Logic::Strategy strategy>
    typename std::enable_if_t<Logic::isStratA<strategy>::value,int>
    computeThings();
    
    template <class A, class B, Logic::Strategy strategy>
    typename std::enable_if_t<!Logic::isStratA<strategy>::value,int>
    computeThings();
};
template <class A, class B, Logic::Strategy strategy>
typename std::enable_if_t<Logic::isStratA<strategy>::value,int>
Logic::computeThings() {
    return 0;
}
template <class A, class B, Logic::Strategy strategy>
typename std::enable_if_t<!Logic::isStratA<strategy>::value,int>
Logic::computeThings() {
    return 1;
}
int main() {
    Logic mylogic;
    std::cout<<mylogic.computeThings<int,int,Logic::strat_A>()<<std::endl; //outputs 0
    std::cout<<mylogic.computeThings<int,int,Logic::strat_B>()<<std::endl; //outputs 1
    return 0;
}

在变体3中，Clang和GCC都很高兴。但是，我不是，因为出于未知原因我必须创建很多虚拟包装纸（在这里，我只有一个，但从技术上讲，我应该同时拥有isStratA<>和isStratB<>）。

问题：

• 我在变体2中是否违反了任何C 标准（或常识）？
• 我有一种简单的方法来制作变体的2型解决方案，而无需像变体3中的虚拟包装纸？

（如果很重要，GCC 7.4.0和Apple LLVM版本10.0.0：Clang-1000.11.45.5）