无法从模板类推导出方法的第二个模板参数

Question

举个例子：

template < class T > struct Dummy
{
    typedef const T & type;
};

struct Type
{
    int i = 0;

    bool operator == (const Type & o) { return i == o.i; }
};

template < class T > struct Test
{
    template < class U >
    bool F(typename Dummy< T >::type a, typename Dummy< U >::type b) const
    {
        return a == b; // dummy operation
    }
};

int main()
{
    Type a, b;
    // error: no matching function for call to 'Test<Type>::F(Type&, Type&)'
    // note: template argument deduction/substitution failed:
    // note: couldn't deduce template parameter 'U'
    bool x = Test<Type>{}.F(a, b);
}

我从编译器得到一个错误，无法推断出方法的第二个参数。我在这里做错了什么？

Answer 1

这种类型的扣除是不可能的。左侧的类:: 是模板参数的非推导上下文。

原因很简单：编译器必须尝试所有可能的Us 并查看其中任何一个Dummy<U> 是否有一个与作为参数提供的匹配的嵌套type。记住模板特化是存在的！你完全有可能专门化Dummy<int*****>，这样它的Dummy<int*****>::type就是Type。