为什么"int/boolean/..."是没有"behavior"的主要类型,其中类型"behavior specification"



来自本文: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有:

  1. 基本类型:与基本值对应的类型,包括int、short、long、byte, char, float, double和boolean。
  2. null type: null值的类型

但"原始类型"是没有行为的值,null也是值。

为什么它们是"类型"?它们是否引用了相同的概念"类型"?


关于"行为",在我目前的理解中,它是变量或实体为我们提供的调用(似乎我在谈论对象)。但是由于类型不仅仅适用于与"对象"相关的语言,所以我现在真的不确定什么是"行为"。

也许真正的问题应该是:在"类型"的定义中,"行为"是什么意思?

基本类型和Null类型是"类型",因为JLS这样指定它们。JLS没有提供"类型"的正式定义,除了有三种类型:ReferenceType, PrimitiveType和null类型[JLS 4.1]。

链接的第二篇论文很可能重用了JLS中定义的术语。

最新更新