Другом класса называется функция, которая не является членом класса,но в которой можно использовать частные и защищенные члены этогокласса. Имя друга не принадлежит области видимости класса, идружественная функция не вызывается с помощью операций доступа кчленам ($$R.5.2.4), если только она не является членом другогокласса. Следующий пример показывает различие между членами идрузьями: class X { int a; friend void friend_set(X*, int); public: void member_set(int); }; void friend_set(X* p, int i) { p->a = i; } void X::member_set(int i) { a = i; } void f() { X obj; friend_set(&obj,10); obj.member_set(10); } Если в описании friend использовано имя перегруженной функцииили операции, только функция, однозначно определяемая типамиформальных параметров, становится другом. Функция-член класса Xможет быть другом класса Y, например: class Y { friend char* X::foo(int); //... }; Можно объявить все функции класса X друзьями класса Y с помощьюспецификации-сложного-типа ($$R.9.1): class Y { friend class X; //... }; Описание одного класса как друг другого класса дополнительноподразумевает, что частные и защищенные члены класса, предлагающегодружбу, могут использоваться в классе, получающем ее, например: class X { enum { a=100 }; friend class Y; }; class Y { int v[X::a]; // Y друг класса X }; class Z { int v[X::a]; // ошибка: X::a недоступно }; Если класс или функция, объявленные как друзья, не были описаны,их имена попадают в ту же область видимости, что и имя класса,содержащего описание friend ($$R.9.1). Функция, появившаяся первый раз в описании friend, считаетсяэквивалентной функции, описанной как extern ($$R.3.3, $$r.7.1.1). Если функция-друг определена в описании класса, она считаетсяфункцией со спецификацией inline и к ней применимо правилопереноса определения функции для функций-членов ($$R.9.3.2).Функция-друг, определенная в описании класса, относится налексическом уровне к области видимости этого класса. Дляфункции-друга, определенной вне класса, это не так. На описание friend не влияет указание спецификаций-доступа($$R.9.2).Понятие дружбы не является ни наследуемым, ни транзитивным.Подтвердим это примером: class A { friend class B; int a; }; class B { friend class C; }; class C { void f(A* p); { p->a++; // ошибка: C не друг класса A, хотя // является другом друга класса A } }; class D: public B { void f(A* p) { p->a++; // ошибка: D не друг класса A, хотя // является производным друга класса A } };
