C++子类共享变量?

C++ Sub Classes Share Variable?

本文关键字：共享变量 子类 C++      更新时间：2023-10-16

菜鸟到C++。我在C++玩继承时反驳了一个奇怪的问题。我有一个父类和 2 个继承父类的子类。

#include <iostream>
#include <memory>
class Parent {
public:
Parent() {}
};
class Child1: public Parent {
public:
int param1;
Child1(int param): Parent() {
param1 = param;
}
};
class Child2: public Parent {
public:
int param2;
Child2(int param): Parent() {
param2 = param;
}
};
int main() {
std::shared_ptr<Parent> obj = std::make_shared<Child1>(123);
std::cout << std::static_pointer_cast<Child2>(obj)->param2 << std::endl;
// output 123 and no run time error, wut?
return 0;
}

如您所见，尽管obj是用Child1的构造函数初始化的，但它仍然可以设置为Child2。事件param2的值与param1相同。

这是怎么回事？这种行为有术语吗？这对shared_ptr来说很特别吗？

多谢！

根据 [util.smartptr.shared.cast]，std::static_pointer_cast返回：

shared_ptr<T>(r, static_cast<typename shared_ptr<T>::element_type*>(r.get()))

这意味着，实际上，您正在执行从Parent *到Child2 *的static_cast。那很好。

但是，在这种情况下，您要转换的对象obj具有运行时类型Child1 *，因此根据 [expr.static.cast]p11，您最终会得到未定义的行为：

类型为"指向 cv1 B 的指针"的 prvalue，其中 B 是类类型，

可以转换为类型为"指向 cv2 D 的指针"的 prvalue，其中 D 是从 B 派生的类，如果 cv2 与 cv1 具有相同的 cv 限定条件，或者比 cv1 具有更高的 cv 限定条件。(...)如果类型为"指向 cv1 B 的指针"的 prvalue 指向实际上是 D 类型对象的子对象的B，则生成的指针指向 D 类型的封闭对象。否则，行为是未定义的。

相关文章：