指针的部分特化，c++

Question

如何对 GList 类进行部分特化，以便可以存储 I （即 I*） 的指针？

template <class I>
struct TIList
{
    typedef std::vector <I> Type;
};


template <class I>
class GList
{
      private:
            typename TIList <I>::Type objects;
};

Answer 1

您无需专门化即可实现这一点。它已经可以存储指针了。

GList<int*> ints;

无论如何，如果您想将 GList 专门用于指针，请使用以下语法。

template <class I>
class GList<I*>
{
    ...
};

然后就像在任何普通模板中一样使用 I 。在上面的 GList 示例中，将使用指针专门化，并且 I 将是 int。

Answer 2

上一篇文章指出，您不需要专门研究指针类型，但您可以。

请考虑以下事项：

struct Bar {
    void bar(void) { /* do work */ }
};

template <class T> struct Foo {
    T t;

    void foo(void)
    {
        t.bar(); // If T is a pointer, we should have used operator -> right?
    }
};

int main(int argc, char * argv[])
{
    Foo<Bar *> t;

    t.foo();
}

这不会编译。因为在 Foo::foo 中我们有一个指针，但我们将它用作变量。

如果添加以下内容，它将使用专业化并正常编译：

// This is a pointer to T specialization!
template <class T> class Foo<T *> {
    T * t;
public:
    void foo(void)
    {
        t->bar();
    }
};