Annex A (informative) Grammar summary [gram]

A.7 Declarators [gram.decl]

init-declarator-list:
	init-declarator
	init-declarator-list , init-declarator

init-declarator:
	declarator initializer $_{o p t}$

declarator:
	ptr-declarator
	noptr-declarator parameters-and-qualifiers trailing-return-type

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

noptr-declarator:
	declarator-id attribute-specifier-seq $_{o p t}$ 
	noptr-declarator parameters-and-qualifiers
	noptr-declarator [ constant-expression $_{o p t}$  ] attribute-specifier-seq $_{o p t}$ 
	( ptr-declarator )

parameters-and-qualifiers:
	( parameter-declaration-clause ) cv-qualifier-seq $_{o p t}$ 
ref-qualifier $_{o p t}$  noexcept-specifier $_{o p t}$  attribute-specifier-seq $_{o p t}$

trailing-return-type:
	-> type-id

ptr-operator:
	* attribute-specifier-seq $_{o p t}$  cv-qualifier-seq $_{o p t}$ 
	& attribute-specifier-seq $_{o p t}$ 
	&& attribute-specifier-seq $_{o p t}$ 
	nested-name-specifier * attribute-specifier-seq $_{o p t}$  cv-qualifier-seq $_{o p t}$

cv-qualifier-seq:
	cv-qualifier cv-qualifier-seq $_{o p t}$

cv-qualifier:
	const
	volatile

ref-qualifier:
	&
	&&

declarator-id:
	... $_{o p t}$  id-expression

type-id:
	type-specifier-seq abstract-declarator $_{o p t}$

defining-type-id:
	defining-type-specifier-seq abstract-declarator $_{o p t}$

abstract-declarator:
	ptr-abstract-declarator
	noptr-abstract-declarator $_{o p t}$  parameters-and-qualifiers trailing-return-type
	abstract-pack-declarator

ptr-abstract-declarator:
	noptr-abstract-declarator
	ptr-operator ptr-abstract-declarator $_{o p t}$

noptr-abstract-declarator:
	noptr-abstract-declarator $_{o p t}$  parameters-and-qualifiers
	noptr-abstract-declarator $_{o p t}$  [ constant-expression $_{o p t}$  ] attribute-specifier-seq $_{o p t}$ 
	( ptr-abstract-declarator )

abstract-pack-declarator:
	noptr-abstract-pack-declarator
	ptr-operator abstract-pack-declarator

noptr-abstract-pack-declarator:
	noptr-abstract-pack-declarator parameters-and-qualifiers
	noptr-abstract-pack-declarator [ constant-expression $_{o p t}$  ] attribute-specifier-seq $_{o p t}$ 
	...

parameter-declaration-clause:
	parameter-declaration-list $_{o p t}$  ... $_{o p t}$ 
	parameter-declaration-list , ...

parameter-declaration-list:
	parameter-declaration
	parameter-declaration-list , parameter-declaration

parameter-declaration:
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq declarator
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq declarator = initializer-clause
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq abstract-declarator $_{o p t}$ 
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq abstract-declarator $_{o p t}$  = initializer-clause

function-definition:
	attribute-specifier-seq $_{o p t}$  decl-specifier-seq $_{o p t}$  declarator virt-specifier-seq $_{o p t}$  function-body

function-body:
	ctor-initializer $_{o p t}$  compound-statement
	function-try-block
	= default ;
	= delete ;

initializer:
	brace-or-equal-initializer
	( expression-list )

brace-or-equal-initializer:
	= initializer-clause
	braced-init-list

initializer-clause:
	assignment-expression
	braced-init-list

initializer-list:
	initializer-clause ... $_{o p t}$ 
	initializer-list , initializer-clause ... $_{o p t}$

braced-init-list:
	{ initializer-list , $_{o p t}$  }
	{ }

expr-or-braced-init-list:
	expression
	braced-init-list