c – 为什么SFINAE(enable_if)不适用于类模板的成员函数?
作者:互联网
#include <type_traits>
struct A{};
struct B{};
template <typename T>
struct Foo
{
typename std::enable_if<std::is_same<T, A>::value>::type
bar()
{}
typename std::enable_if<std::is_same<T, B>::value>::type
bar()
{}
};
错误信息:
14:5: error: 'typename std::enable_if<std::is_same<T, B>::value>::type Foo<T>::bar()' cannot be overloaded 10:5:
error: with 'typename std::enable_if<std::is_same<T, A>::value>::type Foo<T>::bar()'
源于cpp.sh.我认为typename std :: enable_if< std :: is_same< T,?> :: value> :: type无法同时生效.
编辑
对于后人来说,这是基于@ KerrekSB答案的编辑 – SFINAE仅适用于推导出的模板参数
#include <type_traits>
struct A{};
struct B{};
template<typename T>
struct Foo
{
template<typename U = T>
typename std::enable_if<std::is_same<U,A>::value>::type
bar()
{
}
template<typename U = T>
typename std::enable_if<std::is_same<U,B>::value>::type
bar()
{
}
};
int main()
{
};
解决方法:
SFINAE仅适用于推导出的模板参数,即用于函数模板.在您的情况下,两个模板都是无条件实例化的,并且实例化失败.
以下变体有效:
struct Foo
{
template <typename T>
typename std::enable_if<std::is_same<T, A>::value>::type bar(T) {}
// ... (further similar overloads) ...
};
现在Foo()(x)最多导致一个重载被实例化,因为参数替换在所有其他重载中都失败了.
如果您想坚持原始结构,请使用显式类模板专门化:
template <typename> struct Foo;
template <> struct Foo<A> { void bar() {} };
template <> struct Foo<B> { void bar() {} };
标签:c,c11,sfinae,enable-if 来源: https://codeday.me/bug/20190923/1815747.html