使用enable_if进行模板函数参数推导-指向指针

Question

在g ++ 4.6上可能有很好的解决方案。{3,4}？ 您可以在https://godbolt.org/

上签入

#include <type_traits>
class A{};
class B{};
class C{
    public:
    A* a;
    B* b;
};

template<typename T, typename std::enable_if<std::is_same<typename std::remove_reference<T>::type,A*>::value>::type* = nullptr >
void f(T&& t) { 
    return;
}

int main() { 
    C c;
    auto& cRef = c;
    f(cRef.a);
    f(c.a);
}

g ++ /tmp/enable_if.cpp -std = c ++ 0x

/tmp/enable_if.cpp: In function ‘int main()’:
/tmp/enable_if.cpp:20:13: error: no matching function for call to ‘f(A*&)’
/tmp/enable_if.cpp:20:13: note: candidate is:
/tmp/enable_if.cpp:13:6: note: template<class T, typename std::enable_if<std::is_same<typename std::remove_reference<_MemPtr>::type, A*>::value, void>::type* <anonymous> > void f(T&&)
/tmp/enable_if.cpp:21:10: error: no matching function for call to ‘f(A*&)’
/tmp/enable_if.cpp:21:10: note: candidate is:
/tmp/enable_if.cpp:13:6: note: template<class T, typename std::enable_if<std::is_same<typename std::remove_reference<_MemPtr>::type, A*>::value, void>::type* <anonymous> > void f(T&&)

Answer 1

C ++ 11中引入了允许您默认使用功能模板参数的功能。您的编译器实际上并不完全支持此功能。解决方法是，可以将std::enable_if用作函数返回类型：

template<typename T >
typename std::enable_if<std::is_same<typename std::remove_reference<T>::type,A*>::value>::type f(T&& t) { 
    return;
}