Шаблон частичной специализации на bool

Question

Это действительно основной вопрос, который я думаю, но я не смог найти ответ даже на StackOverflow. Извините, если вы хотите ударить меня, когда вы это прочитаете.

Я просто хочу сделать частичную специализацию на логическое значение:

template < typename Object, bool Shared = false > 
class Foo { 

    void bar(); 
}; 

template < typename Object > 
void Foo<Object, true>::bar() {} 

template < typename Object > 
void Foo<Object, false>::bar() {} 

int main() { 

    Foo<int> test; 
    return 0; 
} 

Я думаю, что идея правильная, но я что-то отсутствует с этим кодом (вероятно, действительно глупый):

Test3.cpp:8:30: error: invalid use of incomplete type ‘class Foo<Object, true>’ 
void Foo<Object, true>::bar() { 
          ^
Test3.cpp:2:7: note: declaration of ‘class Foo<Object, true>’ 
class Foo { 
     ^~~ 
Test3.cpp:13:31: error: invalid use of incomplete type ‘class Foo<Object, false>’ 
void Foo<Object, false>::bar() { 
          ^
Test3.cpp:2:7: note: declaration of ‘class Foo<Object, false>’ 
class Foo { 

Answer 1

Ваш шаблон определяет класс, а не функцию. Это означает, что вы должны специализироваться этого класса, а не метод класса:

template < typename Object > 
class Foo<Object, false> { 
    void bar(); 
}; 

template < typename Object > 
class Foo<Object, true> { 
    void bar(); 
}; 

Answer 2

Другой способ заключается в разлагать Foo и обработать реализацию бар в отдельном вспомогательном классе. Это уменьшает количество повторений, необходимых для реализации Foo.

Например:

template<class Object, bool Shared> 
struct implement_bar; 

template<class Object> 
struct implement_bar<Object, true> 
{ 
    void operator()(Object& o) const 
    { 
    // do true thing with o 
    } 
}; 

template<class Object> 
struct implement_bar<Object, false> 
{ 
    void operator()(Object& o) const 
    { 
    // do false thing with o 
    } 
}; 

template < typename Object, bool Shared = false > 
class Foo { 

    void bar() 
    { 
    return implement_bar<Object, Shared>()(*this); 
    } 
}; 

int main() { 

    Foo<int> test; 
    return 0; 
}