関数パラメーターのテンプレート引数プレースホルダーとしての「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 ++ Concepts Technical Specificationで有効ですが、C ++ 20では無効です。C ++ 20の概念でautoは、関数パラメーター型の最上位でのみ許可されます。関連するルールは、[dcl.spec.auto]パラグラフ2です。

プレースホルダ型指定子フォームの型制約 [optが】autoとして使用することができる赤緯指定子の赤緯指定子-配列のパラメータ宣言、関数宣言またはラムダ式がない場合、及びトレーリングリターンタイプを導入するauto タイプ指定子（以下を参照）は、関数宣言またはラムダ式の汎用パラメータータイププレースホルダーです。。[注：ジェネリックパラメータータイプのプレースホルダーがあることは、関数が省略された関数テンプレート（9.3.3.5 [dcl.fct]）またはラムダがジェネリックラムダ（7.5.5 [expr.prim.lambda]）であることを示します。—エンドノート]

（執筆時点で最新のワーキングドラフトの文言を確認すると、多少異なるルールが見つかります。上記のルールは、プラハでのC ++ 20最終ドラフトに投票されたコアの問題2447によって変更されました。 1週間前の委員会。）

供述指定子関数パラメータでsがパラメータ宣言の開始時にキーワードやタイプ名の最初のシーケンスです。上記のルールはauto、トップレベルで許可します：

void f(auto x);

...しかし、decl-specifierとしてのみ。decl-specifierauto内にネストされている場合は許可されません。

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

...また、パラメータタイプの他の場所では許可されていません。

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