C++20中函数参数auto能否替代函数模板？二者有何差异？

C++20里允许用auto作为函数输入参数，这种写法本质是函数模板的语法糖，在简单泛型场景下可以作为普通函数模板的替代方案，但无法完全覆盖所有模板的使用场景，选择时需要注意以下实际差异：

1. 显式实例化与特化的支持 #

• 普通函数模板可以直接进行显式实例化或特化：

  // 显式实例化
  template void myFunction<int>(int&);
  
  // 针对int类型特化
  template<> void myFunction<int>(int& arg) {
      // 自定义实现
  }
  

• 用auto参数的函数无法直接做显式特化，因为它的模板参数是编译器隐式生成的，没有可直接引用的模板参数名。如果需要特化，必须先将其改写为普通模板形式。

2. 模板参数的命名与复用 #

• 普通模板可以给模板参数命名（比如typename T），能在函数体内或参数列表中直接复用该类型：

  template<typename T>
  void printPair(const std::pair<T, T>& pair) {
      std::cout << pair.first << " " << pair.second << std::endl;
  }
  

• auto参数的函数中，每个auto对应一个独立的隐式模板参数，若要让多个参数类型一致，只能通过decltype或概念约束间接实现（比如void func(auto a, decltype(a) b)），无法像普通模板那样直接复用命名的模板参数，在涉及类型萃取（如T::value_type）的场景中会更繁琐。

3. 概念约束的写法灵活性 #

• 两种写法都支持C++20的概念约束，但形式不同：
  • 普通模板：将约束写在模板参数列表中，适合复杂或需要复用的约束场景：

    template<std::integral T>
    void addOne(T& arg) {
        arg += 1;
    }
    

  • auto参数函数：可以直接在auto前添加约束，写法更简洁，适合简单约束：

    void addOne(std::integral auto& arg) {
        arg += 1;
    }
    

4. 代码可读性与团队适配 #

• auto参数写法更简洁直观，适合实现简单的泛型工具函数，一眼就能识别是泛型逻辑；
• 普通模板写法更明确，在复杂泛型场景（比如需要多模板参数、模板元编程）中，能让代码逻辑更清晰，也更符合不少团队长期以来的模板编写习惯。

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