C ++中的專用朋友功能

Question

我有一個函數模板foo ，它必須根據template參數是實數還是復數來執行不同的計算。 無論如何，即使模板參數為std::complex<double> ，結果也將為實數，例如double 。 因此，我的函數如下所示：

template <class S>
struct RealType
{
  typedef S type;
};

template <class S>
struct RealType<std::complex<S> >
{
  typedef S type;
};

template <class S>
class C;

template <class S>
typename RealType<S>::type foo(C<S> &c);

template <class S>
typename RealType<std::complex<S> >::type foo(C<std::complex<S> > &c);

現在foo必須是C類的朋友函數，因此我做了以下聲明：

template <class S>
class C
{
  friend typename RealType<S>::type foo(C<S> &c);
  // ...
};

但是，當我實例化C<std::complex<double> > ，編譯器說foo無法訪問c的私有成員。 它對於C<double>可以正常工作。 有什么解決方案（適用於C ++ 98）嗎？ 我知道foo不能是C的成員，因為這將阻止部分專業化。

順便說一句：這真的是專業嗎？ 兩種版本的foo的簽名看起來相同，但實際上，插入實類型時它們有些不同。

Answer 1

確保class C聲明foo 經朋友foo已申報。

您可能需要為此使用前向聲明：

template <class S> class C;

// foo declarations here

template <class S> class C 
{ 
    template<class X> friend typename RealType<X>::type foo(C<X> &c); // friend the template
    friend typename RealType<S>::type foo<>(C &c); // friend the specialization
};