C++遍历抽象类时报cannot instantiate abstract class错误如何解决？

问题成因 #

• 初始版本报错的核心逻辑：范围for循环用值类型AbstractThingy接收元素时，每次迭代都会隐式调用拷贝构造函数生成新的局部对象。抽象类包含纯虚函数，本身不允许实例化，自然也无法完成拷贝构造，即使你没有手动写实例化代码，编译器自动生成的隐式拷贝逻辑也会触发报错。
• 改为引用后仍报错的常见原因：
  • 你的集合ABSTRACT_THINGIES存储的是抽象类的指针类型（包括裸指针AbstractThingy*、智能指针std::unique_ptr<AbstractThingy>/std::shared_ptr<AbstractThingy>），直接用基类引用接收指针类型不匹配，编译器会尝试构造临时基类实例触发报错。
  • 集合元素带有const修饰，用非const的AbstractThingy&无法匹配，编译器会尝试生成临时拷贝对象，再次触发抽象类实例化限制。
  • 极小概率是旧版本编译器对范围for的引用推导存在缺陷导致的异常报错。

解决方法 #

根据集合存储的元素类型选择对应写法即可：

集合存储派生类栈实例 #

只需匹配元素的const修饰符使用引用即可：

// 元素为非const时
for (AbstractThingy& abstractThingy : ABSTRACT_THINGIES) {
    abstractThingy.doStuff();
}

// 元素带const修饰时
for (const AbstractThingy& abstractThingy : ABSTRACT_THINGIES) {
    abstractThingy.doStuff();
}

集合存储抽象类指针（裸指针/智能指针） #

直接操作指针，或解引用后绑定到引用：

// 存储裸指针的场景
for (AbstractThingy* ptr : ABSTRACT_THINGIES) {
    ptr->doStuff();
    // 也可以解引用后用引用接收
    // AbstractThingy& abstractThingy = *ptr;
    // abstractThingy.doStuff();
}

// 存储智能指针的场景
for (auto& ptr : ABSTRACT_THINGIES) {
    ptr->doStuff();
}

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