c++ - 未定义对模板常量和函数的引用

Question

函数头:(Templated Outer Class Map has inner class Iterator)

Iterator insert(const std::pair<const T1, T2>&);

函数实现:

template<typename T1, typename T2>
typename Map<T1,T2>::Iterator insert(const std::pair<const T1, T2> &p)

调用插入函数的代码:

std::pair<int,char>p = std::make_pair(5, 'z');
mymap3.insert(p);

用g++ -g -std=c++11编译，错误:

 In function `main':
testmap.cpp:535: undefined reference to 
Map<int, char>::insert(std::pair<int const, char> const&)'
collect2: error: ld returned 1 exit status

为什么编译器假设插入的定义现在是 (pair const &) 而不是我的 (const pair &) 有区别吗？我这样称呼不恰当吗？我很困惑。是的，这是为了类，我们正在重新实现 map 。所以函数定义是给定的，我只需要找出如何调用它并使其工作。

Answer 1

这个函数:

template<typename T1, typename T2>
typename Map<T1,T2>::Iterator insert(const std::pair<const T1, T2> &p)

在 Map 的类定义之外声明时, 不是成员函数 - 它定义了全局 insert .

这是Map<T1, T2>的成员在命名空间范围内声明(即在类定义之外):

template<typename T1, typename T2>
typename Map<T1,T2>::Iterator Map<T1,T2>::insert(const std::pair<const T1, T2> &p)

请注意，成员函数名已由类名限定，在本例中为Map<T1, T2>。 .

在相关说明中，使用尾随返回类型可以让您摆脱返回类型中的一些麻烦，因为尾随返回类型中的名称在类的范围内解析:

template<typename T1, typename T2>
auto Map<T1, T2>::insert(const std::pair<const T1, T2> &p) -> Iterator;