有没有办法按值将纯抽象类的所有子类传递给 C++ 中的函数?

Is there a way to pass by value all the sub-classes of an pure abstract class to a function in C++?

本文关键字：子类 C++ 函数 抽象类 有没有      更新时间：2023-10-16

>假设我有 2 个类A和B，其中A是一个具有纯虚函数的纯抽象类，B继承自A并实现纯虚函数。如果我有一个函数g()我想将Aby value 的子类的任何实例传递给(这样我就可以在不更改原始实例的情况下改变它(，你会怎么做？ 我知道以下代码不符合我的目的：

void g(A myObject) {} //doesn't work since A contains a pure virtual function
void g(A* myObject) {} //code compiles, but changes the original instance

我会复制实例并创建一个指向它的指针并传递给上面的函数吗？还是有更清洁的方法可以做到这一点？

我认为这里的最佳实践是利用clone()方法：

#include <iostream>
#include <memory>
class Base
{
public:
virtual void set_str(std::string) = 0;
virtual void print() = 0;
virtual std::unique_ptr<Base> clone() = 0;
};
class Derived: public Base
{
private:
std::string _str;
public:
std::unique_ptr<Base> clone() override { 
return std::make_unique<Derived>(*this); 
}
void set_str(std::string str) override {
this->_str = str;
}
void print() override {
std::cout << this->_str << std::endl;
}
};
void foo(std::unique_ptr<Base> obj) {
obj->set_str("inside");
obj->print();
}
int main() {
Derived obj;
obj.set_str("outside");
foo(obj.clone());
obj.print();
return 0;
}

如果确实是 A 中的纯虚函数，是什么阻止了复制。如果 A 可以从其子类复制创建，则对原始对象进行切片，只保留 A 中的字段。

如果要防止修改，可以：

  • 将纯虚函数替换为引发异常的函数。类 A 将变得可创建，而如果您尝试在非子类化对象上使用该函数，它仍然会中断。
  • 使用上述定义的函数在层次结构中插入一个 A1 类，并在g中使用它

这两种方法都会创建原始对象的副本并传递该(切片(副本

您也可以使用常量引用：

void g(const A& myObject);

这将传递对原始对象的引用，但如果尝试修改它，编译器将引发错误。

相关文章：