在模板类中声明结构，未为成员函数定义

Declaring a struct in a template class, undefined for member functions

本文关键字：成员 函数 定义 结构 声明      更新时间：2023-10-16

我目前正在尝试使用列表类专用的节点结构在列表模板类中实现排序算法。我正在使用一些私有递归函数，它们返回指向节点类型的指针，这导致 g++ 给我一个声明错误。这是我拥有的示例 -

template<class T>
class SList
{
private:
    struct NODE
    {
        T* elem;
        NODE* next;
    } *_head, *_tail;
NODE* sort(NODE* node);
public:
    //other declarations...
}
template<class T>
NODE* SList<T>::sort(NODE* node) //Error: 'NODE' does not name a type
{
    //sorting algorithm
}

这是 c++ 的限制还是我错过了什么？

由于Node是一个内部类，你需要告诉编译器Node的定义来自哪里。

此外，Node的定义会根据SList的模板参数而变化（它是一个依赖类型）

因此，您必须明确地将Node称为：

template<class T>
typename SList<T>::NODE* SList<T>::sort(typename SList<T>::NODE* node) 
{
    //sorting algorithm
}
  • 请注意typename，因为 Node 是依赖类型（它取决于SList的类型）
  • 请注意SList<T>::Node，因为 Node 是依赖于 SList 的类型。

下面工作正常：

template<class T>
typename SList<T>::NODE* SList<T>::sort(typename SList<T>::NODE* node)
^^^^^^^^^^^^^^^^^^^                     ^^^^^^^^^^^^^^^^^^^

这是 c++ 的限制吗

没有。因为可以在SList<>范围之外有任何名为NODE的结构/类型;所以实际上它是一个C++为您提供的工具，您可以在不同的范围内拥有相同的名称类型。

"为什么我需要关键字typename"可以在这里找到。

您要引用的类型在 SList 中，因此您必须这样引用它：

template<class T>
typename SList<T>::NODE* SList<T>::sort(typename SList<T>::NODE* node);
相关文章：