std::vector<B>无法隐式转换为std::vector<A<int,std::string>>的优雅解决方案

首先得明确核心原因：虽然B是A<int, std::string>的子类，但C++里容器类型不支持协变转换——std::vector<B>和std::vector<A<int, std::string>>是完全独立的类型，编译器不会自动做隐式转换，这是为了避免内存安全问题（比如如果允许转换，往vector<A>里插入非B的A子类实例，会破坏原vector<B>的类型一致性）。

你提到的两种方案确实各有局限：

• 用typedef指定容器类型的方式，虽然能跑通，但强行限制了容器的具体类型，没法直接复用已有的std::vector<B>实例，灵活性不足。
• 把print改成无限制的模板函数，会彻底丢失类型检查，哪怕传入一个元素和A完全无关的容器，编译器也不会报错，很容易埋下bug。

优雅的解决方案：SFINAE限定的模板重载 #

我们可以利用C++的SFINAE（Substitution Failure Is Not An Error）特性，给print添加一个仅接受**元素是A<K,V>子类的std::vector**的重载版本，既保留类型安全性，又能直接处理std::vector<B>。

核心思路是：

1. 给print函数添加模板参数T，用std::is_base_of判断T是否是A<K,V>的派生类。
2. 使用std::enable_if实现条件编译，只有当T满足派生关系时，这个重载才会被编译器选中。
3. 同时修改所有print函数的参数为const&，符合const正确性，避免不必要的拷贝。

完整可运行代码 #

#include <iostream>
#include <vector>
#include <type_traits>

template <typename K, class V>
class A {
public:
    K x;
    V y;

    A(K x, V y):x(x), y(y) {}

    // 打印单个A或其子类实例
    void print(const A<K, V>& z) const {
        std::cout << x + z.x << "-" << y + z.y << std::endl;
    }

    // 打印元素为A子类的vector
    template <typename T>
    typename std::enable_if<std::is_base_of<A<K, V>, T>::value>::type
    print(const std::vector<T>& z) const {
        for(const auto& i : z) {
            print(i);
        }
    }
};

class B:public A<int, std::string> {
public:
    B():A(0, "zero") {}
    B(int x, std::string y):A(x, y) {}
};

void test() {
    B b1(1, "one");
    B b2(2, "two");
    B b3(3, "three");
    B b4(4, "four");
    B b5(5, "five");

    b5.print(b1);

    std::vector<B> c;
    c.push_back(b1);
    c.push_back(b2);
    c.push_back(b3);
    c.push_back(b4);

    b5.print(c); // 现在可以正常编译运行
}

int main() {
    test();
    return 0;
}

补充说明 #

• 这个方案兼容C++11及以上版本。
• 该重载只会匹配元素是A<K,V>子类的std::vector，如果传入其他类型的容器（比如std::vector<int>），编译器会因为SFINAE规则排除这个重载，同时因为没有其他匹配的print函数而报错，保证了类型安全。

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