具有虚拟赋值运算符的多态性
Polymorphism with virtual assignment operator
我不明白为什么下面的代码调用基的类 (=A) 实现
A::operator=(A&)
(由输出行 15. 和 17 指示。) 每当作为参数传入的引用属于派生类类型时。由于所有指针都指向派生类的对象,因此我希望所有调用都具有相同的行为(=从派生类 B 调用运算符)。
执行下面列出的代码时输出:
- A::Ctor objID=1280 text=BObject1
- B::Ctor objID=1280 text=BObject1
- A::Ctor objID=3279 text=BObject2
- B::Ctor objID=3279 text=BObject2
- --- ptrA->print():
- B::p rint() objID=1280 text=BObject1
- B::p rint() objID=3279 text=BObject2
- --- *ptrAObj1 = *ptrAObj2:
- B::运算符=(A&) objID=1280 text=BObject1
- --- ptrAObj1->operator=(*ptrAObj2):
- B::运算符=(A&) objID=1280 text=BObject2
- --- *ptrBObj1 = *ptrAObj2:
- B::运算符=(A&) objID=1280 text=BObject2
- --- *ptrBObj1 = *ptrBObj2:
A:- :运算符=(A&) objID=1280 text=BObject2
- --- ptrBObj1->operator=(*ptrBObj2):
A:- :运算符=(A&) objID=1280 text=BObject2
- --- ptrAObj1->operator=(*ptrBObj2):
- B::运算符=(A&) objID=1280 text=BObject2
- ---- 拆解()
- B::D tor objID=1280 text=BObject2
- A::D tor objID=1280 text=BObject2
- B::D tor objID=3279 text=BObject2
- A::D tor objID=3279 text=BObject2
法典:
#include "gtest/gtest.h"
#include <stdio.h>
#include <string>
#include <ctime>
class A
{
public:
A(const std::string& sLabel=""):
m_sText(sLabel)
{
std::srand(std::time(nullptr)); // use current time as seed for random generator
int random_no = (std::rand()+(m_iObjectCounter*1999)) % 9999;
m_iObjectID = random_no;
m_iObjectCounter++;
std::cout << "A::Ctor objID=" << m_iObjectID << " text=" << m_sText << std::endl;
}
virtual ~A()
{
std::cout << "A::Dtor objID=" << m_iObjectID << " text=" << m_sText << std::endl;
}
virtual void print() const
{
std::cout << "A::print() objID=" << m_iObjectID << " text=" << m_sText << std::endl;
}
virtual int operator=(A& rIn)
{
std::cout << "A::operator=(A&) objID=" << m_iObjectID << " text=" << m_sText << std::endl;
m_sText = rIn.m_sText;
return EXIT_SUCCESS;
}
std::string m_sText;
int m_iObjectID;
static int m_iObjectCounter;
};
int A::m_iObjectCounter=0;
class B : public A
{
public:
B(const std::string& sLabel = "") :
A(sLabel)
{
std::cout << "B::Ctor objID=" << m_iObjectID << " text=" << m_sText << std::endl;
}
virtual ~B()
{
std::cout << "B::Dtor objID=" << m_iObjectID << " text=" << m_sText << std::endl;
}
virtual void print() const
{
std::cout << "B::print() objID=" << m_iObjectID << " text=" << m_sText << std::endl;
}
virtual int operator=(A& rIn)
{
std::cout << "B::operator=(A&) objID=" << m_iObjectID << " text=" << m_sText << std::endl;
m_sText = rIn.m_sText;
return EXIT_SUCCESS;
}
};
class TestAssignmentOperator : public ::testing::Test {
public:
TestAssignmentOperator() :
ptrAtoBObject1(NULL),
ptrAtoBObject2(NULL)
{
ptrAtoBObject1 = new B("BObject1");
ptrAtoBObject2 = new B("BObject2");
}
void SetUp(){}
void TearDown() {
std::cout << " ---- TearDown()" << std::endl;
delete ptrAtoBObject1;
delete ptrAtoBObject2;
}
~TestAssignmentOperator(){}
A* ptrAtoBObject1;
A* ptrAtoBObject2;
};
TEST_F(TestAssignmentOperator, Test1)
{
std::cout << " --- ptrA->print():" << std::endl;
ptrAtoBObject1->print();
ptrAtoBObject2->print();
int iError = EXIT_FAILURE;
std::cout << " --- *ptrAObj1 = *ptrAObj2:" << std::endl;
iError = *ptrAtoBObject1 = *ptrAtoBObject2;
std::cout << " --- ptrAObj1->operator=(*ptrAObj2):" << std::endl;
iError = ptrAtoBObject1->operator=(*ptrAtoBObject2);
std::cout << " --- *ptrBObj1 = *ptrAObj2:" << std::endl;
B* ptrBToObject1 = dynamic_cast<B*>(ptrAtoBObject1);
iError = *ptrBToObject1 = *ptrAtoBObject2;
std::cout << " --- *ptrBObj1 = *ptrBObj2:" << std::endl;
B* ptrBtoBObject2 = dynamic_cast<B*>(ptrAtoBObject2);
*ptrBToObject1 = *ptrBtoBObject2;
std::cout << " --- ptrBObj1->operator=(*ptrBObj2):" << std::endl;
ptrBToObject1->operator=(*ptrBtoBObject2);
std::cout << " --- ptrAObj1->operator=(*ptrBObj2):" << std::endl;
ptrAtoBObject1->operator=(*ptrBtoBObject2);
}
int main(int argc, char **argv)
{
::testing::InitGoogleTest(&argc, argv);
return RUN_ALL_TESTS();
}
我相信这是因为 B 类中的virtual int operator=(A& rIn)
不是真正的默认operator=
,因此编译器正在为您创建一个B& operator=(const B& other)
并使用该。
除此之外,覆盖虚拟运算符=是不够的,还必须定义常规运算符=。
当然,最好使用 C++11 功能(如override
关键字)来保证您确实编写了您想要的函数签名,而不是创建新的虚拟函数。
在这两种情况下,您都调用默认B::operator=(const B&)
。然后,其默认实现调用A::operator=(A&)
相关文章:
- 基类和派生类的多态赋值运算符
- 运行时多态性 - 箭头运算符访问了错误的成员?
- 运算符重载多个任务的下标和赋值运算符
- 为多个签名使用相同的代码重载赋值运算符?
- 将多态性与运算符 + 重载模板化类结合使用.如何实现基类?
- 多态性是否适用于值?或者在按(基)值返回时使用派生类的移动构造函数
- 具有虚拟赋值运算符的多态性
- 自动复制=按值并支持多态性的适当类型的非静态字段
- 如何实现赋值运算符,使多个实例共享公共数据
- 如何用复数和多态性重载运算符
- 使用多态性将派生类的值复制到基类
- 正确执行运算符重载和多态性
- 由支持多态性的值池存储,如何使用智能指针
- 更改多态性boost :: shared_ptr(内部std :: vector)中的值
- 类多态性和相等运算符
- 过载==和!=C++中具有多态性的运算符
- 多态性不适用于相同数据类型(Base和Inherited类)的函数返回值
- 重载赋值运算符 - 多态容器
- 为什么不能将多态性与值一起使用,而是引用和指针
- c++对象参数:多态性,值语义,对象生命周期