如果你有一个类型而不是auto，它会读起来像：

int y(int(long(x)));
// ->
int y(int(long x));
// ->
int y(int(*)(long));

字符串
但是，不能用auto代替long。
[dcl.fct]p22：

• 缩写函数模板 * 是具有一个或多个泛型参数类型占位符的函数声明（[dcl.spec.auto]）。

[dcl.spec.auto.general]p2
形式为 type-constraintoptauto的 * 占位符类型说明符 * 可以用作函数声明或 * parameter-declaration * 的 decl-specifier-seq 的 * decl-specifier*，如果不是auto * 类型说明符 *，则引入 trailing-return-type（见下文），是函数声明或 * 泛型表达式 * 的 * 泛型参数类型占位符 *。
.所以auto只能是直接在类型decl-specifier-seq中的decl-specifier，而不能进一步嵌套。基本上，如果你能把auto一直移到左边，它就能工作。
因此，这些缩写的函数模板可以工作：

int y(auto x);
int y(auto* x);
int y(auto const*& x);
int y(const auto*& x);
int y(auto* x[][12]);
int y(auto (*x)[3][4]);
int y(auto (*fn)(int x));
// Last one can be written as:
int y(auto(int x));
int y(auto(int(x)));

型
而这些不会：

int y(std::vector<auto> x);
int y(void (*fn)(auto));
int y(int x[sizeof(auto)]);

型
同样的限制也适用于初始化器中的占位符类型，比如auto x = ...;：

int f(int);

auto (*ptr1)(int) = f;  // Works
// int (*ptr2)(auto) = f;  // Doesn't

型