ключ класса должен быть объявлен при объявлении друга

Question

Компилятор g ++ жалуется на эту ошибку, когда я объявляю друга таким образом:

friend MyClass;

вместо

friend class MyClass;

Зачем нужно ключевое слово class ? (Компилятор Borland C ++, BTW, не требует этого.)

Не мог ли компилятор просто найти MyClass в таблице символов и сказать, что он объявлен как класс? (очевидно, что он все равно ищет, потому что жалуется, когда MyClass не объявлен)

Не похоже, что он делает предварительное объявление класса: мне все еще нужно было либо объявить класс выше, либо, по крайней мере, объявить его форвардом.

Это имело бы смысл для меня (было бы здорово на самом деле), если бы

friend class MyClass;

при необходимости делает предварительное объявление, в противном случае это просто кажется мне синтаксической солью.

Я с радостью использую операторы friend без ключевого слова class или struct без жалоб компилятора в течение почти 20 лет. Это что-то довольно новое?

Answer 1

Я был удивлен этим (и в результате удалил предыдущий неправильный ответ). Стандарт C ++ 03 говорит в 11.4:

Разработанный спецификатор типа должен использоваться в объявлении друга для класса.

Затем, чтобы убедиться, что нет недоразумений, он отмечает это с:

Требуется ключ класса разработанного спецификатора типа.

GCC - единственный мой компилятор, который жалуется на отсутствие ключа класса, но похоже, что другие компиляторы позволяют нам уйти с чем-то нестандартным ...

Теперь об обосновании - вам нужно спросить кого-то, кто знает о компиляторах (или стандартах) больше, чем я.

Answer 2

По вашему вопросу, , потому что именно так ИСО / МЭК 14882: 2003 определяет его (раздел 7.1.4). Конструкция friend по существу определяется как:

friend <declaration>

где <declaration> - допустимое объявление класса, структуры, шаблона или функции.

Таким образом,

MyClass;

не является допустимым объявлением, тогда как:

class MyClass;

или

struct MyClass;

есть.

То же самое для:

friend class MyClass;

или

friend struct MyClass;