Em locais diferentes no padrão C ++ (C ++ 11), as declarações são descritas em termos delista de tipos de declaradores derivados. Estou estudando referências de valor e o uso desse termo é fundamental nesse contexto (§8.3.2):

Numa declaraçãoT D OndeD tem uma das formas
    & atributo-especificador-seqoptar D1
&&atributo-especificador-seqoptar D1
e o tipo do identificador na declaraçãoT D1 é "lista de tipos de declaradores derivados T, Então o tipo do identificador deD é "lista de tipos de declaradores derivados referência aT.

Infelizmente, a categoria "tipo-declarador-derivado"nunca é definido no padrão. (Eu olhei através de cada uso da palavra" derivado ", e além disso isso é possivelmente confirmadoAqui eAqui.)

Porque "lista de tipos de declaradores derivados"está em itálico, presumo que se refira a uma categoria e não a um rótulo de variável comoT (e, portanto, discordo da avaliação de Doug Gwyn no segundo link que acabei de dar que "poderíamos ter usadoX ao invés de 'lista de tipos de declaradores derivados'").

Qual é a definição detipo-declarador-derivado no padrão C ++ 11?