朋友类不能访问私人数据

Question

这里是我的类声明：

template <class T> 
class Sptr { 
    template<typename U> friend class Sptr; 

    template <typename T1, typename T2> 
    friend bool operator==(const Sptr<T1> &a, const Sptr<T2> &b); 

    template <typename U> 
    friend Sptr<T> static_pointer_cast(const Sptr<U> &sp); 

private: 

    RC* ref; //reference counter 
    T* obj;//pointer to current obj 
    std::function<void()> destroyData; 

    bool ok_; 

public: 

    Sptr(); 
    ~Sptr(); 

    template <typename U> 
    Sptr(U *); 

    Sptr(const Sptr &); 

    template <typename U> 
    Sptr(const Sptr<U> &); 

    template <typename U> 
    Sptr<T> &operator=(const Sptr<U> &); 

    Sptr<T> &operator=(const Sptr<T> &); 

    void reset(); 

    T* operator->() const 
    {return obj;}; 

    T& operator*() const 
    {return *obj;}; 

    T* get() const 
    {return obj;}; 

    explicit operator bool() const { 
      return ok_; 
    } 

}; 

下面是代码多数民众赞成在抱怨接入问题

template <typename T, typename U> 
Sptr<T> static_pointer_cast(const Sptr<U> &sp) { 
    //do something 
    Sptr<U> answer; 

    answer.obj = sp.obj; 
    answer.ref = sp.ref; 
    answer.destroyData = sp.destroyData; 
    answer.ok_ = sp.ok_; 

    return answer; 
} 

，当我编译下面的代码：

Sptr<Derived> sp(new Derived); 
    Sptr<Base1> sp2(sp); 

    // Sptr<Derived> sp3(sp2); // Should give a syntax error. 
    Sptr<Derived> sp3(static_pointer_cast<Derived>(sp2)); 
    // Sptr<Derived> sp4(dynamic_pointer_cast<Derived>(sp2)); // Should give syntax error about polymorphism. 

我已经使它成为朋友功能。为什么无法访问变量以及如何纠正？

Answer 1

这有点棘手。如果你有

template <typename T1, typename T2> 
friend Sptr<T1> static_pointer_cast(const Sptr<T2> &sp); 

原因是以下取代

template <typename U> 
friend Sptr<T> static_pointer_cast(const Sptr<U> &sp); 

你的代码编译（我不是100％肯定，所以请人批准/ DIS-批准）：

当Sptr<T>被实例化，例如与T = Derived，得到的类定义（Sptr<Derived>）定义具有下列签名朋友功能：

template <typename U> 
friend Sptr<Derived> static_pointer_cast(const Sptr<U> &sp); 

因此，这是其中仅具有一个模板参数的函数。但是你定义的函数有两个模板参数。

你呼叫这个模板函数是一个特例，它看起来像这样：

Sptr<Derived> static_pointer_cast(const Sptr<Base1> &sp) { 
    //do something 
    Sptr<Derived> answer; 

    answer.obj = sp.obj; 
    answer.ref = sp.ref; 
    answer.destroyData = sp.destroyData; 
    answer.ok_ = sp.ok_; 

    return answer; 
} 

所以它试图访问都Base1和Derived，但它只是一个Derived一个朋友，而不是Base1。这最后一句话是重要的，并将其改为两个模板参数解决了这个问题。

Answer 2

你说的朋友sptr<t>，这意味着它只能访问sptrs的私有成员为同一类型。因为sp2不是sptr（t是派生的），它不是朋友。尝试：

template< class u, class v> friend sptr<u> static_pointer_cast(const sptr<v> &sp);