对象类型的定义是一种语法描述，对象类型的具体实现是（）。