1

我想知道 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 的首选。谢谢。

4

1 回答 1

5

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

#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>()); }
};
于 2012-04-23T12:04:29.273 回答