c++ - 赋值运算符重载有类似的转换(仅在 VS 中)

Question

我有一个包含三个类(A、B 和 C)的类层次结构。 A 和 B 是基类，使用派生类型进行参数化。 C 类派生自 A 和 B。

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

当我从类型 A 的对象定义类 B 中的构造函数时，我得到错误: 在 Visual Studio 2013 中，两个重载具有相似的转换 (C2666)，但是我在 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;
}

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

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

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

Answer 1

GCC 和 CLANG 是正确的，MSVC 是错误的:

预期的行为是什么:

声明c=a;使用 operator=您在 B 中定义的，因为 A<C>不一定是 C .所以让我们写下 operator= 的声明的 B<C>通过手动进行类型替换:

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

作为a是 A<C> ，此模板的明显隐式实例化候选者将是:

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

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

MSVC 试图做什么？

如果您将简化类 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 functionparameter if the parameter type contains no template-parametersthat participate in template argument deduction.

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

顺便说一句:

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