模板类/结构组合的好方法

Question

模板化类的最有效方法是调用模板化结构。这是模板的经典有序列表问题。到目前为止，我的整个有序列表都有效（当我只是手动更改类型时）。但是，我不确定如何模板化这对对象（结构和类）。

所以基本上，这是我的代码的结构：

struct Node {
    int* data;
    Node* next;
};

class OList {
    private:
        Node* start;
        int size;
    public:
        a bunch of manipulation functions
};

所以，我的愿望是简单地将结构模板化，然后接受将模板传递给 Node 结构类型的参数。但是，我的第一次尝试是：

template<class T> 

在 Node 结构之前并将所有 ints* 更改为 T* 失败了。根据任何人的经验，什么可能是更好的方法？任何人都可以指出我正确的方向或给我一些模板基础知识的好参考吗？我只能找到一些具体的问题，这并不能让我很好地了解模板的工作原理。

更新：我的代码在这一点上运行良好。我唯一不明白的是如何在函数中返回 Node 结构的指针。例如，在一个函数中，

template <class T>
List<T>::Node<T>* List<T>pos(int val); //trying to return a pointer to the node at a specified spot

我收到以下错误：“Non-templated 'Node' used as template。注意：使用 OList::template Node' 表示它是一个模板 (???) 错误：需要 'typename' 在 'OList ::Node'，因为'OList 是一个依赖范围“清除这些错误的最有效方法是什么？注释掉这一功能时，代码可以完美运行。

Answer 1

template <typename T>     // <----
struct Node {
    T* data;              // <----
    Node* next;
};

template <typename T>     // <----
class OList {
    private:
        Node<T>* start;   // <----
        int size;
    public:
        a bunch of manipulation functions
};

或者...

template <typename T>
class OList {
    private:
        typedef ::Node<T> Node;  // <---- just do it once
        Node* start;   

...或者按照 BWG 评论中的建议，直接在OList 中定义Node，因此所有<T> 方面都是隐式的...

template <typename T>
class OList {
    private:
        struct Node { T* data; int size; };  // <----
        Node* start;   

---

外联成员函数定义示例：

template <typename T>
class OList
{
    private:
        struct Node { T* data; };
        Node* f(Node*);
    public:
};

template <typename T>
typename OList<T>::Node* OList<T>::f(typename OList<T>::Node* p)   // see notes
{
    Node* p2 = p;    // can use Node as if inside class definition
    return p2;
}

注意丑陋的线条...

typename OList<T>::Node* OList<T>::f(typename OList<T>::Node* p)

' T')，并且我们需要不断提及Node 在QList 的范围内，以及要在其中找到它的QList 的特定实例化是基于模板参数T。都是有道理的，就是有点迂腐。

---

至于模板的一般工作方式，对于 Stack Overflow 上的答案来说，这可以说是“过于宽泛”，但 FWIW 可能是快速开始对此进行一些实际理解的最快方法（之后需要一些改进），是通过比较他们到宏。考虑：

#define NODE(T)      \
struct Node ## T {   \
    T* data;         \
    Node ## T* next; \
};

有了这个，你可以说NODE(int) 或NODE(float) 来为这些类型生成Node_int 和Node_float 结构。使用模板，您（通常）不需要单独定义每个特化 - 它在使用时隐式完成（“参数多态性”） - 所以只需开始将它们用于变量ala Node<int> my_node_for_ints。 p>

Answer 2

你的意思是这样的：

template <typename T>
struct Node {
    T data;
    Node* next;
};

template <typename T>
class OList {
    private:
        Node<T> start;
        int size;
    public:
};

?