はい。
関数に名前を付ける宣言子を使用せずに関数型を指定するこの形式は、構文的にはtype-id(8.1)です。
type-id:
type-specifier-seq abstract-declarator[opt]
abstract-declarator:
ptr-operator abstract-declarator[opt]
direct-abstract-declarator
direct-abstract-declarator:
direct-abstract-declarator[opt] ( parameter-declaration-clause ) cv-qualifier-seq exception-specification
direct-abstract-declarator[opt] [ constant-expression ]
( abstract-declarator )
parameter-declaration-clause構文は、通常の関数宣言と同じであり、各引数に名前を付ける(declarator)か付けない(abstract-declarator)(8.3.5)ことができます。
parameter-declaration-clause:
parameter-declaration-list[opt] ...[opt]
parameter-declaration-list[opt] , ...
parameter-declaration-list:
parameter-declaration
parameter-declaration-list , parameter-declaration
parameter-declaration:
decl-specifier-seq declarator
decl-specifier-seq declarator = assignment-expression
decl-specifier-seq abstract-declarator[opt]
decl-specifier-seq abstract-declarator[opt] = assignment-expression