如何为C++概念约束的auto参数设置默认值？

先看这段尝试给带std::integral概念约束的auto参数设置默认值的代码：

#include <concepts>
#include <iostream>

void foo(std::integral auto num = 1)
{
    std::cout << "Num: " << num << std::endl;
}

int main()
{
    foo(7);
    foo(true);
    foo('&');
    //foo();  // Does not compile
    return 0;
}

带参数调用时一切正常，但取消注释foo()后会触发编译错误：

main.cpp: In function ‘int main()’:
main.cpp:14:8: error: no matching function for call to ‘foo()’
   14 |     foo();  // Does not compile
      |     ~~~^~
main.cpp:4:6: note: candidate: ‘template  requires  integral void foo(auto:11)’
    4 | void foo(std::integral auto num = 1)
      |      ^~~
main.cpp:4:6: note:   template argument deduction/substitution failed:
main.cpp:14:8: note:   couldn’t deduce template parameter ‘auto:11’
   14 |     foo();  // Does not compile
      |     ~~~^~

问题根源 #

std::integral auto num = 1这种写法本质是简写的模板函数，等价于：

template<std::integral T>
void foo(T num = 1)

模板参数推导的核心规则是：如果没有显式指定模板参数，编译器必须从函数实参推导T的类型。当你调用foo()时，没有传入实参，编译器找不到任何能推导T的依据——哪怕参数有默认值，默认值1的类型int不会被用来推导模板参数，因为模板推导的优先级高于默认值的使用。

这就是带参数调用能正常工作的原因：实参的类型会被直接用来推导T（比如7推导为int，true推导为bool，'&'推导为char），而无参调用时没有推导来源，直接触发报错。

已知的解决方式 #

你提到的两种方法都是有效的：

• 显式指定模板参数：foo<int>()，直接告诉编译器T的类型，此时会使用默认值1
• 显式声明模板参数并设置默认值：

  template<typename T = int> requires std::integral<T>
  void foo(T num = 1)
  

  这种写法给T指定了默认类型int，当无参调用时，编译器会直接使用这个默认类型，无需进行推导。

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