类属类定义

最新推荐文章于 2021-07-22 22:38:13 发布

原创最新推荐文章于 2021-07-22 22:38:13 发布 · 2.4k 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#instantiation #c++ #class #语言

本文介绍了C++中的类属类概念，包括其定义、实例化过程以及如何通过实例化形成具体的类类型。文中还解释了无约束类属类与受约束类属类的区别，并指出C++模板机制主要用于实现无约束类属类。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

由C++语言的模板定义的类称为类属类（generic class），或参数化类（parameterized class）。类属类仅描述了适用于一组类型的通用样板，由于其中所处理对象的数据类型尚未确定，因而程序员不可用类属类直接创建对象实例，即一个类属类并不是一种真正的类类型。
类属类必须经过实例化（instantiation）后才能成为可创建对象实例的类类型。类属类的实例化是指用某一数据类型替代类属类的类型参数。类属类定义中给出的类型参数称为形式类属参数，类属类实例化时给出的类型参数称为实际类属参数。如果类属类实例化的实际类属参数可以是任何类型，那么这种类属类称为无约束类属类。然而在某些情况下，类属类可能要求实际类属参数必须具有某些特殊的性质，以使得在类属类中可应用某些特殊操作，这种类属类称为受约束类属类。在C++语言中，使用模板机制实现的类属类是无约束类属类，模板机制无法支持受约束类属类。