C++ class member function specialization on bool values ​​

Question

У меня есть класс, который принимает параметр шаблона bool. Класс будет иметь несколько методов, которые мне нужно специализировать на параметре шаблона класса bool. Есть ли способ сделать это, не специализируясь на самом классе?

Foo :: бар() ниже является примером того, что я имею в виду, он не работает, так как станд :: 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

Вам не нужно использовать 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 2

Вы на правильном пути. Просто используйте параметр шаблона напрямую:

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

Answer 3

Возможно, мне что-то не хватает, но почему бы не использовать обычную добрую старую специализацию?

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"; }