2

Недавно стал изучать ключевое слово friend и при просмотре его синтаксиса увидел вот это:

friend elaborated-class- specifier ;
friend simple-type-specifier;
friend typename-specifier ;

Я посмотрел в интернете и насколько я понял elaborated-class- specifier ; это просто объявление класса. Но что такое simple-type-specifier и typename-specifier и чем они отличаются я так и не понял, объясните пожалуйста)

1 ответ 1

3

Строго говоря, в грамматике нет elaborated-class-specifier. Там есть elaborated-type-specifier. Это имя типа, перед которым написано struct/class/union/enum (вроде ничего не забыл). Но в случае friend, по смыслу enum не подходит.

Оно может служить объявлением типа, но не обязательно. Например void foo(struct bar) {} не скомпилируется, если struct foo не была уже объявлена ранее.

simple-type-specifier - это, видимо, любой тип, который:

  • Не elaborated (см. выше).

  • Перед которым не стоит typename.

  • В записи которого не использовали *, &, Класс::*, [], (), и т. п.

    Эти требования именно грамматические. Т.е. если сделать using A = B *;, то A будет simple-type-specifier, хотя B * им не является.

typename-specifier - это тип, перед которым написано typename (т. е. зависящий от шаблонного параметра).

4
  • Спасибо, а можно ли сказать, что ,simple-type-specifier это forward declaration? 15 апр 2021 в 10:36
  • 1
    @n1kzzz Конечно нет. Какой-нибудь int - это ведь simple-type-specifier. 15 апр 2021 в 11:09
  • Извините, я опечатался не simple-type-specifier, а elaborated-type-specifier 15 апр 2021 в 11:40
  • 1
    @n1kzzz Тогда ответ во втором параграфе. :) 15 апр 2021 в 11:43

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.