我正在阅读通用类主题。我卡在了一点。下面是一段代码
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 的嵌套类或其他类?
最佳答案
它不是在创建第二个类,而是在创建 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 .
关于c++ - C++ 中的泛型类,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18924432/