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 U>
friend Sptr<T> static_pointer_cast(const Sptr<U> &sp);

与

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

原因如下（我不是100％肯定，所以请有人批准/不赞成）：

实例化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的朋友{1}}。最后一句是重要的，用两个模板参数将其更改为朋友函数可以解决这个问题。

Answer 2

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

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

朋友类无法访问私人数据

2 个答案: