模板与类型擦除：为何该程序可编译却运行时死循环？

一、为什么std::vector<Object>能通过编译？ #

你定义的Object类有一个模板构造函数：

template<typename T>
Object(T value)
    : p_data(std::make_unique<Model<T>>(std::move(value)))
{
}

这个构造函数可以接受任意类型的参数，包括std::vector<Object>。当编译器遇到std::cout << document（document是std::vector<Object>类型）时，它会在全局范围内寻找匹配的operator<<，但标准库并没有为std::vector<Object>提供输出运算符。此时编译器会尝试隐式转换：能不能把std::vector<Object>转换成一个现有operator<<能接受的类型？

现有能匹配的是你定义的：

std::ostream& operator<<(std::ostream&, const Object&);

因为Object的模板构造函数可以接受std::vector<Object>作为参数，编译器会自动生成一个临时的Object对象（把document作为参数传入构造函数），从而让这个operator<<调用变得合法。

而std::vector<int>或std::vector<std::string>无法编译，是因为如果触发同样的隐式转换，生成的Model<std::vector<int>>在draw_internal方法中会执行os << data，也就是尝试输出std::vector<int>——但标准库没有为std::vector<int>提供operator<<，这会导致编译错误，所以编译器不会选择这条隐式转换路径，最终报错找不到匹配的operator<<。

二、为什么会陷入死循环？ #

当std::cout << document触发隐式转换，生成Object(std::vector<Object>)后，operator<<会调用object.p_data->draw_internal(os)，也就是Model<std::vector<Object>>::draw_internal。这个方法里执行：

os << data;

这里的data是std::vector<Object>类型，又会触发同样的隐式转换——把std::vector<Object>转成Object，再次调用你定义的operator<<，如此反复递归，最终导致死循环。

三、修复方案 #

1. 禁止std::vector<Object>的隐式转换 #

可以把Object的模板构造函数声明为explicit，这样编译器就不会自动进行隐式转换，std::cout << document会直接报错（符合你的预期）：

template<typename T>
explicit Object(T value)
    : p_data(std::make_unique<Model<T>>(std::move(value)))
{
}

2. 为std::vector<Object>提供专门的operator<< #

如果你确实需要输出std::vector<Object>，可以专门定义对应的输出运算符：

std::ostream& operator<<(std::ostream& os, const std::vector<Object>& vec) {
    os << "[";
    for (size_t i = 0; i < vec.size(); ++i) {
        if (i > 0) os << ", ";
        os << vec[i];
    }
    os << "]";
    return os;
}

这样既不会触发隐式转换，也能正确输出容器内容，避免死循环。

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