继承场景下如何解决std::list<派生类>无法匹配基类list参数的问题

错误根本原因 #

• C++的模板实例之间不存在协变关系，即使模板参数有继承关系，std::list<MyStats>和std::list<Stats>仍然是完全独立、无任何转换关系的两个类型，因此无法直接将std::list<MyStats>作为入参传给接收std::list<Stats>的函数。
• 另外如果直接将派生类对象塞入基类的std::list，还会触发对象切片问题，派生类独有的letter成员会被截断丢失。
• 你代码中还存在一处隐性错误：函数返回值是std::list<Stats>类型，你直接赋值给QList<Stats>也会触发类型不匹配错误，二者没有默认转换规则。

可行的解决方案 #

方案1：将提取函数改为泛型模板（无切片、无性能损失、适配任意元素类型） #

直接把extractFirstBatch改造为模板函数，支持任意元素类型的std::list输入，返回值类型和输入元素类型保持一致：

template<typename T>
std::list<T> extractFirstBatch(std::list<T> stats){
    int counter=0;
    std::list<T> batch;
    for(const auto& s: stats){
        batch.push_back(s);
        if(++counter >= 10)
            break;
    }
    return batch;
}

调用时直接传std::list<MyStats>即可，返回值也是std::list<MyStats>，不会丢失派生类成员，如需转QList可手动遍历转换。

方案2：使用智能指针托管对象（适合需要多态特性的场景） #

如果后续需要基于Stats做多态扩展，建议将列表元素改为智能指针，避免对象切片同时兼容基类/派生类指针：

// 函数改造
std::list<std::shared_ptr<Stats>> extractFirstBatch(std::list<std::shared_ptr<Stats>> stats){
    int counter=0;
    std::list<std::shared_ptr<Stats>> batch;
    for(const auto& s: stats){
        batch.push_back(s);
        if(++counter >=10)
            break;
    }
    return batch;
}
// 调用侧改造
int main()
{
    std::list<std::shared_ptr<Stats>> stats;
    auto s = std::make_shared<MyStats>();
    s->number=1;
    s->letter = 'a';
    stats.push_back(s);
    auto newStats=extractFirstBatch(stats);
    // 如需使用派生类成员，动态转换即可
    auto myStat = std::dynamic_pointer_cast<MyStats>(newStats.front());
    return 0;
}

方案3：手动转换列表（仅适合不需要保留派生类成员的场景） #

如果业务只需要用到基类的number成员，可以手动把std::list<MyStats>转换为std::list<Stats>后再传入函数：

int main()
{
    std::list<MyStats> stats;
    MyStats s;
    s.number=1;
    stats.push_back(s);
    // 手动转换列表
    std::list<Stats> baseStats;
    for(const auto& item : stats){
        baseStats.push_back(item);
    }
    std::list<Stats> newStats=extractFirstBatch(baseStats);
    return 0;
}

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