フレンド宣言のスコープがわかりません。

質問

フレンド宣言のスコープがわかりません。

#include <iostream>
class X {
friend class Y;
friend void f()
{ std::cout << "f()" << std::endl; }
};
//class Y;
//void f();
class Z {
Y *ymem;
void g() { ::f(); }
};

int main()
{
::f();
return 0;
}

C++プライマー第4版を読んでいます。511ページに上記のプログラムがあり、
「フレンドで導入されたクラスと関数（定義または宣言）は、すでに宣言されたものとして使うことができる。」
と説明されています。
しかし、g++(gcc4.4.1)でコンパイルするとエラーになります。コメント部分を外すと実行できます。
C++プライマーが正しいのか、gccが正しいのか、私が思い違いをしているのか、わかりません。
ご存知の方はいませんか。

回答No.1

magicalpass · ベストアンサー

どう見たってgccの方が正しいに決まってます。

> friend class Y;

これはclass Y をclass Xのフレンドだと宣言してるだけで、class Yの実体はありません。

> friend void f()
> { std::cout << "f()" << std::endl; }
> };

これは確かにフレンド関数f()の実体がここにあるように見えますが、これは単なる関数の処理部の記述をここでしているだけであって、外部から見たf()の宣言がここにあるわけではありません。

そもそもフレンド宣言は外部のclassなり関数からそのclass内メンバへのアクセスを許容する宣言なので、classなり関数の宣言は外部に無くては意味ありません。
class Zの中で使われてるYやf()も、main()の中で使われてるf()も、どちらもclass Xの中には直接アクセスできないのだから、外部に宣言がないとエラーになるのは自明です。

書籍とかに書かれてるコードは（著者にとって）自明な部分は省かれてることがままありますから、それをそのままコンパイルして通るという保証はありません。（ま、思い違いとかチェック漏れの場合もあるでしょういけど）

お礼

回答ありがとうございます。
gccが正しいとよくわかりました。
magicalpassさん、ありがとうございます。