使用enable_if重载函数时出错

Question

我有这段代码,其功能根据成员的不同而具有不同的实现:

#include <vector>

template <typename T>
struct D
{
    struct inner
        { T first; };
};

template <>
struct D<int>
{
    using inner = std::vector<int>;
};

template <typename T>
class C
{
    using B = D<T>;
    typename B::inner b;

    public:
        typename std::enable_if<std::is_same<decltype(std::declval<B::inner>().first),T>::value,T>::type
        first()
            { return b.first; }

        typename std::enable_if<std::is_same<decltype(std::declval<B::inner>()[0]),T>::value,T>::type
        first()
            { return b[0]; }
};

此代码无法编译.gcc说<first signature> cannot be overloaded with <second signature>.我不明白为什么这不起作用.

非常感谢你.

Answer 1

SFINAE适用于模板功能的即时上下文.这里的函数不是模板,它是类.

一种可能的解决方案是制作您的功能模板:

template <typename U = T>
std::enable_if_t<std::is_same<U, decltype(std::declval<B::inner>().first)>::value, T>
first()
{ return b.first; }