c – 绕过自动生成的赋值运算符(VS bug？)

2019年8月3日 212次阅读

请使用以下代码：

class Foo
{
    Foo const& operator =(Foo const& rhs); // disallow
};

struct Bar
{
public:
    Foo foo;

    template <class T>
    T const& operator =(T const& rhs) { return rhs; }
};

struct Baz : public Bar {
    using Bar::operator =;
};

int main()
{
    Baz b1, b2;
    b1 = b2;
}

这无法编译,因为将使用Bar :: operator =的自动生成的赋值运算符,它尝试使用Foo :: operator =,它是私有的.还行吧.所以我在Bar中添加了一个额外的成员：

Bar const& operator =(Bar const& b) { return Bar::operator=<Bar>(b); }

现在我们有一个不同的问题.我有两个重载,只能使用其中一个.我正在通过Baz const&amp ;.我所知道的关于C的一切都表明这应该最终使用非模板版本,因为首先选择匹配的非模板.这也似乎是gcc正在做的事情. Visual Studio似乎不同意：

error C2666: 'Bar::operator =' : 2 overloads have similar conversions
    could be 'const Bar &Bar::operator =(const Bar &)'
    or       'const T &Bar::operator =<Baz>(const T &)'
    with
    [
        T=Baz
    ]
    while trying to match the argument list '(Baz, Baz)'

我很想在这里相信gcc,因为我对C的理解证实了这一点,并且因为当它不同意Visual Studio时我通常会支持gcc,但我并不像我这样关心它：

在我的非最小例子中,老实说,我根本不需要默认生成的赋值运算符.我对模板运算符完成工作非常满意 – 它会正确完成.但是,因为VS抱怨模板和自动生成的赋值运算符之间的冲突,所以实际上我无法使该模板工作.我已经尝试了以下所有方法：

>使赋值运算符保持私有和未实现(不起作用,因为“并非所有重载都是不可行的”)
>创建它(导致上面的错误)
>退出(导致上面的错误与默认生成的赋值运算符)
>为该类型创建模板的特化,从而完全匹配默认赋值运算符(根据编译器显式非法)

有没有人对如何解决这个问题有任何好主意？不幸的是我的VS版本不支持自动生成赋值运算符的C 0x“删除”覆盖,因此这不是一个选项,我想不出任何其他方法来解决此错误.

最佳答案 在赋值运算符的两个版本之间进行解析时看到的模糊性是由Baz定义中的“using Bar :: operator =”引起的.

无论是在Bar中隐式还是显式定义,非模板版本都采用参数“const Bar&”,它与“Baz”不完全匹配,正如明确解析与模板所需的那样.

有很多方法,但真正的解决方案将取决于真正的来源.

要修复这个例子,我会做这些事情：

o防止自动生成const Bar& operator =(const Bar& b)因为它将使用Foo的赋值运算符.您已尝试添加到Bar的定义中的内容将起作用：

Bar const& operator =(Bar const& b) {
    return Bar::operator=<Bar>(b); 
}

o在Baz的定义中使用Bar :: operator =需要去.用包裹Bar :: operator =的函数替换它.如：

template <class T>
const T& operator =(const T& rhs) {
    return Bar::operator =(rhs); 
}

(当然,非时髦的代码总会返回* this – 一个Bar&而不是参数的类型.)

点赞