c++ - 作为 std::initializer_list 对象的抽象类

Question

为了语法更清晰，我想使用 std::initializer_list 将对象列表发送到构造函数。然而，这些对象是抽象的，这会导致一个问题:在 VS 2013 中，它丢失了 vfptr 引用，给出了“R6025: pure virtual function call”运行时错误，而在 g++ 中它提示它“无法在编译期间分配抽象类型‘base’的对象”。我猜测编译器正在尝试复制对象(这是不可取的——它们可能很大)，但仅在复制基类时成功，因此出现错误。我的问题是:是否有一种解决方案可以 (1) 避免复制对象，并且 (2) 不会过于冗长，从而否定“更简洁的语法”优势？下面的代码说明了我的问题:

#include <cstdio>
#include <initializer_list>

struct base{
    virtual void foo() const = 0;
};

struct derived : public base{
    int i;
    derived(int i) : i(i) {}
    void foo() const{
        printf("bar %i", i);
    }
};

void foo_everything(const std::initializer_list<base> &list){
    for (auto i = list.begin(), iend = list.end(); i != iend; i++) i->foo();
}

int main(void){

    // Works fine
    derived d(0);
    base * base_ptr = &d;
    base_ptr->foo();    

    // Does not work fine
    foo_everything({ derived(1), derived(2), derived(3) });
}

请注意，在模板中使用 base& 会出错，因为 std::initializer_list 会尝试“[形成] 指向引用类型 base& 的指针”，并且在使用 base* 时，会获取每个对象的地址派生类实际上工作，它通过获取临时地址来实现，因此不安全(g++ 提示)。如果我在方法调用之外声明派生类(我的临时解决方案)，后者确实有效，但它仍然比我希望的更冗长。

Answer 1

使用 initializer_list<base *> 的有点老套的方法:

template<class... Ts>
void foo_everything(Ts&&... args){
    std::initializer_list<base *> list = {&args...};
    for(auto i : list) i->foo();
}

然后从调用中移除大括号:

foo_everything(derived(1), derived(2), derived(3));

---

如果你真的不需要转换成base *并执行虚拟调用，只想调用 foo()在传入的每个对象上，然后我们可以使用通常的 pack-expansion-inside-an-initializer-list 技巧:

template<class... Ts>
void foo_everything(Ts&&... args){
    using expander = int[];
    (void) expander { 0, ((void) std::forward<Ts>(args).foo(), 0)...};
}