关于bool值的c ++类成员函数专门化

Question

我有一个带有bool模板参数的类。该类将有几个方法，我需要专门研究类bool模板参数。有没有办法在没有专门整个班级本身的情况下做到这一点？

下面的Foo :: bar（）是我的意思的一个例子，它不起作用，因为std :: is_same适用于类型而不是值

感谢。

template<bool Mode>
class Foo
{   
public:
template<bool M=Mode, typename std::enable_if<std::is_same<M,true>::value>::type * = 0>
void bar()
{
    std::cout << "true" << std::endl;
}

template<bool M=Mode, typename std::enable_if<std::is_same<M,false>::value>::type * = 0>
void bar()
{
    std::cout << "false" << std::endl;
}

Answer 1

也许我错过了什么，但为什么不使用简单的旧专业？

template <bool M>
struct base_template {
   void bar();
};

template <>
inline void base_template<true>::bar() { std::cout << "true\n"; }
template <>
inline void base_template<false>::bar() { std::cout << "false\n"; }

Answer 2

您不需要使用std::is_same。 std::enable_if已经采用布尔参数：

template <bool Mode>
class Foo
{   
    public:
        template <bool M = Mode, typename std::enable_if<M>::type* = nullptr>
        void bar()
        {
            std::cout << "true" << std::endl;
        }

        template <bool M = Mode, typename std::enable_if<!M>::type* = nullptr>
        void bar()
        {
            std::cout << "false" << std::endl;
        }
};

这是demo。

Answer 3

你走在正确的轨道上。只需直接使用模板参数：

template<bool M=Mode, typename std::enable_if<M == true>::type * = 0>
void bar()                                 //^^^^^^^^^^
{
    std::cout << "true" << std::endl;
}