c++ - 关于函数/运算符重载的困惑

Question

考虑以下自包含程序。

#include <iostream>
template<typename Ty>
struct Foo
{
    Foo& operator=(Foo foo){ return foo; }    
private:
    Foo& operator=(Foo& foo){ return foo; }
};
template<typename Ty>
struct Bar
{
    template<typename U>
    Bar& operator=(Bar<U> bar){ return bar; }
private:
    Bar& operator=(Bar& bar){ return bar; }
};

int main()
{
    Foo<int> f1, f2;
    f1 = f2;            // (1)
    Bar<int> b1, b2;
    b1 = b2;            // (2)
    f1 = Foo<int>(f2);  // (3)
    b1 = Bar<int>(b2);  // (4)
}

Foo 和 Bar 都重载了赋值运算符，并且在使用它们时都无法编译，除非我们明确地将其转换为对象的类型。此外，尽管 Foo 和 Bar 的赋值都失败了，但失败是不同的。请注意，我确实理解为什么当基于引用和值重载函数时调用不明确。但是我不明白的是

1. 为什么使用显式模板参数更改编译器失败。语句 (1) 和 (2) 给出了不同的错误，其中 (1) 声称调用不明确，而 (2) 声称它无法访问私有(private)数据成员。对于前。当用 VC++ 编译时(与 g++ 的行为类似)，我看到以下错误

   1>Source.cpp(8): warning C4522: 'Foo<int>' : multiple assignment operators specified
   1>          Source.cpp(20) : see reference to class template instantiation 'Foo<int>' being compiled
   1>Source.cpp(21): error C2593: 'operator =' is ambiguous
   1>          Source.cpp(7): could be 'Foo<int> &Foo<int>::operator =(Foo<int> &)'
   1>          Source.cpp(5): or       'Foo<int> &Foo<int>::operator =(Foo<int>)'
   1>          while trying to match the argument list '(Foo<int>, Foo<int>)'
   1>Source.cpp(23): error C2248: 'Bar<int>::operator =' : cannot access private member declared in class 'Bar<int>'
   1>          Source.cpp(15) : see declaration of 'Bar<int>::operator ='
   

2. 为什么我执行显式转换的 (3) 和 (4) 都没有失败。为什么它没有歧义，也没有尝试访问私有(private)的引用重载。

3. 为什么在情况 (2) 中优先考虑引用重载而不是值重载函数/运算符。

注意一个IDEONE版本以防你想玩代码。注意能否请您提供适当的引用资料。

Answer 1

1. Foo::operator= 的两个重载对于重载解析目的同样是很好的匹配 - 因此歧义。 Bar::operator= 并非如此- 其他条件相同，重载决议更喜欢非模板而不是模板。所以私operator=是一个更好的匹配 - 但当然它随后无法通过访问检查。

2. Foo<int>(f2)是临时的，不能绑定(bind)到非常量引用。按值获取其参数的重载是唯一可行的候选者。

3. 它不会优先考虑引用重载 - 它会优先考虑非模板重载。您可以通过切换它们来确认这一点。