传容器引用时auto参数与模板推导孰优？三类input函数对比

让我们一步步拆解这三个input函数的差异，再聊聊哪种实现更适合你的场景：

第一段代码：固定大小数组的专属模板 #

template <typename T, int N> void input (T (&Array) [N]) { for (T& val: Array) cin >> val; }

这个模板是为固定大小栈数组量身定做的：

• 它通过两个模板参数明确拆分了数组的元素类型T和数组大小N，你可以直接在函数内部使用N做任何操作——比如打印数组长度、添加边界检查逻辑，都很方便。
• 但它的局限性也很明显：只能处理编译期大小固定的数组，而且每一种不同类型/大小的数组都会触发一次模板实例化（比如double store[5]和int store[3]会生成两个完全不同的input函数）。
• 你提到的“写成T (&Array) []无法编译”是对的——C++不允许声明未知大小数组的引用，必须通过非类型模板参数N把大小明确下来。

第二段代码：数组类型的单模板参数版本 #

template <typename T> void input (T (&Array)) { for (auto& val: Array) cin >> val; }

这里的模板参数T会被推导成整个数组的类型（比如对于double store[5]，T就是double[5]），函数参数本质还是数组的引用。

• 它的模板参数比第一段少，但代价是你没法直接拿到数组大小N，如果需要的话得用std::size(Array)或者sizeof(Array)/sizeof(Array[0])来计算。
• 你说的“循环写成T& val: Array会编译失败”也很好理解：T是数组类型，T&就是数组的引用，根本不是数组元素的类型，所以必须用auto&让编译器自动推导元素的引用类型。

第三段代码：C++17缩写模板（最简洁写法） #

void input (auto& Array) { for (auto& val: Array) cin >> val; }

这是C++17引入的缩写函数模板，编译器会自动把它转换成等价的template <typename T> void input(T& Array) { ... }。

• 它的最大优势就是写法极度简洁，几乎没有模板语法的冗余，可读性拉满。
• 本质上它和第二段的能力差不多，但代码量少了一半。不过你提到它无法处理vector<double>其实有点奇怪——理论上只要vector支持范围for循环，这个函数应该能处理才对，可能是你测试时漏了包含<vector>头文件？不过按你给出的已知条件，我们暂时只讨论数组场景。

哪种实现更合适？ #

• 如果你需要在函数内用到数组的编译期大小（比如做边界检查、初始化相关逻辑）：选第一段，直接用模板参数N最方便。
• 如果你只是想简单地读取数组内容，且项目用的是C++17及以上标准：选第三段，写法最清爽，代码维护成本最低。
• 第二段其实是个“中间态”，比第一段简洁但不如第三段，还没法直接拿数组大小，除非你有特殊的兼容性需求（比如要兼容C++17之前的版本但又不想写两个模板参数），否则不推荐。

最后再提个共性限制：这三个函数都只能处理数组类型的引用，没法处理动态分配的数组（比如new double[5]返回的指针），因为指针和数组引用是完全不同的类型。

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