JAVA語言規(guī)范

叢書前言
序
第一章  引言
1.1  程序例子
1.2  參考文獻
第二章  語法
2.1  上下文無關(guān)語法
2.2  詞法
2.3  語法
2.4  語法符號約定
第三章  詞法結(jié)構(gòu)、
3.1  Unicode
3.2  詞法變換
3.3  Unicode轉(zhuǎn)義序列
3.4  行終結(jié)符
3.5  輸入元素和單詞符號
3.6  空格
3.7  注釋
3.8  標(biāo)識符
3.9  關(guān)鍵字
3.10  文字量
3.10.1  整型文字量
3.10.2  浮點文字量
3.10.3  布爾文字量
3.10.4  字符文字量
3.10.5  字符串文字量
3.10.6  字符和字符串文字量的轉(zhuǎn)義序列
3.10.7  NULL文字量
3.11 分隔符
3.12  運算符
第四章 類型、值和變量
4.1  類型和值的種類
4.2  基本類型和值
4.2.1  整數(shù)類型和值
4.2.2  整數(shù)運算
4.2.3  浮點類型和值
4.2.4  浮點運算
4.2.5  布爾類型和布爾值
4.3  引用類型和值
4.3.1  對象
4.3.2  類Object
4.3.3  類String
4.3.4  何謂引用類型相同
4.4  類型在何處使用
4.5  變量
4.5.1  基本類型變量
4.5.2  引用類型變量
4.5.3  變量分類
4.5.4  變量的初始值
4.5.5  變量具有類型、對象具有類
第五章  轉(zhuǎn)換和提升
5.1  轉(zhuǎn)換的種類
5.1.1  恒等轉(zhuǎn)換
5.1.2  基本類型增寬轉(zhuǎn)換
5.1.3  基本類型收縮轉(zhuǎn)換
5.1.4  引用類型收縮轉(zhuǎn)換
5.1.5  引用類型收縮轉(zhuǎn)換
5.1.6  字符串轉(zhuǎn)換
5.1.7  禁止的轉(zhuǎn)換
5.2  賦值轉(zhuǎn)換
5.3  方法調(diào)用轉(zhuǎn)換
5.4  字符串轉(zhuǎn)換
5.5  強制轉(zhuǎn)換
5.6  數(shù)值提升
5.6.1  單元數(shù)值提升
5.6.2  二元數(shù)值提升
第六章  名字
6.1  聲明
6.2  名字和標(biāo)識符
6.3  簡單名字的作用域
6.3.1  名字隱藏
6.4  成員和繼承
6.4.1  包的成員
6.4.2  類類型的成員
6.4.3  接口類型的成員
6.4.4  數(shù)組類型的成員
6.5  決定名字的意義
6.5.1  根據(jù)上下文對名字進行句法分類
6.5.2  上下文歧義名的再分類
6.5.3  包名的意義
6.5.3.1  簡單包名
6.5.3.2  類屬修飾包名
6.5.4  類型名的意義
6.5.4.1  簡單類型名
6.5.4.2  類屬修飾類型名
6.5.5  表達式名的意義
6.5.5.1  簡單表達式名
6.5.5.2  類屬修飾表達式名
6.5.6  方法名的意義
6.5.6.1  簡單方法名
6.5.6.2  類屬修飾方法名
6.6  類屬修飾名和存取控制
6.6.1  決定可存取性
6.6.2  protected存取細節(jié)
6.6.3  存取控制例子
6.6.4  例子“對public和非public類的存取
6.6.5  例：域、方法和構(gòu)造函數(shù)的缺省存取權(quán)限
6.6.6  例：public域、方法和構(gòu)造函數(shù)
6.6.7  例：protected域、方法和構(gòu)造函數(shù)
6.6.8  例：private域、方法和構(gòu)造函數(shù)
6.7  完全類屬修飾名
6.8  命名約定
6.8.1  包名
6.8.2  類和接口類型的名字
6.8.3  方法名
6.8.4  域名
6.8.5  常量名
6.8.6  局部變量和參數(shù)名
第七章  包
7.1  包的成員
7.2  主機系統(tǒng)對包的支持
7.2.1  在文件系統(tǒng)中存儲包
7.2.2  在數(shù)據(jù)庫中存儲包
7.3  編譯單元
7.4  包聲明
7.4.1  有名包
7.4.2  無名包
7.4.3  包名的作用域和包名隱藏
7.4.4  對包的成員的存取
7.5  移入聲明
7.5.1  單一類型移入聲明
7.5.2  按需類型移入
7.5.3  自動移入
7.5.4  一個奇特的例子
7.6  類型聲明
7.7  無重復(fù)包名
第八章  類
8.1  類聲明
8.1.1  類類型名字的作用域
8.1.2  類修飾符
8.1.2.1  abstract類
8.1.2.2  final（終結(jié)）類
8.1.3  超類和子類
8.1.4  超接口
8.1.5  類體和成員聲明
8.2  類成員
8.2.1  繼承的例子
8.2.1.1  例：缺省存取權(quán)限的繼承
8.2.1.2  public和protected成員的繼承
8.2.1.3  private成員的繼承
8.2.1.4  存取不可訪問類的成員
8.3 域聲明
8.3.1 域修飾符
8.3.1.1  static域
8.3.1.2  final域
8.3.1.3  transient域
8.3.1.4 volatile域
8.3.2  域的初始化
8.3.2.1  類變量初始化
8.3.2.2  實例變量的初始化
8.3.3  域聲明例子
8.3.3.1  例：類變量隱藏
8.3.3.2  例；實例變量隱藏
8.3.3.3  例：多個同名域的繼承
8.3.3.4  例：域的重繼承
8.4  方法聲明
8.4.1  形參
8.4.2  方法的“識別標(biāo)記”
8.4.3  方法修飾符
8.4.3.1  abstract方法
8.4.3.2  static方法
8.4.3.3  fimal方法
8.4.3.4  native方法
8.4.3.5 synchronized方法
8.4.4  方法的拋出子句
8.4.5  方法體
8.4.6  繼承、重構(gòu)和隱藏
8.4.6.1  重構(gòu)（通過實例方法）
8.4.6.2  隱藏（通過類方法）
8.4.6.3  對重構(gòu)和隱藏的要求
8.4.6.4  繼承多個具有相同“識別標(biāo)記”的方法
8.4.7  重載
8.4.8  方法聲明的例子
8.4.8.1  例：重構(gòu)
8.4..8.2  例：重載、重構(gòu)和隱藏
8.4.8.3  例：不正確的重構(gòu)
8.4.8.4  例：重構(gòu)和隱藏
8.4.8.5  例：對被隱藏的類方法的調(diào)用
8.4.8.6  大型的重構(gòu)例子
8.4.8.7  例：Throws引起的不正確的重構(gòu)
8.5  靜態(tài)初始化
8.6  構(gòu)造函數(shù)聲明
8.6.1  形參
8.6.2  構(gòu)造函數(shù)的“識別標(biāo)記”
8.6.3  構(gòu)造函數(shù)修飾符
8.6.4  構(gòu)造函數(shù)的拋出子句
8.6.5  構(gòu)造函數(shù)體
8.6.6  構(gòu)造函數(shù)重載
8.6.7  缺省構(gòu)造函數(shù)
8.6.8  禁止類的實例化
第九章  接口
9.1  接口聲明
9.1.1  接口類型名字的作用域
8.1.2  接口修飾符
9.1.2.1  abstract接口
9.1.3  超接口
9.1.4  接口體和成員聲明
9.1.5  對接口成員名字的存取
9.2  接口成員
9.3  域（常量）聲明
9.3.1  接口中的域初始化
9.3.2  域聲明例
9.3.2.1  繼承產(chǎn)生的二義性域
9.3.2.2  域的多無繼承
9.4  abstract方法聲明
9.4.1  繼承和重構(gòu)
9.4.2  重載
9.4.3  Abstract方法聲明示例
9.4.3.1  例：重構(gòu)
9.4.3.2  例：重載
第十章  數(shù)組
10.1  數(shù)組類型
10.2  數(shù)組變量
10.3  數(shù)組創(chuàng)建
10.4  數(shù)組存取
10.5  數(shù)組：一個簡單例子
10.6  數(shù)組初始化
10.7  數(shù)組成員
10.8  數(shù)組的class對象
10.9  字符數(shù)組不是字符串
10.10  數(shù)組存儲異常
第十一章  異常
11.1  異常的起因
11.2  異常的編譯時刻檢查
11.2.1  為什么Errors不是“檢查型”異常
11.2.2  為什么運行時刻異常不是“檢查型”異常
11.3  對異常的處理
11.3.1  異常是確定的
11.3.2  處理異步異常
11.4  異常例子
11.5  異常層次結(jié)構(gòu)
11.5.1  類Exception和RuntimeException
11.5.1.1  標(biāo)準(zhǔn)運行時刻異常
11.5.1.2  標(biāo)準(zhǔn)“檢查型”異常
11.5.2  Error類
11.5.2.1  裝載和鏈接錯誤
11.5.2.2  虛擬機錯誤
第十二章  執(zhí)行
12.1  虛擬機啟動
12.1.1  加載類Test
12.1.2  鏈接Test：驗證、準(zhǔn)備和（可選的）解析
12.1.3  初始化Test“執(zhí)行初始化過程
12.1.4  調(diào)用Test.main
12.2  類和接口的加載
12.2.1  加載過程
12.2.2  加載：對代碼生成的建議
12.3  類和接口的鏈接
12.3.1  二進制表示的驗證
12.3.2  類或接口類型的準(zhǔn)備
12.3.3  符號引用解析
12.3.4  鏈接：對代碼生成的建議
12.4  類和接口的初始化
12.4.1  何時進行初始化
12.4.2  初學(xué)者始化過程的細節(jié)
12.4.3  初始化：對代碼生成的建議
12.5  新類實例的創(chuàng)建
12.6  類實例的終止
12.6.1  實現(xiàn)終止化
12.6.2  finalizer調(diào)用是無序的
12.7  類的初始化
12.8  類和接口的卸載
12.9  虛擬機退出
第十三章  二進制代碼兼容
13.1 Java二進制代碼的格式
13.2  什么是二進制兼容
13.3  包的演化
13.4  類的演化
13.4.1  abstract類
13.4.2  final類
13.4.3  public類
13.4.4  超類和超接口
13.4.5  類體的成員聲明
13.4.6  對成員和構(gòu)造函數(shù)的存取
13.4.7  域聲明
13.4.8  final域
13.4.9  static域
13.4.10  transient域
13.4.11 volatile域
13.4.12  方法和構(gòu)造函數(shù)聲明
13.4.13  方法和構(gòu)造函數(shù)參數(shù)
13.4.14  方法的結(jié)果類型
13.4.15  abstract方法
13.4.16  final方法
13.4.17  native方法
13.4.18  static方法
13.4.19  synchronized方法
13.4.20  方法和構(gòu)造函數(shù)的拋出
13.4.21  方法和構(gòu)造函數(shù)體
13.4.22  方法和構(gòu)造函數(shù)重載
13.4.23  方法重構(gòu)
13.4.24  靜態(tài)初始化
13.5  接口的演變
13.5.1  public接口
13.5.2  超接口
13.5.3  接口成員
13.5.4  域聲明
13.5.5  abstract方法聲明
第十四章  塊和語句
14.1  語句的正常結(jié)束和非正常結(jié)束
14.2  塊
14.3  局部變量聲明語句
14.3.1  局部變量聲明符和類型
14.3.2  局部變量聲明的作用域
14.3.3  局部變量的命名隱藏
14.3.4  局部變量聲明符的執(zhí)行
14.4  語句
14.5  空語句
14.6  標(biāo)號語句
14.7  表達式語句
14.8  if語句
14.8.1  if-then語句
14.8.2  if-then-else語句
14.9  switch語句
14.10  while語句
14.10.1  while語句的非正常結(jié)束
14.11  do語句
14.11.1  do語句的非正常結(jié)束
14.11.2  do語句示例
14.12  for語句
14.12.1  fjor語句的初始化
14.12.2  for語句的迭代
14.12.3  for語句的異常處理
14.13  break語句
14.14  continue語句
14.15  return語句
14.16  throw語句
14.17  synchronized語句
14.18  try語句
14.18.1  try-catch的執(zhí)行
14.18.2  try-catch-finally的執(zhí)行
14.19  不可達語句
第十五章  表達式
15.1  求值，表示和結(jié)果
15.2  值變量
15.3  表達式的類型
15.4  表達式和運行時刻檢查
15.5  求值的正常結(jié)束和非正常結(jié)束
15.6  求值順序
15.6.1  首選求值左操作數(shù)
15.6.2  在執(zhí)行操作之前給操作數(shù)求值
15.6.3  求值遵照括號和運算符優(yōu)先級
15.6.4  參數(shù)表達式的求值順序
15.6.5  其它表達式的求值順序
15.7  基本表達式
15.7.1  文字量
15.7.2  this
15.7.3  初括號括起來的表達式
15.8  類實例創(chuàng)建表達式
15.8.1  類實例創(chuàng)建表達式的運行時刻求值
15.8.2  例子：求值順序和內(nèi)存不夠檢查
15.9  數(shù)組創(chuàng)建表達式
15.9.1  數(shù)組創(chuàng)建表達式的運行時刻求值
15.9.2  例子：數(shù)組創(chuàng)建的求值順序
15.9.3  例子：數(shù)組創(chuàng)建和內(nèi)存不足檢查
15.10  域存取表達式
15.10.1  使用基本表達式進行域存取
15.10.2  使用Super存取超類成員
15.11  方法調(diào)用表達式
15.11.1  編譯時步驟1：決定特查找的類或接口
15.11.2  編譯時步驟2：決定方法的調(diào)用
15.11.2.1  尋找適用的可存取的方法
15.11.2.2  選擇最明確的方法
15.11.2.3  例子：重載不確定性
15.11.2.4  例子：不考慮返回類型
15.11.2.5  例子：編譯時確定方法調(diào)用
15.11.3  編譯時步驟3：選擇的方法合適嗎？
15.11.4  方法調(diào)用的運行時刻求值
15.11.4.1  計算目標(biāo)引用（如果必要）
15.11.4.2  自變量求值
15.11.4.3  檢測類型和方法的可存取性
15.11.4.4  確定要調(diào)用的方法
15.11.4.5  建立框架，同步，控制轉(zhuǎn)移
15.11.4.6  實現(xiàn)時注意：組合框架
15.11.4.7  例子：目標(biāo)引用的靜態(tài)方法
15.11.4.8  例子：求值順序
15.11.4.9  例子：重構(gòu)
15.11.4.10  例子：使用super的方法調(diào)用
15.12  數(shù)組訪問表達式
15.12.1  數(shù)組訪問的運行時刻求值
15.12.2  例子：數(shù)組求值順序
15.13  后綴表達式
15.13.1  名字
15.13.2  后綴增量算符++
15.13.3  后綴減量算符--
15.14  一元運算符
15.14.1  前綴增量運算符++
15.14.2  前綴減量運算符--
15.14.3  一元加法運算符++
15.14.4  一元減法運算符--
15.14.5  按位求反運算符~
15.14.6  邏輯求反運算符！
15.15  類型強制轉(zhuǎn)換表達式
15.16  乘性運算符
15.16.1  乘法運算符*
15.16.2  除法運算符/
15.16.3  取余運算符%
15.17  加性運算符
15.17.1  字符串連接運算符+
15.17.1.1  字符轉(zhuǎn)換
15.17.1.2  字符串連接的優(yōu)化
15.17.1.3  字符連接的例子
15.17.2  數(shù)值類型的加性能運算符（+和-）
15.18  移位運算符
15.19  關(guān)系運算符
15.19.1  數(shù)值比較運算<,<=,>和>=
15.19.2  類型比較運算符instanceof
15.20  等于運算符
15.20.1  數(shù)值等于運算符= =和！=
15.20.2  布爾等于運算符= =和！=
15.20.3  引用等于運算符= =和！=
15.21  位運算符和邏輯運算符
15.21.1  整數(shù)按位與運算&.^和|
15.21.2  布爾邏輯運算符&,^ 和|
15.22  條件與運算符&&
15.23  條件與運算符||
15.24  條件運算符？：
15.25  賦值運算符
15.25.1  簡單賦值運算符
15.25.2  復(fù)合賦值運算符
15.26  表達式
15.27  常量表達式
第十六章  明確賦值
16.1  明確賦值和表達式
16.1.1  布爾常量表達式
16.1.2  布爾值表達式
16.1.3  布爾運算符&&
16.1.4  布爾運算符||
16.1.5  布爾運算符！
16.1.6  布爾運算符&
16.1.7  布爾運算符|
16.1.8  布爾運算符^
16.1.9  布爾運算符= =
16.1.10  布爾運算符！=
16.1.11  布爾運算符？：
16.1.12  布爾運算？：
16.1.13  布爾賦值運算表達式
16.1.14  其它賦值運算表達式
16.1.15  運算符++和--
16.1.16  其它表達式
16.2  明確賦值和語句
16.2.1  空語句
16.2.2  塊
16.2.3  局部變量聲明語句
16.2.4  標(biāo)號語句
16.2.5  表達式語句
16.2.6  if語句
16.2.7  switch語句
16.2.8  while語句
16.2.9  do語句
16.2.10  for語句
16.2.10.1  初始化部分
16.2.10.2  增量部分
16.2.11  break,continue,return和throw語句
16.2.12  synchronized語句
16.2.13  try語句
第十七章  線程和鎖定
17.1  術(shù)語和框架
17.2  執(zhí)行次序
17.3  變量的規(guī)則
17.4  double和long類型變量的非原子處理
17.5  鎖定的規(guī)則
17.6  鎖定和變量間相互作用的規(guī)則
17.7  volatile類型變量的規(guī)則
17.8  楞預(yù)見的store動作
17.9  討論
17.10  例子：可能的交換
17.11  例子：無序的write動作
17.12  線程
17.13  鎖定和同步
17.14  等待集合和通知 
第十八章  文檔注釋
18.1  文檔注釋的文本
18.2  文檔注釋中的HTML
18.3  概括性語句的普通描述
18.4  標(biāo)記段落
18.4.1  @see標(biāo)記
18.4.2  @author標(biāo)記
18.4.3  @version標(biāo)記
18.4.4  @param標(biāo)記
18.4.5  @return標(biāo)記
18.4.6 @exception標(biāo)記
18.5  例子
第十九章  LALR(1)
19.1 文法難點
19.1.1  問題#1：名字太細化
19.1.2  問題#2：修飾語太細化
19.1.3  問題#3：域聲明和方法聲明
19.1.4  問題#4：數(shù)組類型和數(shù)組存取
19.1.5  問題#5：強制轉(zhuǎn)化和特號表達式
19.2  對應(yīng)于2.3的語法的產(chǎn)生式
19.3  對應(yīng)于第三章的詞法結(jié)構(gòu)的產(chǎn)生式
19.4  對應(yīng)于第四章的類型、值、變量的產(chǎn)生式
19.5  對應(yīng)于第六章的名字的產(chǎn)生式
19.6  對應(yīng)于第七章的包的產(chǎn)生式
19.7  LALR(1)文法定義獨有的產(chǎn)生式
19.8  對應(yīng)于第八章的類的產(chǎn)生式
19.8.1  對應(yīng)于8.1的類聲明的產(chǎn)生式
19.8.2  對應(yīng)于8.3的域聲明的產(chǎn)生式
19.8.3  對應(yīng)于8.4的方法聲明的產(chǎn)生式
19.8.4  對應(yīng)于8.5的靜態(tài)初始化的產(chǎn)生式
19.8.5  對應(yīng)于8.6的構(gòu)造函數(shù)聲明的產(chǎn)生式
19.9  對應(yīng)于第九章的接口的產(chǎn)生式
19.9.1  對應(yīng)于9.1的接口聲明的產(chǎn)生式
19.10  對應(yīng)于第十章的數(shù)組的產(chǎn)生方式
19.11  對應(yīng)于第十四章的塊和語句的產(chǎn)生式
19.12  對應(yīng)于第十五章的表達式的產(chǎn)生式
第二十章  Java.lang包
20.1  Java.lang.Object類
20.2  Java.lang.Cloneable類
20.3  Java.lang.Class類
20.4  Java.lang.Bollean類
20.5  Java.lang.Character類
20.6  Java.lang.Number類
20.7  Java.lang.Integer類
20.8  Java.lang.Long類
20.9  Java.lang.Float
20.10  Java.lang.Double類
20.11  Java.lang.Math類
20.12  Java.lang.String類
20.13  Java.lang.StringBuffer類
20.14  Java.lang.ClassLoader類
20.15  Java.lang.Process類
20.16  Java.lang.Runtime類
20.17  Java.lang.SecurityManager類
20.18  Java.lang.System類
20.19  Java.lang.Runnable接口
20.20  Java.lang.Thread類
20.21  Java.lang.ThreadGroukp類
20.22  Java.lang.Throwable類以及它的子類
20.23  Java.lang.ExceptionInInitializerError類
第二十一章  Java.util包
21.1  Java.util.Enumeration接口
21.2  Java.util.BitSet類
21.3  Java.util.Date類
21.4  Java.util.Dictionary類
21.5  Java.util.Hashtable類
21.6  Java.util.Properties類
21.7  Java.util.Observable類
21.8  Java.util.Observer接口
21.9  Java.util.Random類
21.10  Java.util.String Tokenizer類
21.11  Java.util.Vector類
21.12  Java.util.Stack類
21.13  Java.util.EmptyStackException類
21.14  Java.util.NoSuchElementException類
第二十二章  Java.io包
22.1  Java.io.DataInput接口
22.2  Java.io.DataOutput接口
22.3  Java.io.InputStream類
22.4  Java.io.FileInputStream類
22.5  Java.io.PipedInputStream類
22.6  Java.io.ByteArrayInputStream類
22.7  Java.io.StringBufferInputStream類
22.8  Java.io.SequenceInputStream類
22.9  Java.io.FilterInutStream類
22.10  Java.io.BufferedInputStream類
22.11  Java.io.DataInputStream類
22.12  Java.io.LineNumberInputStream類
22.13  Java.io.PushbackInputStream類
22.14  Java.io.StreamTokenizer類
22.15  Java.ioOutputStream類.
22.16  Java.ioFileOutputStream類.
22.17  Java.io.PipedOutputStream類
22.18  Java.io.ByteArrayOutputStream類
22.19  Java.io.FilterOutputStream類
22.20  Java.io.BufferedOutputStream類
22.21  Java.io.DataOutputStream類
22.22  Java.io.PrintStream類
22.23  Java.io.RandomAccessFile類
22.24  Java.io.File類
22.25  Java.io.FilenameFilter接口
22.26  Java.io.FileDescriptor類
22.27  Java.io.IOException類
22.28  Java.io.EOFException類
22.29  Java.io.FileNotFoundException類
22.30  Java.io.InterruptedIOException類
22.31  Java.io.UTFDataFormatException類