类是一组具有相同数据结构和相同操作的对象的集合，是对对象的抽象定义，类与对象是抽象描述与具体实例的关系，一个具体的对象被称为类的一个实例。

类属类描述了适用于一组类型的通用样板，由于所处理对象的数据类型尚未确定，因此不可用类属类直接创建对象实例，即一个类属类并不是一种真正的类类型，类属类的实例化是指用某一数据类型替代类属类的类型参数。类属类定义中给出的类型参数称为形式类属参数，类属类实例化时给出的类型参数为实际类属参数。如果类属类实例化的实际类属参数可以是任何类型，这种类属类称为无约束类属类，如果要求实际类属参数必须具有某些特殊的性质，称为约束类属类。