如何使用SFINAE和无效成员函数？

Question

我有一个班级模板Bird与布尔模板参数can_fly。根据该值，我想启用一个签名为void fly();的成员函数。

这是我的代码：

#include <type_traits> 

template<bool can_fly> 
class Bird { 
public: 
    template<typename void_t = typename std::enable_if<can_fly>::type> 
    void_t fly() { /* ... */ } 
}; 

int main() { 
    Bird<true> flyingBird; 
    flyingBird.fly(); 
    Bird<false> flightlessBird; 

    return 0; 
} 

此代码编译在Visual Studio 2015年很好，但海湾合作委员会抱怨说，有“没有类型命名为‘结构的std :: enable_if’‘类型’”在第三行main。

我认为在false案例中没有::type这个事实是SFINAE的整个观点。有人可以向我解释我做错了什么，正确的做法是什么？

Answer 1

由于mentioned in this answer：

enable_if工作，因为模板参数的替代，导致一个错误，并且使替代从重载决议设定的下降，只有其他可行的重载被编译器考虑。

在你的情况下没有替换，因为can_fly在实例化时已知。您可以创建一个虚拟默认模板bool参数来使SFINAE正常工作：

template<bool can_fly> 
class Bird { 
public: 
    template<bool X = can_fly, typename = typename std::enable_if<X>::type> 
    void fly() { /* ... */ } 
}; 

wandbox example