c++ - 函数指针定义中是否允许使用参数名称

Question

所以我刚刚看到了一个使用命名参数的函数指针声明的示例:

int (*func)(int a, int b) = &foo;

我假设这是定义良好的代码，因为它可以正常编译和运行:https://ideone.com/C4mhsI

但我以前从未见过这种情况(可能是因为它增加了本来就很难解析的函数指针的复杂性。)尽管如此，我希望看到一个声明，表明这是合法的，而不是一些疯狂的 gcc 扩展。有人能给我找点东西吗？

Answer 1

您可以遵循 declarator 的语法，这是一个没有任何类型或 decl 说明符的声明。

declarator:
  ptr-declarator
  [...]

ptr-declarator:
  noptr-declarator
  ptr-operator ptr-declarator

noptr-declarator:
  [...]
  noptr-declarator parameters-and-qualifiers
  ( ptr-declarator )

parameters-and-qualifiers:
  ( parameter-declaration-clause ) [...]

ptr-operator:
  * attribute-specifier-seq[opt] cv-qualifier-seq[opt]
  [...]

我删除了所有不需要的语法规则，以便能够更轻松地遵循它。我不会这样做，因为写下来有点麻烦，但最后你会发现你有代表参数的参数和限定符。

如果您对某个函数执行此操作，您会发现它也以“参数和限定符”结尾。它们使用相同的语法，并且 [decl.ptr] 下的标准中没有任何禁止这一点的内容。 .