C++ 覆盖模板类的成员访问运算符并通过引用返回

Question

是否可以覆盖模板类中的 -> 运算符并通过引用返回一些东西？

我看到了这个帖子：Overloading member access operators ->, .*

还有一个覆盖 -> 并通过引用返回的示例，但我无法让它与模板一起使用。这是我想要实现的一个小例子：

#include <iostream>

using namespace std;

class A
{
public:
    void do_something()
    {
        cout << "Hey there";
    }
};

template<class T>
class Ref
{
public:
    Ref(T* ptr)
    {
        objPtr = ptr;
    }

    // this is another alternative, but I don't want to write Get() every time I want to access the object
    T& get() { return *objPtr; }

    template <class T>
    Ref<T>& operator->() const { return *objPtr; }

    // doesn't work either
    //T& operator->() const { return *objPtr; }

    // this works as expected, but I really MUST return by reference
    //T* operator->() const { return objPtr; } 

private:
    T* objPtr;
};

int main()
{
    A myObj;
    Ref<A> ref(&myObj);

    // error C2675: unary '->': 'Ref<A>' does not define this operator or a conversion to a type acceptable to the predefined operator
    ref->do_something(); 

    return 0;
}

如何做到这一点？

Answer 1

如果返回引用，则不能在需要指针的ref->do_something(); 中使用它。您必须使用这种繁琐的方法：

ref.operator->().do_something(); 

而是返回一个指针 - 并将其设为 T*（或 const T*），而不是 Ref<T>*。

例子：

#include <iostream>

class A {
public:
    void do_something() {
        std::cout << "Hey there\n";
    }
};

template<class T>
class Ref {
public:
    Ref(T& ptr) : objPtr(&ptr) {} // taking a T& but storing a pointer

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

private:
    T* objPtr;
};

int main() {
    A myObj;
    Ref<A> ref(myObj);

    ref->do_something(); 
}