C++中参数与返回值均用auto的写法是不良实践还是等价于模板？

结论先行 #

你给出的是C++20标准新增的缩写函数模板语法，它和普通模板的功能完全等价，不属于天然的不良实践，好不好用完全取决于使用场景。

等价性说明 #

你写的代码：

auto func(auto data){
    return data;
}

100%等价于传统模板写法：

template <typename T>
T func(T data) {
    return data;
}

参数列表里的auto本质就是模板类型参数的简写，每出现一个独立的auto参数就对应一个新的模板类型参数；返回值的auto是让编译器根据return语句自动推导返回类型，这里返回的是入参data，所以返回类型和入参类型完全一致，和传统模板的行为没有任何区别。

是不是不良实践？ #

这个没有统一答案，分两种场景：

• 适合用的场景：如果函数逻辑本身就是通用的，对所有类型都生效，也不需要额外的类型约束，用缩写形式比写完整的模板声明简洁很多，可读性更高，完全是合理的写法。比如你示例里的恒等函数，用auto func(auto data)的写法比写一长串模板声明更直观。
• 不适合用的场景：如果函数只支持特定类型的入参，或者需要对入参类型做限制，直接裸写auto就属于不良实践——会让调用者搞不清可以传什么类型的参数，编译报错也很难排查。这种场景要么就明确写死参数类型，要么搭配C++20的概念（Concept）给auto加上约束：

  // 示例：只支持整型入参的平方函数
  auto square(std::integral auto x) {
      return x * x;
  }
  

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