JК
C++ :: Хилл Мюррей
Страница: 314 из 357Тогда, если D1 имеет вид
*D
то тип содержащегося идентификатора есть «...указатель на T.»
Если D1 имеет вид
* const D
то тип содержащегося идентификатора есть «... констанный указатель на T», то есть, того же типа, что и *D, но не lvalue.
Если D1 имеет вид
amp;D
или
amp; const D
то тип содержащегося идентификатора есть «... ссылка на T.» Поскольку ссылка по определению не может быть lvalue, ипользование const излишне. Невозможно иметь ссылку на void (void amp;).
Если D1 имеет вид
D (список_описаний_параметров)
то содержащийся идентификатор имеет тип «... функция, принимающая параметр типа список_описаний_параметров и возращающая T.»
список_описаний_параметров: список_описаний_парам opt ... opt
список_описаний_парам: список_описаний_парам , описание_параметра описание_параметра
описание_параметра: спецификаторы_описания описатель спецификаторы_описания описатель = выражение спецификаторы_описания абстракт_описатель спецификаторы_описания абстракт_описатель = выражение
Если список_описаний_параметров заканчивается многоточем, то о числе параметров известно лишь, что оно равно или больше числа специфицированных типов параметров; если он пуст, то функция не получает ни одного параметра. Все описния для функции должны согласовываться и в типе возвращаемого значения, а также в числе и типе параметров.
*D
то тип содержащегося идентификатора есть «...указатель на T.»
Если D1 имеет вид
* const D
то тип содержащегося идентификатора есть «... констанный указатель на T», то есть, того же типа, что и *D, но не lvalue.
Если D1 имеет вид
amp;D
или
amp; const D
то тип содержащегося идентификатора есть «... ссылка на T.» Поскольку ссылка по определению не может быть lvalue, ипользование const излишне. Невозможно иметь ссылку на void (void amp;).
Если D1 имеет вид
D (список_описаний_параметров)
то содержащийся идентификатор имеет тип «... функция, принимающая параметр типа список_описаний_параметров и возращающая T.»
список_описаний_параметров: список_описаний_парам opt ... opt
список_описаний_парам: список_описаний_парам , описание_параметра описание_параметра
описание_параметра: спецификаторы_описания описатель спецификаторы_описания описатель = выражение спецификаторы_описания абстракт_описатель спецификаторы_описания абстракт_описатель = выражение
Если список_описаний_параметров заканчивается многоточем, то о числе параметров известно лишь, что оно равно или больше числа специфицированных типов параметров; если он пуст, то функция не получает ни одного параметра. Все описния для функции должны согласовываться и в типе возвращаемого значения, а также в числе и типе параметров.