Почему я получаю нерешенные внешние проблемы?

Question

Я пишу неизменное двоичное дерево поиска на С ++. Мои конечные узлы представлены одиночным пустым узлом. Мой компилятор (Visual C ++), похоже, испытывает проблемы с разрешением защищенного статического члена, который содержит мой синглтон. Я получаю следующую ошибку:

ошибка LNK2001: неразрешенный внешний символ "защищен: повышение статического класса :: shared_ptr> node :: m_empty" (? M_empty @? $ Node @ HH @@ 1V? $ Shared_ptr @ V? $ Node @ HH @@@ boost @@ A)

Я предполагаю, что это означает, что он не может разрешить статический член m_empty для узла типа. Это правильно? Если да, то как мне это исправить?

Код следует:

using namespace boost;
template<typename K, typename V>
class node {
protected:
    class empty_node : public node<K,V> {
    public:
        bool is_empty(){ return true; }
        const shared_ptr<K> key() { throw cant_access_key; }
        const shared_ptr<V> value()  { throw cant_access_value; }
        const shared_ptr<node<K,V>> left()  { throw cant_access_child; }
        const shared_ptr<node<K,V>> right()  { throw cant_access_child; }
        const shared_ptr<node<K,V>> add(const shared_ptr<K> &key, const shared_ptr<V> &value){
            return shared_ptr<node<K,V>>();
        }
        const shared_ptr<node<K,V>> remove(const shared_ptr<K> &key) { throw cant_remove; }
        const shared_ptr<node<K,V>> search(const shared_ptr<K> &key) { return shared_ptr<node<K,V>>(this); }
    };

    static shared_ptr<node<K,V>> m_empty;
public:
    virtual bool is_empty() = 0;
    virtual const shared_ptr<K> key() = 0;
    virtual const shared_ptr<V> value() = 0;
    virtual const shared_ptr<node<K,V>> left() = 0;
    virtual const shared_ptr<node<K,V>> right() = 0;
    virtual const shared_ptr<node<K,V>> add(const shared_ptr<K> &key, const shared_ptr<V> &value) = 0;
    virtual const shared_ptr<node<K,V>> remove(const shared_ptr<K> &key) = 0;
    virtual const shared_ptr<node<K,V>> search(const shared_ptr<K> &key) = 0;


    static shared_ptr<node<K,V>> empty() {
        if(m_empty.get() == NULL){
            m_empty.reset(new empty_node());
        }
        return m_empty;
    }
};

корень моего дерева инициализируется как:

shared_ptr<node<int,int>> root = node<int,int>::empty();

Answer 1

Как уже говорили другие, вам нужно указать точку определения для вашего статического члена. Однако, поскольку он является членом шаблона, синтаксис будет немного сложнее, чем предлагалось ранее. Если я ничего не пропускаю, это должно выглядеть следующим образом

template<typename K, typename V> shared_ptr<node<K,V> > node<K,V>::m_empty;

При необходимости вы также можете указать инициализатор (или инициализаторы) в этом объявлении.

Answer 2

m_empty является статическим, поэтому вам потребуется файл с исходным кодом (.cpp), например:

template <typename K, typename V> shared_ptr<node<K,V> > node<K,V>::m_empty;

Примечание: мой первоначальный ответ был неверным и не учитывал, что это был шаблон. Это ответ, который АндрейT дал в своем ответе; Я обновил этот ответ с правильным ответом, потому что это принятый ответ и отображается в верхней части страницы. Пожалуйста, подтвердите ответ AndreyT, а не этот.

Answer 3

Вам нужно инициализировать переменную m_empty в вашем файле .cpp.