引用类型
有三种引用(reference)类型:类类型、数组类型和接口类型。相对应的,它们的值是对动态创建的类实例、或实现接口的类实例或者数组的引用。
数组类型由具有单一维度的组件类型(component type)组成(其长度不是由类型给出的)。数组类型的组件类型本身可以是数组类型。如果,从任何数组类型开始,考虑其组件类型,然后是该类型(如果它也是一个数组类型)的组件类型,等等,最终必须到达组件类型不是数组类型;这个类型则叫做数组的元素类型(element type)。数组类型的元素类型必须是原子类型,或者类类型,或这接口类型。
引用值(reference value)也可以是特殊的空引用(null reference),这个引用没有对象(a reference to no object),这里用null
表示。空引用最初没有运行时类型,但可以转换为任何类型。reference
类型的默认值为null
。
此规范不强制要求将null
编码为一个特定的值。