函数返回 <error-type> 而不是指向 C++ 中模板类的预期原始指针

Question

我在模板类中使用 first_ 变量时遇到问题（如下所示）。

template<typename T> class enable_movable_ptr {
public:
    //default constructor
    enable_movable_ptr() : ptr_(nullptr) {};
    enable_movable_ptr(T* p) : ptr_(p) {};

    //...
    //other constructors and operators
    //...

    T* get() {return ptr_; };
    movable_ptr<T>* First() { return first_; };
private:
    T* ptr_;
    movable_ptr<T>* first_ = nullptr;
};

template<typename T> class movable_ptr {
public:
    //Parameterless constructor
    movable_ptr() : trg_(nullptr) {};

    //Constructor from T*
    movable_ptr(T* p) : trg_(p) { add_to_tracked(this); };

    //...
    //other constructors and operators
    //...

    //access to variables
    enable_movable_ptr<T>* get() {return trg_; };
    movable_ptr<T>* Next(enable_movable_ptr<T>& p) {return next_; };
    movable_ptr<T>* Previous(enable_movable_ptr<T>& p) {return prev_; };

    //get_movable
    movable_ptr<T>* get_movable(enable_movable_ptr<T>& p) {};
private:
    enable_movable_ptr<T>* trg_;
    movable_ptr<T>* next_ = nullptr;
    movable_ptr<T>* prev_ = nullptr;
};

template<typename T> movable_ptr<T> get_movable(enable_movable_ptr<T>& p){
    if (p.First() != nullptr)
    {}
};

问题是，返回的first_ 属于<error-type> 类型（如果我将鼠标悬停在代码中的任何first_ 或First() 上，它就会显示，除了VS2019 中的声明），而不是预期的movable_ptr<T>*。但是，如果我将鼠标悬停在 first_ 的声明上，它会显示正确的 movable_ptr<T>* 类型。

在我看来，编译器似乎拥有金鱼的记忆力，即使仍在同一个类定义中，也会忘记类型是什么。很可能不是这种情况，我怀疑是我做错了什么导致了这种情况。

关于我哪里出错或如何解决问题的任何想法？

Answer 1

在定义enable_movable_ptr之前，只需转发声明movable_ptr。

template<typename T> class movable_ptr;

否则，编译器甚至不知道movable_ptr 是一个可能存在的东西。

此外，最好不要依赖外部工具（例如您的 IDE）来告诉您代码有什么问题。让编译器这样做；它很可能对您的代码了解更多。

这就是问题的真正来源（我已经删除了所有与您的特定问题无关的代码）

// you need to forward declare
template <typename T> struct movable_ptr;

template <typename T> struct enable_movable_ptr {
  movable_ptr<T>* first_ = nullptr;  // else compiler won't know what movable_ptr is
};

template <typename T> struct movable_ptr {  
  enable_movable_ptr<T>* trg_;
};

这是mcve的链接。