我正在尝试Micheal T. Goodrich等人在“ C ++中的数据结构和算法”中测试SinglyLinked List示例。我添加了作者省略的一些细节以使其可运行。
这是代码:
#ifndef S_LINKED_LIST
#define S_LINKED_LIST
template <typename E>
class SLinkedList;
template <typename E>
class SNode
{
private:
E elem;
SNode<E> * next;
friend class SLinkedList<E>;
};
template <typename E>
class SLinkedList
{
private:
SNode<E> * head;
public:
SLinkedList();
~SLinkedList();
bool empty() const;
const E& front() const;
void addFront(const E& e);
void removeFront();
};
#endif /*SLinkedList.h*/
实现方式:
#include "SLinkedList.h"
#include <iostream>
template <typename E>
SLinkedList<E>::SLinkedList():head(NULL){}
template <typename E>
SLinkedList<E>::~SLinkedList()
{while(!empty()) removeFront();}
template <typename E>
bool SLinkedList<E>::empty() const
{return head == NULL;}
template <typename E>
const E& SLinkedList<E>::front() const
{return head->elem;}
template <typename E>
void SLinkedList<E>::addFront(const E& e)
{
SNode<E> * newNode = new SNode<E>;
newNode->elem = e;
newNode->next = head;
head = newNode;
}
template <typename E>
void SLinkedList<E>::removeFront()
{
SNode<E> * old = head;
head = old->next;
delete old;
}/*SLinkedList.cpp*/
测试文件:
#include <iostream>
#include "SLinkedList.h"
int main()
{
SLinkedList<std::string> newlist;
newlist.addFront("MSP");
std::cout << newlist.front();
return 0;
}/*test_slinkedlist.cpp*/
运行
g++ -c SLinkedList.cpp
和g++ -c test_slinkedlist.cpp
之后我得到目标文件
SLinkedList.o
和test_slinkedlist.o
没有错误。但是当我运行g ++ -o结果test_slinkedlist.o SLinkedList.o时,出现链接器错误:
Undefined symbols for architecture x86_64:
...
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
我花了一天的时间调试此链接器问题,但找不到。我怀疑这很明显。
操作系统:OS X
完整的错误消息:
Undefined symbols for architecture x86_64:
"SLinkedList<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >::addFront(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > const&)", referenced from:
_main in test_slinkedlist.o
"SLinkedList<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >::SLinkedList()", referenced from:
_main in test_slinkedlist.o
"SLinkedList<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >::~SLinkedList()", referenced from:
_main in test_slinkedlist.o
"SLinkedList<std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> > >::front() const", referenced from:
_main in test_slinkedlist.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
最佳答案
实现方式:
您没有说出来,但是我们可以假设实现在SLinkedList.cpp
中。
Undefined symbols for architecture x86_64:
...
在...
中,您省略了错误消息中最重要的部分。但是,我们可以猜测SLinkedList<std::string>::addFront(...)
是未解析的符号之一。
您的问题是模板方法(即实现)的主体必须存在于使用该模板的每个编译单元中,并且您将该模板放入单独的.cpp
文件中,从而违反了该规则在编译test_slinkedlist.cpp
时对编译器可见。
这就是为什么模板主体最常包含在SLinkedList.h
中的原因(请注意.h
,而不是.cpp
)。另请参见this answer。
附言从技术上讲,上面的“必须”是不正确的:您还可以使用显式实例化来使编译器生成所需的模板方法主体。但这是比将实现放入.h
文件更高级的解决方案。