问关于功能/操作符重载的混淆

EN

考虑下面的自给程序。

#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)声称它不能访问私有数据成员。为了前夫。在用VC++编译(与g++类似的行为)时，我看到以下错误 1>Source.cpp(8)：警告C4522：'Foo‘：多个指定的赋值操作符指定了1> Source.cpp(20)：参见对正在编译的类模板实例化'Foo’的引用1>Source.cpp(21)：错误C2593：'operator =‘是歧义的1> Source.cpp(7)：可能是'Foo &Foo::operator =(Foo &)’1> Source.cpp(5)：或'Foo &Foo：：运算符=(Foo)‘1>，同时试图匹配参数列表(Foo，1>Source.cpp(23)：C2248：'Bar::operator =‘：无法访问类'Bar’1> Source.cpp(15)中声明的私有成员:参见'Bar::operator =‘的声明
2. 为什么我执行显式转换的(3)和(4)都不会失败。为什么它不是模棱两可的，或者它试图访问引用重载，这是私有的。
3. 为什么在(2)情况下，它优先考虑引用重载，而不是值重载函数/运算符。

Note是一个依佩恩版本，以防您想要使用代码。备注请提供适当的参考资料。