覆盖虚函数返回类型不同并且在数据结构中不是协变的

Question

当我尝试编译时，出现一个奇怪的错误：“覆盖的虚函数返回类型不同并且不是协变的”，我认为问题出在 Node.js 上。我认为这BTree<T>::Node与BSTree<T>::Node.

基类：

#ifndef BINARY_TREE_H
#define BINARY_TREE_H

template < typename T >
class BTree {
protected:
    struct Node {
        T key;
        Node* left;
        Node* right;

        Node() {}
        Node(
            const T& key,
            Node* left = nullptr,
            Node* right = nullptr)
            : left(left), right(right), key(key) {}
    };
public:
    BTree();
    virtual ~BTree();
    virtual Node* search(const T& key);


private:
    Node* search(const T& key, Node* root);

private:
    Node* root;
};

template < typename T >
typename BTree<T>::Node* BTree<T>::search(const T& key, BTree<T>::Node* root) {

    //some code
}

template < typename T >
typename BTree<T>::Node* BTree<T>::search(const T& key) {
    return search(key, root);
}

#endif // BINARY_TREE_H

派生类：

#ifndef BINARY_SEARCH_TREE_H
#define BINARY_SEARCH_TREE_H

#include "binary_tree.h"

template < typename T >
class BSTree : public BTree<T> {
protected:
    struct Node {
        T key;
        Node* left;
        Node* right;

        Node() {}
        Node(
            const T& key,
            Node* left = nullptr,
            Node* right = nullptr)
            : left(left), right(right), key(key) {}
    };
public:
    BSTree();
    ~BSTree() override;  
    Node* search(const T& key) override;

private:
    Node* search(const T& key, Node* root);

private:
    Node* root;
};

template < typename T >
typename BSTree<T>::Node* BSTree<T>::search(const T& key, BSTree<T>::Node* root) {
    //some code
}

template < typename T >
typename BSTree<T>::Node* BSTree<T>::search(const T& key) {
    return search(key, root);
}

#endif // BINARY_SEARCH_TREE_H

Answer 1

虽然BSTree<T>是派生自BTree<T>，BSTree<T>::Node和之间没有关系BTree<T>::Node。因此，指向后者的指针不能转换为指向前者的指针。BTree<T>::search返回一个指向BTree<T>::Node. 因此，派生类中对该函数的任何覆盖都必须返回一个可转换为的指针BTree<T>::Node*。

如前所述，BSTree<T>::Node*事实并非如此。

真的，BSTree<T>::Node如果它做同样的事情，为什么会存在BTree<T>::Node？