una clave de clase debe ser declarado cuando se declara un amigo

Question

El compilador g ++ se queja con este error cuando se declaro un amigo de esta manera:

friend MyClass; 

en lugar de

friend class MyClass; 

¿Por qué la clase palabra clave se requiere? (el compilador de Borland C++, BTW, no lo requiere).

¿No pudo el compilador simplemente buscar MyClass en la tabla de símbolos y decir que se declaró como una clase? (Obviamente está haciendo la búsqueda de todos modos porque se queja cuando MyClass no se ha declarado)

No es como si estuviera haciendo una declaración directa de la clase: todavía tengo que haber declarado la clase anterior o al menos lo han declarado adelante.

No tendría sentido para mí (en realidad sería grande) si

friend class MyClass; 

hace una declaración hacia adelante si es necesario, de lo contrario sólo parece que la sal sintáctica para mí.

He estado usando alegremente amigo declaraciones sin la palabra clave clase o estructura con ninguna queja del compilador desde hace casi 20 años. ¿Es esto algo bastante nuevo?

Answer 1

Me sorprendió sobre esto (y como resultado eliminado una respuesta incorrecta anterior). El estándar C++ 03 dice en 11.4:

Se debe usar un especificador de tipo elaborado en una declaración de amigo para una clase.

cuando para asegurarse de que no hay malentendidos, notas al pie que con: Se requiere que la llave de la clase de tipo especificador elaborado

.

GCC es el único compilador que tengo de que se queja de la falta-clave de clase, pero parece que otros compiladores están dejando que nos alejamos con algo no estándar ...

Ahora en cuanto a la Justificación: tendría que preguntarle a alguien que sabe más sobre compiladores (o estándares) que yo.

Answer 2

Al punto de su pregunta, porque es la forma en que ISO/IEC 14882: 2003 lo especifica (sección 7.1.4). El constructo friend se especifica esencialmente como:

friend <declaration> 

donde <declaration> es la declaración válida de una clase, estructura, plantilla, o función.

Por lo tanto,

MyClass; 

no es una declaración válida, mientras que:

class MyClass; 

o:

struct MyClass; 

son.

Idem para, correspondientemente:

friend class MyClass; 

o

friend struct MyClass;