C++派生类指针赋值给基类指针问题(虚函数和非虚函数不同)

概念

  • 上行转换:把派生类的指针或引用转换成基类表示,简单来说就是子类指向父类

  • 下行转换:把基类指针或引用转换成派生类表示,简单来说就是父类指向子类

上行转换是安全的的,下行转换是不安全的(最好使用 dynamic_cast ,具体参考: xxx_cast 区别

这里我们主要讨论上行转换,也就是派生类指针赋值给基类指针,下行转换可以参考上面那个链接 dynamic_cast 下行转换

先说结论:基类函数为虚函数和非虚函数情况不一样,下面分别进行讨论

非虚函数

参考:https://blog.youkuaiyun.com/ENSHADOWER/article/details/96638232

注意

  • 编译器通过指针来访问成员变量,指针指向哪个对象就使用哪个对象的数据;
  • 编译器通过指针的类型来访问成员函数,指针属于哪个类的类型就使用哪个类的函数。

虚函数

如果将 其中 的基类 A 的 display 函数改为虚函数,代码如下:

#include <iostream>
using namespace std;
 
//基类A
class A {
public:
	A(int a);
public:
	virtual void display();
protected:
	int m_a;
};
A::A(int a) : m_a(a) { }
void A::display() {
	cout << "Class A: m_a=" << m_a << endl;
}
 
//中间派生类B
class B : public A {
public:
	B(int a, int b);
public:
	void display();
protected:
	int m_b;
};
B::B(int a, int b) : A(a), m_b(b) { }
void B::display() {
	cout << "Class B: m_a=" << m_a << ", m_b=" << m_b << endl;
}
 
//基类C
class C {
public:
	C(int c);
public:
	void display();
protected:
	int m_c;
};
C::C(int c) : m_c(c) { }
void C::display() {
	cout << "Class C: m_c=" << m_c << endl;
}
 
//最终派生类D
class D : public B, public C {
public:
	D(int a, int b, int c, int d);
public:
	void display();
private:
	int m_d;
};
D::D(int a, int b, int c, int d) : B(a, b), C(c), m_d(d) { }
void D::display() {
	cout << "Class D: m_a=" << m_a << ", m_b=" << m_b << ", m_c=" << m_c << ", m_d=" << m_d << endl;
}
 
 
int main() {
	A *pa = new A(1);
	B *pb = new B(2, 20);
	C *pc = new C(3);
	D *pd = new D(4, 40, 400, 4000);
 
	cout << "-------更改前-----" << endl;
	pa->display();
	pb->display();
	pc->display();
	pd->display();
        cout << "-----------------------" << endl;
 
	cout << "--------更改后-----------" << endl;
    
	pa = pd;
	pa->display();
 
	pb = pd;
	pb->display();
 
	pc = pd;
	pc->display();
 
	pd->display();
	cout << "-----------------------" << endl;
 
	system("pause");
	return 0;
}

最终输出结果为

-------更改前-----
Class A: m_a=1
Class B: m_a=2, m_b=20
Class C: m_c=3
Class D: m_a=4, m_b=40, m_c=400, m_d=4000
-----------------------
--------更改后-----------
Class D: m_a=4, m_b=40, m_c=400, m_d=4000
Class D: m_a=4, m_b=40, m_c=400, m_d=4000
Class C: m_c=400
Class D: m_a=4, m_b=40, m_c=400, m_d=4000

注意

  1. class A 的 display 函数是虚函数,更改指向之后,pa pb 调用的都是派生类的 display 函数,成员变量也就是相应派生类的
  2. 由于 class C 的 display 函数不是虚函数,所以更改指向之后,pc 依旧调用的是自身的 display 函数,但是成员变量 m_c 是派生类的

具体分析可以参考上面的链接

参考

https://blog.youkuaiyun.com/ENSHADOWER/article/details/96638232

最后附一份我整理的 CPP 面试相关知识点

https://github.com/EricPengShuai/Interview

logo
如果觉得不错的话可以 ⭐️ 一下

是的,**使用 `static_cast` 将派生类对象指针赋值基类指针时,会保留多态特性**。 --- ## ✅ 结论: > **当派生类对象通过基类指针访问虚函数时,仍然会触发多态行为(即调用派生类的实现)**。这是 C++ 多态机制的一部分,与是否使用 `static_cast` 无关。 --- ## ✅ 示例代码: ```cpp #include <iostream> class Base { public: virtual void foo() { std::cout << "Base::foo" << std::endl; } virtual ~Base() = default; // 必须要有虚析构函数才能启用多态 }; class Derived : public Base { public: void foo() override { std::cout << "Derived::foo" << std::endl; } }; int main() { Derived d; // 使用 static_cast 将 Derived* 转换为 Base* Base* basePtr = static_cast<Base*>(&d); // 调用虚函数,仍然调用的是 Derived::foo basePtr->foo(); // 输出 "Derived::foo" } ``` --- ## ✅ 输出结果: ``` Derived::foo ``` --- ## 🔍 解释: 1. **`Derived d;`** 创建一个 `Derived` 类型的对象。 2. **`Base* basePtr = static_cast<Base*>(&d);`** 使用 `static_cast` 将派生类指针转换基类指针。这是**安全的**,因为 `Derived` 是 `Base` 的子类。 3. **`basePtr->foo();`** 虽然 `basePtr` 是 `Base*` 类型,但它指向的是 `Derived` 对象,因此调用的是 `Derived::foo()`,这正是多态的表现。 4. **为什么多态行为保留?** 因为: - `Base` 有虚函数,因此它是多态类型。 - `basePtr` 实际指向的是 `Derived` 对象。 - 虚函数机制通过虚函数表(vtable)在运行时决定调用哪个函数。 --- ## 🧠 补充说明: - 这种转换是**向上转型(upcast)**,即从派生类基类方向转换,是**隐式允许的**,甚至可以不使用 `static_cast`,直接赋值: ```cpp Base* basePtr = &d; // 隐式 upcast,等价于 static_cast<Base*>(&d) ``` - 无论是否使用 `static_cast`,只要原始对象是派生类实例,并且通过基类指针调用虚函数,就会保留多态行为。 --- ## ❗ 注意事项: - 如果你将一个**基类指针**强制转换为**派生类指针**(向下转型),那就需要使用 `dynamic_cast` 来保证安全。 - `static_cast` 不进行运行时检查,如果向下转型错误,会导致**未定义行为**。 --- ## ✅ 总结: | 操作 | 是否保留多态 | 是否安全 | 是否需要虚函数 | |------|----------------|----------|----------------| | `static_cast<基类*>(派生类指针)` | ✅ 是 | ✅ 是(upcast 是安全的) | ❌ 否(但为了多态仍建议有) | | `static_cast<派生类*>(基类指针)` | ✅ 是(如果对象确实是派生类) | ❌ 否(需要程序员保证) | ✅ 是(否则 dynamic_cast 不可用) | --- ###
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值