Por que estou ficando externos não resolvidos?

Question

Estou escrevendo uma árvore de pesquisa binária imutável em C ++. Meus nós de término são representados por um nó vazio Singleton. Meu compilador (Visual C ++) parece estar tendo problemas para resolver o membro estático protegido que mantém meu singleton. Estou tendo o erro a seguir:

Erro lnk2001: símbolo externo não resolvido "Protectado: classe estática boost :: shared_ptr> node :: m_empty" (? m_empty@? $ node@hh @@ 1v? $ shared_ptr@v? $ node@hh @@ @@ @@ A a )

Estou assumindo que isso significa que não pode resolver o membro estático m_empty para o nó de tipo. Isso está correto? Se sim, como faço para consertar isso?

Código segue:

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;
    }
};

A raiz da minha árvore é inicializada como:

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

Answer 1

m_empty é estático e, portanto, você precisará ter um arquivo de origem (.cpp) com algo como o seguinte:

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

Nota: Minha resposta original estava incorreta e não levou em consideração que esse era um modelo. Esta é a resposta que Andreyt deu em sua resposta; Atualizei esta resposta com a resposta correta, porque essa é a resposta aceita e aparece na parte superior da página. Por favor, vote a resposta de Andreyt, não esta.

Answer 2

Como outros disseram, você precisa fornecer um ponto de definição para o seu membro estático. No entanto, como é membro de um modelo, a sintaxe será um pouco mais complexa do que o que foi sugerido antes. Se não estou faltando nada, deve parecer o seguinte

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

Você também pode fornecer um inicializador (ou inicializadores) nesta declaração, se necessário.

Answer 3

Você precisa inicializar a variável m_empty no seu arquivo .cpp.