17 Templates [temp]

• (3.1)
  an identifier associated by name lookup with one or more declarations declared with a dependent type,
• (3.2)
  an identifier associated by name lookup with a non-type template-parameter declared with a type that contains a placeholder type ([dcl.spec.auto]),
• (3.3)
  an identifier associated by name lookup with one or more declarations of member functions of the current instantiation declared with a return type that contains a placeholder type,
• (3.4)
  an identifier associated by name lookup with a structured binding declaration ([dcl.struct.bind]) whose brace-or-equal-initializer is type-dependent,
• (3.5)
  the identifier _­_­func_­_­ ([dcl.fct.def.general]), where any enclosing function is a template, a member of a class template, or a generic lambda,
• (3.6)
  a template-id that is dependent,
• (3.7)
  a conversion-function-id that specifies a dependent type, or
• (3.8)
  a nested-name-specifier or a qualified-id that names a member of an unknown specialization;

simple-type-specifier ( expression-list )
:: new new-placement new-type-id new-initializer
:: new new-placement ( type-id ) new-initializer
dynamic_cast < type-id > ( expression )
static_cast < type-id > ( expression )
const_cast < type-id > ( expression )
reinterpret_cast < type-id > ( expression )
( type-id ) cast-expression

literal
postfix-expression . pseudo-destructor-name
postfix-expression -> pseudo-destructor-name
sizeof unary-expression
sizeof ( type-id )
sizeof ... ( identifier )
alignof ( type-id )
typeid ( expression )
typeid ( type-id )
:: delete cast-expression
:: delete [ ] cast-expression
throw assignment-expression
noexcept ( expression )