JAVA语言规范 (2008 年度畅销榜NO.39911 )

本书由Java发明人亲自撰写，侧重于Java技术细节和内幕，提供了对整个语言及其语法的全面、准确、详尽的描述，使读者了解Java结构的精确含义。书中讲述了Java语言全部的语法和语义；描述了Java编译器所要检查的语法的各个方面，包括各种类型、语言和表达式的含义；还描述了Java运行模式的各个方面，包括异常、线程和二进制兼容性。\r\n 本书适用于从初学者到专业化程序员等各类读者。

丛书前言\r\n序\r\n\r\n第一章 引言\r\n\r\n1.1 程序例子\r\n1.2 参考文献\r\n\r\n第二章 语法\r\n\r\n2.1 上下文无关语法\r\n2.2 词法\r\n2.3 语法\r\n2.4 语法符号约定\r\n\r\n第三章 词法结构、\r\n\r\n3.1 Unicode\r\n3.2 词法变换\r\n3.3 Unicode转义序列\r\n3.4 行终结符\r\n3.5 输入元素和单词符号\r\n3.6 空格\r\n3.7 注释\r\n3.8 标识符\r\n3.9 关键字\r\n3.10 文字量\r\n3.10.1 整型文字量\r\n3.10.2 浮点文字量\r\n3.10.3 布尔文字量\r\n3.10.4 字符文字量\r\n3.10.5 字符串文字量\r\n3.10.6 字符和字符串文字量的转义序列\r\n3.10.7 NULL文字量\r\n3.11 分隔符\r\n3.12 运算符\r\n\r\n第四章 类型、值和变量\r\n\r\n4.1 类型和值的种类\r\n4.2 基本类型和值\r\n4.2.1 整数类型和值\r\n4.2.2 整数运算\r\n4.2.3 浮点类型和值\r\n4.2.4 浮点运算\r\n4.2.5 布尔类型和布尔值\r\n4.3 引用类型和值\r\n4.3.1 对象\r\n4.3.2 类Object\r\n4.3.3 类String\r\n4.3.4 何谓引用类型相同\r\n4.4 类型在何处使用\r\n4.5 变量\r\n4.5.1 基本类型变量\r\n4.5.2 引用类型变量\r\n4.5.3 变量分类\r\n4.5.4 变量的初始值\r\n4.5.5 变量具有类型、对象具有类\r\n\r\n第五章 转换和提升\r\n\r\n5.1 转换的种类\r\n5.1.1 恒等转换\r\n5.1.2 基本类型增宽转换\r\n5.1.3 基本类型收缩转换\r\n5.1.4 引用类型收缩转换\r\n5.1.5 引用类型收缩转换\r\n5.1.6 字符串转换\r\n5.1.7 禁止的转换\r\n5.2 赋值转换\r\n5.3 方法调用转换\r\n5.4 字符串转换\r\n5.5 强制转换\r\n5.6 数值提升\r\n5.6.1 单元数值提升\r\n5.6.2 二元数值提升\r\n\r\n第六章 名字\r\n\r\n6.1 声明\r\n6.2 名字和标识符\r\n6.3 简单名字的作用域\r\n6.3.1 名字隐藏\r\n6.4 成员和继承\r\n6.4.1 包的成员\r\n6.4.2 类类型的成员\r\n6.4.3 接口类型的成员\r\n6.4.4 数组类型的成员\r\n6.5 决定名字的意义\r\n6.5.1 根据上下文对名字进行句法分类\r\n6.5.2 上下文歧义名的再分类\r\n6.5.3 包名的意义\r\n6.5.3.1 简单包名\r\n6.5.3.2 类属修饰包名\r\n6.5.4 类型名的意义\r\n6.5.4.1 简单类型名\r\n6.5.4.2 类属修饰类型名\r\n6.5.5 表达式名的意义\r\n6.5.5.1 简单表达式名\r\n6.5.5.2 类属修饰表达式名\r\n6.5.6 方法名的意义\r\n6.5.6.1 简单方法名\r\n6.5.6.2 类属修饰方法名\r\n6.6 类属修饰名和存取控制\r\n6.6.1 决定可存取性\r\n6.6.2 protected存取细节\r\n6.6.3 存取控制例子\r\n6.6.4 例子“对public和非public类的存取\r\n6.6.5 例：域、方法和构造函数的缺省存取权限\r\n6.6.6 例：public域、方法和构造函数\r\n6.6.7 例：protected域、方法和构造函数\r\n6.6.8 例：private域、方法和构造函数\r\n6.7 完全类属修饰名\r\n6.8 命名约定\r\n6.8.1 包名\r\n6.8.2 类和接口类型的名字\r\n6.8.3 方法名\r\n6.8.4 域名\r\n6.8.5 常量名\r\n6.8.6 局部变量和参数名\r\n\r\n第七章 包\r\n\r\n7.1 包的成员\r\n7.2 主机系统对包的支持\r\n7.2.1 在文件系统中存储包\r\n7.2.2 在数据库中存储包\r\n7.3 编译单元\r\n7.4 包声明\r\n7.4.1 有名包\r\n7.4.2 无名包\r\n7.4.3 包名的作用域和包名隐藏\r\n7.4.4 对包的成员的存取\r\n7.5 移入声明\r\n7.5.1 单一类型移入声明\r\n7.5.2 按需类型移入\r\n7.5.3 自动移入\r\n7.5.4 一个奇特的例子\r\n7.6 类型声明\r\n7.7 无重复包名\r\n\r\n第八章 类\r\n\r\n8.1 类声明\r\n8.1.1 类类型名字的作用域\r\n8.1.2 类修饰符\r\n8.1.2.1 abstract类\r\n8.1.2.2 final（终结）类\r\n8.1.3 超类和子类\r\n8.1.4 超接口\r\n8.1.5 类体和成员声明\r\n8.2 类成员\r\n8.2.1 继承的例子\r\n8.2.1.1 例：缺省存取权限的继承\r\n8.2.1.2 public和protected成员的继承\r\n8.2.1.3 private成员的继承\r\n8.2.1.4 存取不可访问类的成员\r\n8.3 域声明\r\n8.3.1 域修饰符\r\n8.3.1.1 static域\r\n8.3.1.2 final域\r\n8.3.1.3 transient域\r\n8.3.1.4 volatile域\r\n8.3.2 域的初始化\r\n8.3.2.1 类变量初始化\r\n8.3.2.2 实例变量的初始化\r\n8.3.3 域声明例子\r\n8.3.3.1 例：类变量隐藏\r\n8.3.3.2 例；实例变量隐藏\r\n8.3.3.3 例：多个同名域的继承\r\n8.3.3.4 例：域的重继承\r\n8.4 方法声明\r\n8.4.1 形参\r\n8.4.2 方法的“识别标记”\r\n8.4.3 方法修饰符\r\n8.4.3.1 abstract方法\r\n8.4.3.2 static方法\r\n8.4.3.3 fimal方法\r\n8.4.3.4 native方法\r\n8.4.3.5 synchronized方法\r\n8.4.4 方法的抛出子句\r\n8.4.5 方法体\r\n8.4.6 继承、重构和隐藏\r\n8.4.6.1 重构（通过实例方法）\r\n8.4.6.2 隐藏（通过类方法）\r\n8.4.6.3 对重构和隐藏的要求\r\n8.4.6.4 继承多个具有相同“识别标记”的方法\r\n8.4.7 重载\r\n8.4.8 方法声明的例子\r\n8.4.8.1 例：重构\r\n8.4..8.2 例：重载、重构和隐藏\r\n8.4.8.3 例：不正确的重构\r\n8.4.8.4 例：重构和隐藏\r\n8.4.8.5 例：对被隐藏的类方法的调用\r\n8.4.8.6 大型的重构例子\r\n8.4.8.7 例：Throws引起的不正确的重构\r\n8.5 静态初始化\r\n8.6 构造函数声明\r\n8.6.1 形参\r\n8.6.2 构造函数的“识别标记”\r\n8.6.3 构造函数修饰符\r\n8.6.4 构造函数的抛出子句\r\n8.6.5 构造函数体\r\n8.6.6 构造函数重载\r\n8.6.7 缺省构造函数\r\n8.6.8 禁止类的实例化\r\n\r\n第九章 接口\r\n\r\n9.1 接口声明\r\n9.1.1 接口类型名字的作用域\r\n8.1.2 接口修饰符\r\n9.1.2.1 abstract接口\r\n9.1.3 超接口\r\n9.1.4 接口体和成员声明\r\n9.1.5 对接口成员名字的存取\r\n9.2 接口成员\r\n9.3 域（常量）声明\r\n9.3.1 接口中的域初始化\r\n9.3.2 域声明例\r\n9.3.2.1 继承产生的二义性域\r\n9.3.2.2 域的多无继承\r\n9.4 abstract方法声明\r\n9.4.1 继承和重构\r\n9.4.2 重载\r\n9.4.3 Abstract方法声明示例\r\n9.4.3.1 例：重构\r\n9.4.3.2 例：重载\r\n\r\n第十章 数组\r\n\r\n10.1 数组类型\r\n10.2 数组变量\r\n10.3 数组创建\r\n10.4 数组存取\r\n10.5 数组：一个简单例子\r\n10.6 数组初始化\r\n10.7 数组成员\r\n10.8 数组的class对象\r\n10.9 字符数组不是字符串\r\n10.10 数组存储异常\r\n\r\n第十一章 异常\r\n\r\n11.1 异常的起因\r\n11.2 异常的编译时刻检查\r\n11.2.1 为什么Errors不是“检查型”异常\r\n11.2.2 为什么运行时刻异常不是“检查型”异常\r\n11.3 对异常的处理\r\n11.3.1 异常是确定的\r\n11.3.2 处理异步异常\r\n11.4 异常例子\r\n11.5 异常层次结构\r\n11.5.1 类Exception和RuntimeException\r\n11.5.1.1 标准运行时刻异常\r\n11.5.1.2 标准“检查型”异常\r\n11.5.2 Error类\r\n11.5.2.1 装载和链接错误\r\n11.5.2.2 虚拟机错误\r\n\r\n第十二章 执行\r\n\r\n12.1 虚拟机启动\r\n12.1.1 加载类Test\r\n12.1.2 链接Test：验证、准备和（可选的）解析\r\n12.1.3 初始化Test“执行初始化过程\r\n12.1.4 调用Test.main\r\n12.2 类和接口的加载\r\n12.2.1 加载过程\r\n12.2.2 加载：对代码生成的建议\r\n12.3 类和接口的链接\r\n12.3.1 二进制表示的验证\r\n12.3.2 类或接口类型的准备\r\n12.3.3 符号引用解析\r\n12.3.4 链接：对代码生成的建议\r\n12.4 类和接口的初始化\r\n12.4.1 何时进行初始化\r\n12.4.2 初学者始化过程的细节\r\n12.4.3 初始化：对代码生成的建议\r\n12.5 新类实例的创建\r\n12.6 类实例的终止\r\n12.6.1 实现终止化\r\n12.6.2 finalizer调用是无序的\r\n12.7 类的初始化\r\n12.8 类和接口的卸载\r\n12.9 虚拟机退出\r\n\r\n第十三章 二进制代码兼容\r\n\r\n13.1 Java二进制代码的格式\r\n13.2 什么是二进制兼容\r\n13.3 包的演化\r\n13.4 类的演化\r\n13.4.1 abstract类\r\n13.4.2 final类\r\n13.4.3 public类\r\n13.4.4 超类和超接口\r\n13.4.5 类体的成员声明\r\n13.4.6 对成员和构造函数的存取\r\n13.4.7 域声明\r\n13.4.8 final域\r\n13.4.9 static域\r\n13.4.10 transient域\r\n13.4.11 volatile域\r\n13.4.12 方法和构造函数声明\r\n13.4.13 方法和构造函数参数\r\n13.4.14 方法的结果类型\r\n13.4.15 abstract方法\r\n13.4.16 final方法\r\n13.4.17 native方法\r\n13.4.18 static方法\r\n13.4.19 synchronized方法\r\n13.4.20 方法和构造函数的抛出\r\n13.4.21 方法和构造函数体\r\n13.4.22 方法和构造函数重载\r\n13.4.23 方法重构\r\n13.4.24 静态初始化\r\n13.5 接口的演变\r\n13.5.1 public接口\r\n13.5.2 超接口\r\n13.5.3 接口成员\r\n13.5.4 域声明\r\n13.5.5 abstract方法声明\r\n\r\n第十四章 块和语句\r\n\r\n14.1 语句的正常结束和非正常结束\r\n14.2 块\r\n14.3 局部变量声明语句\r\n14.3.1 局部变量声明符和类型\r\n14.3.2 局部变量声明的作用域\r\n14.3.3 局部变量的命名隐藏\r\n14.3.4 局部变量声明符的执行\r\n14.4 语句\r\n14.5 空语句\r\n14.6 标号语句\r\n14.7 表达式语句\r\n14.8 if语句\r\n14.8.1 if-then语句\r\n14.8.2 if-then-else语句\r\n14.9 switch语句\r\n14.10 while语句\r\n14.10.1 while语句的非正常结束\r\n14.11 do语句\r\n14.11.1 do语句的非正常结束\r\n14.11.2 do语句示例\r\n14.12 for语句\r\n14.12.1 fjor语句的初始化\r\n14.12.2 for语句的迭代\r\n14.12.3 for语句的异常处理\r\n14.13 break语句\r\n14.14 continue语句\r\n14.15 return语句\r\n14.16 throw语句\r\n14.17 synchronized语句\r\n14.18 try语句\r\n14.18.1 try-catch的执行\r\n14.18.2 try-catch-finally的执行\r\n14.19 不可达语句\r\n\r\n第十五章 表达式\r\n\r\n15.1 求值，表示和结果\r\n15.2 值变量\r\n15.3 表达式的类型\r\n15.4 表达式和运行时刻检查\r\n15.5 求值的正常结束和非正常结束\r\n15.6 求值顺序\r\n15.6.1 首选求值左操作数\r\n15.6.2 在执行操作之前给操作数求值\r\n15.6.3 求值遵照括号和运算符优先级\r\n15.6.4 参数表达式的求值顺序\r\n15.6.5 其它表达式的求值顺序\r\n15.7 基本表达式\r\n15.7.1 文字量\r\n15.7.2 this\r\n15.7.3 初括号括起来的表达式\r\n15.8 类实例创建表达式\r\n15.8.1 类实例创建表达式的运行时刻求值\r\n15.8.2 例子：求值顺序和内存不够检查\r\n15.9 数组创建表达式\r\n15.9.1 数组创建表达式的运行时刻求值\r\n15.9.2 例子：数组创建的求值顺序\r\n15.9.3 例子：数组创建和内存不足检查\r\n15.10 域存取表达式\r\n15.10.1 使用基本表达式进行域存取\r\n15.10.2 使用Super存取超类成员\r\n15.11 方法调用表达式\r\n15.11.1 编译时步骤1：决定特查找的类或接口\r\n15.11.2 编译时步骤2：决定方法的调用\r\n15.11.2.1 寻找适用的可存取的方法\r\n15.11.2.2 选择最明确的方法\r\n15.11.2.3 例子：重载不确定性\r\n15.11.2.4 例子：不考虑返回类型\r\n15.11.2.5 例子：编译时确定方法调用\r\n15.11.3 编译时步骤3：选择的方法合适吗？\r\n15.11.4 方法调用的运行时刻求值\r\n15.11.4.1 计算目标引用（如果必要）\r\n15.11.4.2 自变量求值\r\n15.11.4.3 检测类型和方法的可存取性\r\n15.11.4.4 确定要调用的方法\r\n15.11.4.5 建立框架，同步，控制转移\r\n15.11.4.6 实现时注意：组合框架\r\n15.11.4.7 例子：目标引用的静态方法\r\n15.11.4.8 例子：求值顺序\r\n15.11.4.9 例子：重构\r\n15.11.4.10 例子：使用super的方法调用\r\n15.12 数组访问表达式\r\n15.12.1 数组访问的运行时刻求值\r\n15.12.2 例子：数组求值顺序\r\n15.13 后缀表达式\r\n15.13.1 名字\r\n15.13.2 后缀增量算符++\r\n15.13.3 后缀减量算符--\r\n15.14 一元运算符\r\n15.14.1 前缀增量运算符++\r\n15.14.2 前缀减量运算符--\r\n15.14.3 一元加法运算符++\r\n15.14.4 一元减法运算符--\r\n15.14.5 按位求反运算符~\r\n15.14.6 逻辑求反运算符！\r\n15.15 类型强制转换表达式\r\n15.16 乘性运算符\r\n15.16.1 乘法运算符*\r\n15.16.2 除法运算符/\r\n15.16.3 取余运算符%\r\n15.17 加性运算符\r\n15.17.1 字符串连接运算符+\r\n15.17.1.1 字符转换\r\n15.17.1.2 字符串连接的优化\r\n15.17.1.3 字符连接的例子\r\n15.17.2 数值类型的加性能运算符（+和-）\r\n15.18 移位运算符\r\n15.19 关系运算符\r\n15.19.1 数值比较运算&lt,&lt=,&gt和&gt=\r\n15.19.2 类型比较运算符instanceof\r\n15.20 等于运算符\r\n15.20.1 数值等于运算符= =和！=\r\n15.20.2 布尔等于运算符= =和！=\r\n15.20.3 引用等于运算符= =和！=\r\n15.21 位运算符和逻辑运算符\r\n15.21.1 整数按位与运算&.^和|\r\n15.21.2 布尔逻辑运算符&,^ 和|\r\n15.22 条件与运算符&&\r\n15.23 条件与运算符||\r\n15.24 条件运算符？：\r\n15.25 赋值运算符\r\n15.25.1 简单赋值运算符\r\n15.25.2 复合赋值运算符\r\n15.26 表达式\r\n15.27 常量表达式\r\n\r\n第十六章 明确赋值\r\n\r\n16.1 明确赋值和表达式\r\n16.1.1 布尔常量表达式\r\n16.1.2 布尔值表达式\r\n16.1.3 布尔运算符&&\r\n16.1.4 布尔运算符||\r\n16.1.5 布尔运算符！\r\n16.1.6 布尔运算符&\r\n16.1.7 布尔运算符|\r\n16.1.8 布尔运算符^\r\n16.1.9 布尔运算符= =\r\n16.1.10 布尔运算符！=\r\n16.1.11 布尔运算符？：\r\n16.1.12 布尔运算？：\r\n16.1.13 布尔赋值运算表达式\r\n16.1.14 其它赋值运算表达式\r\n16.1.15 运算符++和--\r\n16.1.16 其它表达式\r\n16.2 明确赋值和语句\r\n16.2.1 空语句\r\n16.2.2 块\r\n16.2.3 局部变量声明语句\r\n16.2.4 标号语句\r\n16.2.5 表达式语句\r\n16.2.6 if语句\r\n16.2.7 switch语句\r\n16.2.8 while语句\r\n16.2.9 do语句\r\n16.2.10 for语句\r\n16.2.10.1 初始化部分\r\n16.2.10.2 增量部分\r\n16.2.11 break,continue,return和throw语句\r\n16.2.12 synchronized语句\r\n16.2.13 try语句\r\n\r\n第十七章 线程和锁定\r\n\r\n17.1 术语和框架\r\n17.2 执行次序\r\n17.3 变量的规则\r\n17.4 double和long类型变量的非原子处理\r\n17.5 锁定的规则\r\n17.6 锁定和变量间相互作用的规则\r\n17.7 volatile类型变量的规则\r\n17.8 楞预见的store动作\r\n17.9 讨论\r\n17.10 例子：可能的交换\r\n17.11 例子：无序的write动作\r\n17.12 线程\r\n17.13 锁定和同步\r\n17.14 等待集合和通知 \r\n\r\n第十八章 文档注释\r\n\r\n18.1 文档注释的文本\r\n18.2 文档注释中的HTML\r\n18.3 概括性语句的普通描述\r\n18.4 标记段落\r\n18.4.1 @see标记\r\n18.4.2 @author标记\r\n18.4.3 @version标记\r\n18.4.4 @param标记\r\n18.4.5 @return标记\r\n18.4.6 @exception标记\r\n18.5 例子\r\n\r\n第十九章 LALR(1)\r\n\r\n19.1 文法难点\r\n19.1.1 问题#1：名字太细化\r\n19.1.2 问题#2：修饰语太细化\r\n19.1.3 问题#3：域声明和方法声明\r\n19.1.4 问题#4：数组类型和数组存取\r\n19.1.5 问题#5：强制转化和特号表达式\r\n19.2 对应于2.3的语法的产生式\r\n19.3 对应于第三章的词法结构的产生式\r\n19.4 对应于第四章的类型、值、变量的产生式\r\n19.5 对应于第六章的名字的产生式\r\n19.6 对应于第七章的包的产生式\r\n19.7 LALR(1)文法定义独有的产生式\r\n19.8 对应于第八章的类的产生式\r\n19.8.1 对应于8.1的类声明的产生式\r\n19.8.2 对应于8.3的域声明的产生式\r\n19.8.3 对应于8.4的方法声明的产生式\r\n19.8.4 对应于8.5的静态初始化的产生式\r\n19.8.5 对应于8.6的构造函数声明的产生式\r\n19.9 对应于第九章的接口的产生式\r\n19.9.1 对应于9.1的接口声明的产生式\r\n19.10 对应于第十章的数组的产生方式\r\n19.11 对应于第十四章的块和语句的产生式\r\n19.12 对应于第十五章的表达式的产生式\r\n\r\n第二十章 Java.lang包\r\n\r\n20.1 Java.lang.Object类\r\n20.2 Java.lang.Cloneable类\r\n20.3 Java.lang.Class类\r\n20.4 Java.lang.Bollean类\r\n20.5 Java.lang.Character类\r\n20.6 Java.lang.Number类\r\n20.7 Java.lang.Integer类\r\n20.8 Java.lang.Long类\r\n20.9 Java.lang.Float\r\n20.10 Java.lang.Double类\r\n20.11 Java.lang.Math类\r\n20.12 Java.lang.String类\r\n20.13 Java.lang.StringBuffer类\r\n20.14 Java.lang.ClassLoader类\r\n20.15 Java.lang.Process类\r\n20.16 Java.lang.Runtime类\r\n20.17 Java.lang.SecurityManager类\r\n20.18 Java.lang.System类\r\n20.19 Java.lang.Runnable接口\r\n20.20 Java.lang.Thread类\r\n20.21 Java.lang.ThreadGroukp类\r\n20.22 Java.lang.Throwable类以及它的子类\r\n20.23 Java.lang.ExceptionInInitializerError类\r\n\r\n第二十一章 Java.util包\r\n\r\n21.1 Java.util.Enumeration接口\r\n21.2 Java.util.BitSet类\r\n21.3 Java.util.Date类\r\n21.4 Java.util.Dictionary类\r\n21.5 Java.util.Hashtable类\r\n21.6 Java.util.Properties类\r\n21.7 Java.util.Observable类\r\n21.8 Java.util.Observer接口\r\n21.9 Java.util.Random类\r\n21.10 Java.util.String Tokenizer类\r\n21.11 Java.util.Vector类\r\n21.12 Java.util.Stack类\r\n21.13 Java.util.EmptyStackException类\r\n21.14 Java.util.NoSuchElementException类\r\n\r\n第二十二章 Java.io包\r\n\r\n22.1 Java.io.DataInput接口\r\n22.2 Java.io.DataOutput接口\r\n22.3 Java.io.InputStream类\r\n22.4 Java.io.FileInputStream类\r\n22.5 Java.io.PipedInputStream类\r\n22.6 Java.io.ByteArrayInputStream类\r\n22.7 Java.io.StringBufferInputStream类\r\n22.8 Java.io.SequenceInputStream类\r\n22.9 Java.io.FilterInutStream类\r\n22.10 Java.io.BufferedInputStream类\r\n22.11 Java.io.DataInputStream类\r\n22.12 Java.io.LineNumberInputStream类\r\n22.13 Java.io.PushbackInputStream类\r\n22.14 Java.io.StreamTokenizer类\r\n22.15 Java.ioOutputStream类.\r\n22.16 Java.ioFileOutputStream类.\r\n22.17 Java.io.PipedOutputStream类\r\n22.18 Java.io.ByteArrayOutputStream类\r\n22.19 Java.io.FilterOutputStream类\r\n22.20 Java.io.BufferedOutputStream类\r\n22.21 Java.io.DataOutputStream类\r\n22.22 Java.io.PrintStream类\r\n22.23 Java.io.RandomAccessFile类\r\n22.24 Java.io.File类\r\n22.25 Java.io.FilenameFilter接口\r\n22.26 Java.io.FileDescriptor类\r\n22.27 Java.io.IOException类\r\n22.28 Java.io.EOFException类\r\n22.29 Java.io.FileNotFoundException类\r\n22.30 Java.io.InterruptedIOException类\r\n22.31 Java.io.UTFDataFormatException类

无封面