来自本文:http://www-public.int-evry.fr/~gibson/Teaching/CSC7322/ReadingMaterial/Wegner87.pdf
定义了type
:
type:类型是一种行为规范,可用于生成具有该行为的实例。
但是我在这个文档中发现:http://www.ccs.neu.edu/home/riccardo/courses/csu370-fa07/lect4.pdf
它说Java有:
- 基本类型:与基本值对应的类型,包括int、short、long、byte, char, float, double和boolean。
- null type: null值的类型
但"原始类型"是没有行为的值,null
也是值。
为什么它们是"类型"?它们是否引用了相同的概念"类型"?
关于"行为",在我目前的理解中,它是变量或实体为我们提供的调用(似乎我在谈论对象)。但是由于类型不仅仅适用于与"对象"相关的语言,所以我现在真的不确定什么是"行为"。
也许真正的问题应该是:在"类型"的定义中,"行为"是什么意思?基本类型和Null类型是"类型",因为JLS这样指定它们。JLS没有提供"类型"的正式定义,除了有三种类型:ReferenceType
, PrimitiveType
和null类型[JLS 4.1]。
链接的第二篇论文很可能重用了JLS中定义的术语。