フレンド宣言

class F {};
int f();
int main()
{
    extern int g();
    class Local { // main() 関数内のローカルクラス。
        friend int f(); // エラー、 main() 内にそのような関数は宣言されていません。
        friend int g(); // OK、 main() 内に g の宣言があります。
        friend class F; // ローカルな F (後で定義されます) をフレンドにします。
        friend class ::F; // グローバルな F をフレンドにします。
    };
    class F {}; // ローカルな F。
}

class A {
    template<typename T>
    friend class B; // すべての B<T> が A のフレンドです。
 
    template<typename T>
    friend void f(T) {} // すべての f<T> が A のフレンドです。
};

template<class T> class A {}; // プライマリテンプレート。
template<class T> class A<T*> {}; // 部分特殊化。
template<> class A<int> {}; // 完全特殊化。
class X {
    template<class T> friend class A<T*>; // エラー。
    friend class A<int>; // OK。
};

template<class T> void f(int);
template<> void f<int>(int);
 
class X {
    friend void f<int>(int x = 1); // エラー、デフォルト引数は許されません。
};

// プライマリテンプレート。
template<class T>
struct A { 
  struct B { };
  void f();
  struct D { void g(); };
  T h();
  template<T U> T i();
};
// 完全特殊化。
template<>
struct A<int> {
  struct B { };
  int f();
  struct D { void g(); };
  template<int U> int i();
};
// 別の完全特殊化。
template<>
struct A<float*> {
    int *h();
};
// クラステンプレート A のメンバにフレンドを許可する非テンプレートクラス。
class X {
  template<class T>
  friend struct A<T>::B; // すべての A<T>::B (A<int>::B を含む) がフレンドです。 
 
  template<class T>
  friend void A<T>::f();  // A<int>::f() はシグネチャが一致しないためフレンドではありません
                          // が、例えば A<char>::f() はフレンドです。
 
//  template<class T>
//  friend void A<T>::D::g(); // ill-formed、 nested-name-specifier の最後の部分
//                            // (A<T>::D:: の D) が simple-template-id ではありません。
 
  template<class T>
  friend int* A<T*>::h();  // すべての A<T*>::h (A<float*>::h()、 A<int*>::h()など) がフレンドです。
 
  template<class T> 
  template<T U>       // A<T>::i() のすべての実体化と A<int>::i() がフレンドであり、
  friend T A<T>::i(); // そのためそれらの関数テンプレートのすべての特殊化がフレンドです。
};