如何讓方法訪問其他模板類實例的私有成員？

Question

這極小的例子將無法編譯，因爲A<int>不能A<double>

template <class T> 
class A { 
    int i; 
    public: 
    template <class U> 
    void copy_i_from(const A<U> & a){ 
     i = a.i; 
    } 
}; 

int main(void) { 
    A<int> ai; 
    A<double> ad; 
    ai.copy_i_from(ad); 
    return 0; 
} 

訪問私有成員i我知道，我可以讓對方（見：How to access private members of other template class instances?）的所有模板實例朋友，但因爲我只有一種方法需要訪問權限（如示例中所示），我寧願將友誼限制爲該方法。這可能嗎？

Answer 1

是的，這是可能的。會員功能通常可以指定爲朋友。

template <class T> 
class A { 
    int i; 
    public: 
    template <class U> 
    void copy_i_from(const A<U> & a){ 
     i = a.i; 
    } 
    template <class F> 
    template <class U> 
    friend void A<F>::copy_i_from(const A<U> & a); 
}; 

int main(void) { 
    A<int> ai; 
    A<double> ad; 
    ai.copy_i_from(ad); 
    return 0; 
} 

Live example (gcc one Ideone)

---

注意，與海灣合作委員會，clang rejects the code。儘管如此，我無法在標準中找到任何會使其失效的內容。

Answer 2

看來，如果你想有一個朋友的成員函數，下面將不clang工作：

template <class T> 
class A { 
    int i; 
    public: 
    template <class U> 
    void copy_i_from(const A<U> & a){ 
     i = a.i; 
    } 
    template <class F> 
    template <class U> friend void A<F>::copy_i_from(const A<U> & a); 
}; 

int main(void) { 
    A<int> ai; 
    A<double> ad; 
    ai.copy_i_from(ad); 
    return 0; 
} 

而it works on gcc。

這個問題似乎是一個clang的代表朋友類模板的問題，其中依賴名稱說明符無法在AST中解析：http://llvm.org/klaus/clang/commit/8b0fa5241a0416fc50dfbb7e38f20e777f191848/（在編寫本文時仍處於中繼狀態）。

因此，你可以去上面的成員函數版本，雖然它可能無法在clang上工作，直到這是想通了。

一個計劃-B的解決辦法是將它免費模板友元函數，雖然它可能不是你想要的（雙方cland和gcc接受）：

#include <iostream> 
using namespace std; 

template <class T> 
class A { 
    int i; 
public: 
    template<class V, class U> 
    friend void copy_i_from(A<V>& t, const A<U> & a); 
}; 

template<class V, class U> 
void copy_i_from(A<V>& t, const A<U> & a){ 
    t.i = a.i; 
} 

int main(void) { 
    A<int> ai; 
    A<double> ad; 
    copy_i_from(ai,ad); 
    return 0; 
} 

Example