《Effective C++》条款27

尽量少做转型动作

cpp 复制代码
class A
{
public:
	A(int x) :a(x) {};
	virtual void add()
	{
		a++;
	}
private:
	int a;
};
class B :public A
{
public:
	B(int x) :b(x),A(x) {};
	virtual void add()
	{
		static_cast<A>(*this).add();
		b++;
	}

private:
	int b;
};

如上描述把子类转型为A类,调用了A::add()。但是它调用的不是当前对象上的函数,而是稍早转型动作所建立的一个"*this对象之base class成分"的暂时副本上的add 。(成员函数只有一份,关键在于成员函数都有一个this指针,会因此影响成员函数操作的数据。)如果add修改了当前对象的内容,当前对象其实没有被改动,被改动的是副本。然而B类里面的add如果也修改对象,那么该对象会被改变。这使当前对象进入一种"伤残"状态:其base class成分的更改没有落实,而derived class成分的更改倒是落实了。

所以请这么写:

cpp 复制代码
class B :public A
{
public:
	B(int x) :b(x),A(x) {};
	virtual void add()
	{
		A::add();
		b++;
	}

private:
	int b;
};

如果想使用dynamic_cast,通常是你想在一个你认定为子类对象身上执行子类操作函数但是你手上只有一个指向基类的指针或引用。你只能靠它们来处理对象。有两个做法可以避免这个问题:

假设子类有一个唯一的函数func

cpp 复制代码
class B :public A
{
public:
	...
	void func();
	...
};

你可以使用容器并在其中存储直接指向子类对象的指针:

cpp 复制代码
typedef vector<shared_ptr<B>> Bptr;
Bptr bp;
...
for (Bptr::iterator iter = bp.begin();iter != bp.end();++iter)
{
	(*iter)->func();
}

而另一种做法可以让你通过基类接口处理"所有可能之各种A派生类",那就是在基类内提供virtual函数做到你想对任何派生类做的事:

cpp 复制代码
class A
{
public:
	virtual void func()
	{
		// 什么也不做,缺省
	}
	...
};
class B :public A
{
public:
	virtual void func()
	{
		...
	}
	...
};
int main()
{
	typedef vector<shared_ptr<A>> Aptr;
	Aptr ap;
	...
	for (Aptr::iterator iter = ap.begin();iter != ap.end();++iter)
	{
		(*iter)->func();
	}
}

这两种做法都可以替代dynamic_cast。

相关推荐
郝学胜_神的一滴2 天前
CMake 034:生成器表达式:解耦构建时序、精简分支逻辑的终极利器
c++·cmake
见过夏天3 天前
C++ 基础入门完全指南
c++
用户805533698034 天前
不止三件套:QObject 属性系统全关键字与运行时反射!
c++·qt
BadBadBad__AK4 天前
线段树维护区间 k 次方和
c++·数学·算法·stl
卷无止境5 天前
Eigen 库如何借助 OpenMP 加速计算
c++·后端
卷无止境5 天前
OpenMPI、MPICH 与 OpenMP:关系、核心概念与架构全解
c++·后端
郝学胜_神的一滴6 天前
CMake 30:循环语法全解|foreach_while双循环精讲、迭代技巧与实战避坑指南
c++·cmake
卷无止境8 天前
C++ 的Eigen 库全解析
c++
卷无止境8 天前
现代 C++特性大盘点:一门脱胎换骨的老语言
c++·后端
郝学胜_神的一滴8 天前
CMake 27:缓存变量的特性、语法、类型与实操全解
c++·cmake