为何模板函数Head返回vector副本？模板类修改原vector解析

一、为什么Head函数会返回vector的副本？ #

先看原Head函数的实现：

template <typename T>
vector<T> Head(vector<T>& v, size_t top) {
    return {
        v.begin(),
        next(v.begin(), min(top, v.size()))
    };
}

核心原因是函数的返回值类型是值类型的vector<T>：

• 虽然函数参数是原vector的引用（vector<T>& v），但返回时的初始化列表{v.begin(), next(...)}会触发vector的范围构造函数——这个构造函数会把原vector中指定迭代器区间内的元素，逐一复制到一个新的vector对象中，最终返回这个全新的副本。
• 在范围for循环for (int x : Head(v, 3))里，循环遍历的是这个临时副本的元素，而且int x是按值绑定的，就算修改x，也只是修改副本里的元素，完全不会影响原vector。

你误以为引用传参就能修改原vector，但实际上引用只是让函数能访问原vector，最终返回的是独立的副本对象，和原容器没有关联。

二、为什么使用IteratorRange模板类可以修改原vector的元素？ #

先看模板类和修改后的Head函数实现：

template <typename Iterator>
struct IteratorRange {
    Iterator first, last;

    Iterator begin() const {
        return first;
    }
    
    Iterator end() const {
        return last;
    }
};


template <typename T>
IteratorRange<typename vector<T>::iterator> Head(vector<T>& v, size_t top) {
    return {
        v.begin(), next(v.begin(), min(top, v.size()))
    };
}

关键在于这个方案没有复制元素，只是传递了迭代器：

• IteratorRange是一个轻量的包装类，它只存储了原vector的两个迭代器（first指向原vector的首元素，last指向原vector第top个元素的下一个位置），完全没有复制原vector的元素。
• 当范围for循环遍历IteratorRange对象时，会调用它的begin()和end()方法，得到的是原vector的迭代器。此时如果把循环变量写成引用类型（比如int& x : Head(v, 3)或auto& x : Head(v, 3)），x就会直接绑定到原vector中的元素，执行++x时，就是直接修改原vector里的对应元素。

这个方案本质是用迭代器范围来“指代”原vector的一部分，而非创建副本，所以能直接操作原容器的元素。

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