C ++：初始化指向具有不同类型的对象的指针数组

Question

C++ 中是否有一种语法来初始化指向具有不同类型的对象的指针数组而无需额外分配？我试图在下面提供一个完整的示例。

#include "stdio.h"

class Base {
    public:
        Base(int cnt=1) : _cnt(cnt) {}
        virtual void print() { printf("?\n"); }
    protected:      
        int _cnt;       
};      

class A : public Base {     
    public:     
        A(int val, int cnt=1) : _val(val), Base(cnt) {}
        void print() override { for (int i=0; i<_cnt; i++) printf("A(%d)\n", _val);  }
    private:
        int _val;
};

class B : public Base {
    public:
        B(const char* val, int cnt=1) : _val(val), Base(cnt) {}
        void print() override { for (int i=0; i<_cnt; i++) printf("B(\"%s\")\n", _val);  }
    private:
        const char* _val;
};

//  *** I would like to combine the following statements ***
A a = { 42, 2 };
B b = { "hi there", 3 };

Base* test[] = { &a, &b };

int main() {
    for (auto *x : test) { x->print(); }
}

当我尝试时

Base* test2[] = {
    &A(42, 2), 
    &B("hi there", 3),
};

获取临时地址时出现错误。代码需要在小型嵌入式系统上运行代码，所以我尽量避免动态分配。

希望这不是常见问题解答 ...

感谢您的帮助！

Answer 1

您的帖子提到您需要值语义，这意味着没有动态分配。在您提到的 cmets 中，您的类型集是封闭的。因此，您可以使用boost::variant 进行闭集多态。

using common_t = boost::variant<A, B>;

common_t arr[] = {
    A(42, 2), 
    B("hi there", 3),
};

好消息是这些类型不再需要有一个共同的基础。他们只需要尊重相同的接口（有print）。您基本上用静态多态性替换动态。现在可以使用通用 lambda 访问任何成员

for(auto &obj : arr)
  boost::apply_visitor([](auto& o) {
    o.print();
  }, obj);

Answer 2

在你的例子中：

Base* test2[] = {
    &A(42, 2), 
    &B("hi there", 3),
};

A 和 B 都在数组初始值设定项的范围内被实例化。它们在此范围内是临时的，这就是编译器不允许您将它们存储在数组中的原因。

您应该使用智能指针来动态分配您的对象，因为在其范围之外访问堆栈变量是不安全的。

智能指针的一个很好的例子是shared_ptr： http://en.cppreference.com/w/cpp/memory/shared_ptr