'auto'作为函数参数的模板参数占位符

C ++ 20允许使用auto函数参数类型。

它是否还允许将函数参数类型auto用作模板参数占位符（不相似，但以C ++ 17 template <auto>的精神）。

因此，以下代码是C ++ 20之前的版本：

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

可以写成：

void printPair(const std::pair<auto, auto>& p) {
    std::cout << p.first << ", " << p.second;
}

它确实可以编译，并且可以很好地与实验性GCC实现概念配合使用。

它是C ++ 20的合法语法吗？

此语法在C ++概念技术规范中有效，但在C ++ 20中无效。在C ++ 20概念中，auto仅允许在函数参数类型的顶级使用。相关规则是[dcl.spec.auto]第2段：

甲占位符型说明符形式的类型约束 [选择] auto可以被用作一个DECL说明符的的DECL说明符-SEQ一个的参数声明函数声明或λ-表达，如果它不是auto 类型说明符引入尾返回型（见下文），是一种通用的参数类型占位符的函数声明或λ-表达。[注意：具有通用参数类型占位符表示该函数是缩写的函数模板（9.3.3.5 [dcl.fct]）或lambda是通用lambda（7.5.5 [expr.prim.lambda]）。—尾注]

（如果您在撰写本文时检查了最新工作草案中的措辞，您会发现一条不同的规则。以上规则已被核心问题2447修改，该问题在布拉格的C ++ 20最终草案中被投票通过一周前的委员会会议。）

该DECL说明符 S IN的函数的参数是关键字，类型名称在参数声明的开始的初始序列。上面的规则允许auto出现在顶层：

void f(auto x);

...但仅作为decl-specifier。auto当嵌套在decl-specifier中时是不允许的：

void f(std::vector<auto> x);

...，并且在参数类型的其他地方也不允许：

void f(void (*p)(auto));