C++中能否让doSomething根据传入的vector子类类型执行不同逻辑？

问题1：为什么vector<ChildA>无法转换为vector<Parent> #

C++标准库容器不支持协变转换——哪怕ChildA是Parent的子类，vector<ChildA>和vector<Parent>也是完全独立的模板实例化类型，二者之间没有继承关系。

假设允许这种转换，你可以通过vector<Parent>的接口向容器插入Parent对象，这会破坏原vector<ChildA>的类型一致性（容器里会混入非ChildA的对象），导致运行时错误。因此编译器直接禁止这种不安全的隐式转换。

问题2：优雅实现通用doSomething函数 #

不需要靠运行时解析类型字符串判断，我们可以利用C++的模板特性在编译期完成类型分支，既安全又高效，以下是几种常用方案：

方案1：模板特化（兼容C++98及以上） #

先定义通用模板，再针对vector<ChildA>和vector<ChildB>做专属实现：

#include <vector>

class Parent {};
class ChildA : public Parent {};
class ChildB : public Parent {};

// 通用模板（传入其他vector类型会触发编译错误，也可留空实现）
template<typename T>
void doSomething(const std::vector<T>& vec);

// 针对vector<ChildA>的特化实现
template<>
void doSomething(const std::vector<ChildA>& vec) {
    // 处理ChildA的逻辑
    for (const auto& elem : vec) {
        // 操作ChildA对象
    }
}

// 针对vector<ChildB>的特化实现
template<>
void doSomething(const std::vector<ChildB>& vec) {
    // 处理ChildB的逻辑
    for (const auto& elem : vec) {
        // 操作ChildB对象
    }
}

方案2：if constexpr + 类型判断（C++17及以上） #

如果想在同一个函数里分支处理，用std::is_same结合if constexpr实现编译期分支，代码更紧凑：

#include <vector>
#include <type_traits>

class Parent {};
class ChildA : public Parent {};
class ChildB : public Parent {};

template<typename T>
void doSomething(const std::vector<T>& vec) {
    if constexpr (std::is_same_v<T, ChildA>) {
        // 处理ChildA的逻辑
        for (const auto& elem : vec) {
            // 操作ChildA
        }
    } else if constexpr (std::is_same_v<T, ChildB>) {
        // 处理ChildB的逻辑
        for (const auto& elem : vec) {
            // 操作ChildB
        }
    } else {
        // 可选：禁止其他类型，触发编译错误
        static_assert(!std::is_same_v<T, T>, "不支持的vector元素类型");
    }
}

方案3：SFINAE重载（C++11及以上） #

通过std::enable_if限制模板的适用类型，实现不同重载：

#include <vector>
#include <type_traits>

class Parent {};
class ChildA : public Parent {};
class ChildB : public Parent {};

// 仅处理vector<ChildA>
template<typename T>
std::enable_if_t<std::is_same_v<T, ChildA>>
doSomething(const std::vector<T>& vec) {
    // ChildA专属逻辑
}

// 仅处理vector<ChildB>
template<typename T>
std::enable_if_t<std::is_same_v<T, ChildB>>
doSomething(const std::vector<T>& vec) {
    // ChildB专属逻辑
}

关键知识点说明 #

• std::is_same_v<T, U>：编译期判断类型T和U是否完全相同，返回布尔常量。
• if constexpr：C++17引入的编译期条件判断，不满足的分支会被编译器忽略，不会生成冗余代码。
• 模板特化：针对特定模板参数生成专属函数实现，是C++早期处理模板分支的经典方式。

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