В стандарте, что такое «производный-декларатор-тип»?
В разных местах в стандарте C ++ (C ++ 11) объявления описываются в терминахпроизводный описатель типа-лист, Я изучаю rvalue ссылки, и использование этого термина имеет решающее значение в этом контексте (§8.3.2):
В декларацииT D гдеD имеет одну из форм
& Атрибут спецификатор-слвыбирать D1
&&Атрибут спецификатор-слвыбирать D1
и тип идентификатора в объявленииT D1 является "производный описатель типа-лист T, Затем тип идентификатораD является "производный описатель типа-лист ссылка наT«.
К сожалению, категория "производного описатель типа"никогда не определяется в стандарте. (Я просматривал каждое использование слова" производный ", и, кроме того, это, возможно, подтверждаетсяВот а такжеВот.)
Потому что "производный описатель типа-лист"выделено курсивом, я предполагаю, что оно относится к категории, а не к метке переменной, такой какT
(и поэтому я не согласен с оценкой Дуга Гвина во второй ссылке, которую я только что дал, что «мы могли бы использоватьX
вместо 'производный описатель типа-лист'").
Какое определение дляпроизводного описатель типа в стандарте C ++ 11?