赋值运算符重载有类似的转换（仅在 VS 中）

Question

我有一个 class 层次结构，其中包含三个 class（A、B 和 C）。 A 和 B 是 base-classes，使用派生类型进行参数化。 Class C 派生自 A 和 B。

class B 为类型 A 的对象提供赋值运算符，class C 通过 using super::operator= 声明继承此赋值运算符。

当我从类型 A 的对象在 class B 中定义构造函数时，我得到 错误： 两个重载具有相似的转换 (C2666) 在 Visual Studio 2013 中，但我在 gcc (4.8.2)、clang (3.4) 和 intel icc (Studio 2015) 中没有收到任何错误或警告。（用-Wall -pedantic编译）

这里是简化的例子：

template <class Model> struct A {};

template <class Model> struct B
{
    B() {}; // default constructor

    // copy constructor for objects of type A
    template <class M> 
    B(A<M> const&) {} 

    // assignment operator for objects of type A
    template <class M>
    Model& operator=(A<M> const& rhs)
    {
        return static_cast<Model&>(*this);
    }
};

struct C : public B<C>, public A<C>
{
    typedef B<C>  super;

    // copy assignment operator
    C& operator=(C const& rhs) { return *this; }

    // adopt assignment operator for A<C> from super-class
    using super::operator=;
};

int main()
{
    C c;
    A<C> a;
    c = a;
}

如果我将模板化的 class A 替换为非模板化的 class，它也会在 Visual Studio 中编译而不会出错 - 但这不是解决问题的方法。

我的问题是：这个构造是否符合标准，或者错误消息是否正确？ B 中的复制构造函数的说明符 explicit 是否有助于解决问题？

顺便说一句：在 Visual Studio 中，我收到警告：指定了多个赋值运算符 (C4522)，因为class C 中的复制赋值运算符。有人可以向我解释一下，为什么这应该是个问题？

Answer 1

GCC 和 CLANG 正确，MSVC 错误：

预期的行为是什么：

语句 c=a; 使用了您在 B 中定义的 operator=，因为 A<C> 不一定是 C。因此，让我们通过手动进行类型替换来记下 B<C> 的 operator= 的声明：

template <class M> 
C& operator=(A<M> const& rhs)

由于 a 是 A<C>，此模板的明显隐式实例化候选对象是：

 C& operator=(A<C> const& rhs)

这实际上是唯一可能的实例化（您可以通过显示类型信息来验证 GCC 是否使用它）。

MSVC 试图做什么？

如果您将 class C 简化为更简约的形式，您仍然会得到 error:

struct C : public B<C>   // single inheritance
{   using B<C>::operator=; };  // nothing else

其实问题出在构造函数B(A<M> const&) :

注释掉，代码会编译
显式化 代码也会编译

MSVC 错误地识别了成员函数隐式特化的第二个潜在候选者。由于此构造函数允许从 A<M> 隐式转换为 B<C>，因此候选者是：

 C& operator=(B<C> const& rhs)

但根据 C++ 标准，这根本不应该由编译器设想：

14.8.1/6: Implicit conversions will be performed on a function argument to convert it to the type of the corresponding function parameter if the parameter type contains no template-parameters that participate in template argument deduction.

所以这显然是 MSVC 的一个错误。

顺便说一句：

关于多个赋值运算符的警告是just an information。显然 MS 认为这可能是导致错误的常见原因。现在是核心问题...

赋值运算符重载有类似的转换（仅在 VS 中）

Assignment operator overloads have similar conversions (only in VS)

c++

inheritance

copy-constructor

using-declaration

assignment-operator

预期的行为是什么：

MSVC 试图做什么？