使用 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 函数的即时上下文。 这里的函数不是模板，而是类。

一种可能的解决方案是制作你的函数模板：

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