c++ - 带有 enable_if 的“伪造”模板类方法特化

Question

我想知道 SFINAE 原则/enable_if 是否可以用来“伪造”类模板方法的部分特化。例如，给定定义Foo了两个版本的类模板Foo::bar。如果（例如）我想启用一个并禁用另一个，T2 = int反之亦然。

template<typename T1, typename T2>
struct Foo
{
    void bar();
};

// Enable if T2 != int (disable otherwise)
template<typename T1, typename T2>
void Foo<T1,T2>::bar()
{
}

// Enable if T2 == int (disable otherwise)
template<typename T1, typename T2>
void Foo<T1,T2>::bar()
{
}

PS：请提升 enable_if 的首选。谢谢。

Answer 1

[已编辑。]您可以通过键入布尔值来产生不同的重载：

#include <type_traits>

template <typename T1, typename T2>
struct Foo
{
    void bar_impl(std::true_type);
    void bar_impl(std::false_type);

    void bar() { bar_impl(std::is_same<T2, int>()); }
};