创建抽象基类引用的初始化列表并通过foreach循环遍历

你的代码里藏着一个典型的对象切片坑，我给你一步步拆解清楚：

先看这段循环代码的问题：

for (const auto& abs : {a_abs, b_abs}) { }

这里的初始化列表{a_abs, b_abs}会被编译器推导为Abs值类型的集合，而不是引用集合。也就是说，它会把a和b的派生类部分“切掉”，只保留基类Abs的部分生成临时对象，之后哪怕你调用f()，也触发不了多态，完全达不到你想用列表遍历不同派生类对象的目的。

正确的实现方案 #

要保留抽象基类的多态特性，我们得用指针（或者更安全的智能指针）来存储对象引用，这样才能完整保留派生类的信息。

方案1：使用原始指针数组（适用于栈上对象）

#include <iostream>
class Abs { public: virtual ~Abs() = default; virtual void f() = 0; }; 
class A : public Abs { void f() override { std::cout << "A::f()\n"; } }; 
class B : public Abs { void f() override { std::cout << "B::f()\n"; } }; 

int main() { 
    A a; 
    B b; 
    // 存储指向原对象的指针，避免切片
    const Abs* abs_arr[] = {&a, &b};
    for (const auto* abs : abs_arr) { 
        abs->f(); // 正确触发多态，分别调用A和B的f()
    } 
    return 0; 
}

方案2：使用智能指针容器（更推荐，适配动态分配对象）

如果你的对象是动态创建的，用std::unique_ptr或std::shared_ptr能避免内存泄漏风险，代码也更符合现代C++风格：

#include <iostream>
#include <vector>
#include <memory>

class Abs { public: virtual ~Abs() = default; virtual void f() = 0; }; 
class A : public Abs { void f() override { std::cout << "A::f()\n"; } }; 
class B : public Abs { void f() override { std::cout << "B::f()\n"; } }; 

int main() { 
    // 用vector存储智能指针，管理动态对象生命周期
    std::vector<std::unique_ptr<Abs>> abs_list;
    abs_list.emplace_back(std::make_unique<A>());
    abs_list.emplace_back(std::make_unique<B>());
    
    for (const auto& abs : abs_list) { 
        abs->f(); // 正确触发多态
    } 
    return 0; 
}

再啰嗦一句为什么原代码不行 #

当你把const Abs&放进初始化列表时，编译器会自动把引用转换为Abs值类型的临时对象——因为初始化列表要求所有元素类型一致，这里被统一推导成了值类型，而非引用类型。这就导致派生类独有的成员和虚函数表都被“切”没了，自然无法实现多态调用。

内容的提问来源于stack exchange，提问作者Epic