0

这是我的班级声明：

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.

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

4

2 回答 2

2

这有点棘手。如果您替换，您的代码将编译

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;
}

所以它试图同时访问and Base1 ， Derived但它只是 的朋友Derived，而不是 的朋友Base1。最后一句很重要，将其更改为具有两个模板参数的友元函数可以解决此问题。

于 2013-04-18T00:26:06.553 回答
1

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

template< class u, class v> friend sptr<u> static_pointer_cast(const sptr<v> &sp);
于 2013-04-18T00:33:30.287 回答