如何使用布尔模板参数启用成员函数？

Question

我希望一个类有两种不同的推送实现，并根据布尔模板参数进行选择。我尝试使用本答案中描述的SFINAE原则，如下所示：

template<class T, bool foo=true>
class Bar {
  template <>
  typename std::enable_if<foo>::type
  push(const T& value) { /* one implementation */}

  template <>
  typename std::enable_if<!foo>::type
  push(const T& value) { /* another implementation */ } 
}

然而，我在gcc下遇到了一个错误“不能在类范围内专门化函数push”，我不明白为什么。虽然我的代码与链接答案中的代码并不完全相同，但它似乎非常相似，我无法发现关键的区别。

我还尝试使用类似于此答案中建议的语法，但也不起作用（错误是“不能重新声明类成员”）：

  template <bool enable=foo>
  typename std::enable_if<enable>::type
  push(const T& value) { /* one implementation */}

  template <bool enable=!foo>
  typename std::enable_if<enable>::type
  push(const T& value) { /* another implementation */ } 

我怎样才能做到这一点？

Answer 1

作为替代方案：

>

如果在C 17中配置了constexr：

template<class T, bool foo=true>
class Bar {
public:
    void push(const T& value) {
        if constexpr(foo) {
            /* one implementation */
        } else {
            /* another implementation */
        }
    }
};

标签发送：

template<class T, bool foo=true>
class Bar {
    void push_impl(const T& value, std::true_type) {
        /* one implementation */
    } 
    void push_impl(const T& value, std::false_type) {
        /* another implementation */
    }

public:
    void push(const T& value) {
        push_impl(value, std::integral_constant<bool, foo>{});
    }
};

Answer 2

首先，SFINAE适用于函数模板重载；所以你应该使用第二种方法。但是你用相同的签名声明了两个重载；请注意，模板参数的默认参数不属于签名。

把它改成

template <bool enable=foo>
typename std::enable_if<enable>::type
//                      ~~~~~~
push(const T& value) { /* one implementation */}

template <bool enable=foo>
typename std::enable_if<!enable>::type
//                      ~~~~~~~
push(const T& value) { /* another implementation */ }