代码之家 › 专栏 › 技术社区 › Ayrosa

在[over.ass]/2中的示例中,为什么*bptr=dobj2;调用D::运算符=(常量B&)?

virtual-functions language-lawyer operator-overloading c++

Ayrosa · 技术社区 · 6 年前

我能理解为什么 bptr->operator=(dobj2); 电话 D& operator= (const B&) 为什么 dobj1 = dobj2; 调用隐式声明的 D::operator=(const D&) . 但我不太确定 *bptr = dobj2; .

例子:

struct B {
    virtual int operator= (int);
    virtual B& operator= (const B&);
};
struct D : B {
    virtual int operator= (int);
    virtual D& operator= (const B&);
};

D dobj1;
D dobj2;
B* bptr = &dobj1;
void f() {
    bptr->operator=(99); // calls D::operator=(int)
    *bptr = 99; // ditto
    bptr->operator=(dobj2); // calls D::operator=(const B&)
    *bptr = dobj2; // ditto
    dobj1 = dobj2; // calls implicitly-declared D::operator=(const D&)
}

2 回复 | 直到 6 年前

gchen 6 年前

当您有一个指向派生实例的基指针或引用并对其调用虚拟成员函数时,就会发生多态性。

在您的示例中

bptr->operator=(99); // calls D::operator=(int)
bptr->operator=(dobj2); // calls D::operator=(const B&)

指向派生实例的基指针正在调用虚拟函数=>调用多态性=>将调用派生版本。

*bptr = 99; // ditto
*bptr = dobj2; // ditto

这很简单

(*bptr).operator=(99);
(*bptr).operator=(dobj2);

或者,对派生实例的基引用正在调用虚拟函数=>调用多态性=>将调用派生版本。

dobj1 = dobj2; // calls implicitly-declared D::operator=(const D&)

没有更多多态性,因为调用方(dobj1)不是(基本)引用/指针。调用了D::运算符=(常量D&)由编译器生成,该编译器还调用基类的运算符=自动。

virtual B& operator= (const B&);

Joseph D. 6 年前

但我对*bptr=dobj2;不是很确定;。

从…起 over.match.oper#tab:over.rel.op.func

两者:

*bptr = dobj2; // ditto
dobj1 = dobj2; // calls implicitly-declared D::operator=(const D&)

在上下文中相同,但表示方式不同:

表示 :

a=b

作为成员函数 :

(a).operator= (b)

推荐文章

patrick · 从boost::绑定1和2占位符运行make失败。。。?

1 年前

rookie · 检查函数模板的所有参数包参数是否属于int

1 年前

ivaigult · -W转换和隐式字符串到布尔类型转换

1 年前

David Bien · declval<_Xp(&)()>()()-这在下面的上下文中意味着什么?

1 年前

khallad sayed · 在%上,C++表达式必须具有整型或无范围枚举类型

1 年前

rainer · 后台插入程序的初始化

1 年前

Community wiki · 以理智、安全和高效的方式复制文件

1 年前

Shefali Kanaujia · 对C中向量的向量进行排序++

1 年前

Prakritish Ghosh · 现在显示正确输出的函数中的Infix到Postfix错误[重复]

1 年前

Ma Joonyoung · 粗粒度和细粒度链表的时间比较

1 年前