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

Question

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

ошибка LNK2001:неразрешенный внешний символ «защищено:статический класс boost::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

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

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

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

Answer 2

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

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

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

Answer 3

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