c++ - C++ 中的泛型类

Question

我正在阅读通用类主题。我卡在了一点。下面是一段代码

template <class StackType> class stack
{
    StackType stck[10];
    int tos;
public:
    stack() {tos=0;}
    void push(StackType ob);
    StackType pop();
};

我的问题是在template <class StackType> class stack ,有两个类(StackType 和 stack)？

我的意思是编译器如何将其视为使堆栈成为 StackType 的嵌套类或其他类？

Answer 1

它不是在创建第二个类，而是在创建 Stack 类型的一个类，其中 StackType 被用户给定的类型所取代。定义它的更好方法是使用 typename (§14.1.2)，这使得实际发生的事情更清楚。有关模板的更多信息，请参阅 C++ Templates .

您所描述的是模板中的嵌套类:

template <typename Type>
class Stack
{
public:
    class InnerType
    {
    };
};

在此示例中，InnerType 是一个强名称为 Stack<Type>::InnerType 的类，这是基于提供的类型的特定类。因此，如果在代码的某处创建了一个对象，如下所示:

auto x = new Stack<int>();

然后是类型 Stack<int>::InnerType 的类将存在。模板类仅在代码中使用时才存在于程序集中，因此如果没有 Stack 的任何变体的对象已实现，InnerType (任何模板类型)将不存在。

关于声明模板的更多详细信息是 discussed here on SO .