Java语言规格说明
1.程序结构
Java语言的源程序代码由一个或多个编译单元(compilation unit)组成，每个编译单元只能包含下列内容(空格和注释除外)：
* 一个程序包语句(package statement )
* 引入语句(import statements)
* 类的声明(class declarations)
* 界面声明(interface declarations)
每个Java的编译单元可包含多个类或界面，但是每个编译单元却至多有一个类或者界面是公共的。
Java 的源程序代码被编译之后，便产生了Java字节代码(bytecode)。Java的字节代码由一些不依赖于机器的指令组成，这些指令能被Java的运行系(runtime system)有效地解释。Java的运行系统工作起来如同一台虚拟机。
在当前的Java实现中，每个编译单元就是一个以.java为后缀的文件。每个编译单元有若干个类，编译后，每个类生成一个.class文件。.class文件是Java虚机器码。
2. 词法问题
在编译的过程中，Java源程序代码中的字符被划分为一系列的标记(token)。Java编译器可以识别五种标记: 标识符、关键字、字面量、运算符以及特殊分隔符。注释以及诸如空格、制表符、换行符等字符，都不属于标识之列，但他们却常被用来分隔标记。
Java程序的编写采用泛代码Unicode字符集，若采用其它的字符集，则需在编译前转换成Unicode。
2.1 注释
Java语言提供了3种形式的注释：
//text 从//到本行结束的所有字符均作为注释而被编译器忽略。
/* text */ 从/*到*/ 间的所有字符会被编译器忽略。
/** text */
当这类注释出现在任何声明之前时将会作特殊处理，它们不能再用在代码的任何地方。这类注释意味着被括起来的正文部分，应该作为声明项目的描述，而被包含在自动产生的文档中。
2.2 标识符
标识符的首字符必须是一个字母，下划线("_")或美元符号("$")。后面的字符也可是数字0-9。 Java使用泛代码字符集，为了便于识别好一合法标识符，下面列出它的“字母”：* 大写字母“A”～“Z”
* 小写字母“a”～“z”
* 泛代码（Unicode）
中所有字符编码在十六进制数00C0之前的字符。标识符中，首字母后的字符可以是任意的。当然，Unicode区段中那些被保留作特殊字符的除外。由此，“garton”及“MjΦlner”都是合法标识符，但是，包括诸如“π”的字符串却不是合法的。
2.3 关键字
下面的标识符被保留用作关键字，他们不能作任何其它的用途。
abstract default goto* null synchronized
boolean do if package this
break double implements private threadsafe
byte else import protected throw
byvalve * extends instanceof public transient
case false int return true
catch final interface short try
char finally long static void
class float native super while
const * for new switch
continue
其中，加*标记后是被保留但当前却未使用的。
2.4 字面量
字面量(literal)是某些类型值的基本表述，这些类型包括整型，浮点型，布尔量，字符及字符串。
2.4.1 整型字面量
整数可有三种表示形式：十进制，八进制和十六进制。一个十进制整型字面量由一系列的数字组成，但它的第一个数字不能是0(有时十进制数字也可象下面讲的那样加后缀)。整数也可表达成八进制或十六进制形式。以0开头的整型字面量，意味着它是一个十六进制的。十六进制整数可以包括数字0-9以及字母a-f及A-F。八进制整数中则只能是出现数字0-7。在超过32位所能表示的范围之前，整型字面量的类型即为int，否则为long型。一个整型字面量可通过加后缀L或l而强迫成long型。
下面的均为合法的整型字面量。
2 2L 0777
2.4.2 浮点字面量
一个浮点字面量可包括以下部分: 一个十进制整数，一个小数点“.”，小数部分(另外一个十进制整数)，指数部分，一个类型后缀。指数部分是一个e或E后跟一个整数。浮点字面量至少包含有一个数字，外加或者一个小数点或者一个e(或E)，下面举一些浮点字面量的例子：
3.1415 3.1E12 .1e12 2E12
就象在后面描述的那样，Java语言有两种浮点类型： float 及double，用户可按以下写法区分：
2.0d或2.0D double 型
2.0f或2.0F或2.0 float型
2.4.3 布尔字面量
布尔(boolean)字面量有两个值： true及false。
2.4.4 字符字面量
字符字面量是一个由单引号括起的字符(或者是由一组字符来表述一个字符)。字符属于char类型，并且均从泛代码字符集中得来。而下面列出的转义序列则用来描述一些非图形字符，它们以反斜杠“\”开始以作转义用。
续行符头 <newline> \
换行 NL(LF) \n
垂直制表符 HT \t
退格 BS \b
回车 CR \r
走纸换页 FF \f
反斜杠 \ \\
单引号 ' \'
双引号 " \"
八进制数 0ddd \ddd
十六进制数 0xdd \xdd
泛代码字符 0xdddd \udddd
2.4.5 串字面量
串字面量是双引号引起的零个或多个字符的序列。每个串字面量被看作是一个串对象，而并非是一个字符的数组，例如“abc”创建了一个新的串类的实例。下面的都是合法的串字面量：
" " \\空串
"\" " \\只包含一个双引号的串
"This is a string"
"This is a \
two-line string"
2.5 运算符及特殊分隔符
下面这些字符在Java源程序中作运算符或分隔符用：
+ — ! % ^ & * ｜～ / > <
( ) { } [ ] ; ? : ，· =
另外，下面这些复合字符被用作运算符：
++ -- == <= >= != << >>
>>> += -= *= /= &= /=
^= %= <<= >>= >>>= ‖ &&
后面还要在运算符一节中作详细介绍。
3. 类型
任何一个变量或表达式都有一个类型，类型决定变量可能的取值范围，决定对这些值允许的操作，以及这些操作的意义是什么。Java语言中提供了内置定义类型，程序员也可以利用类及界面(interface)机制构造新类型。
Java语言有两种类型：简单类型和复合类型。简单类型指那些不能再分割的原子类型。如：整型、浮点型、布尔型、字符型均为简单类型。复合类型建立在简单类型的基础上。Java 语言有三种复合类型：数组、类及界面。
3.1 数值类型
3.1.1 整数类型
整数与C及C++中相似，但有两点区别：其一，所有的整数类型均是独立于机器的；其二，对某些传统的定义作出改变，以反映自C问世以来所带来的变化，四种整数类型分别具有8位、16位、32位及64位的宽度，并且均是有符号的(signed)。如下所示：
宽度
类型名
8
byte
16
short
32
int
64
long
一个变量的类型不会直接影响它的存储的分配，类型仅仅决定变量的算术性质以及合法的取
值范围。如果把一个超出合法范围的值赋给一变量，那么这个值将是对合法值域取模后的值。
3.1.2 浮点类型
关键字float表示单精度(32位)，而double则表示双精度(64位)，两个float型数运算的结果仍是float型，若有其中之一为double型，则结果为double型。
3.1.3 字符类型
Java全部使用泛代码字符集，因此char类型数据被定义成一个16位的无符号整数。3.2 布尔类型
当一个变量的取值或为ture或为false，或者是当一个方法的返回值为ture或false 时，它?nbsp；嵌际遣级 嘈偷摹Ａ硗猓 叵翟怂愕慕峁 嗍遣?nbsp；尔型的。
布尔值不是数值型，因此不能用强制类型转换把它们转化成数值。
3.3 数组
数组在Java语言中属第一类对象。由它们代替了指针运算，所有的对象(包括数组)都可通过标识来引用。即使被当作数运算，标识的值也不应被破坏。通过new运算符可创建一个数组。
java源代码加密char s[]=new char[30];
数组第一元素的下标为0，在声明中指定维数是不允许的。每次都必须显式地用new分配数组：
int i [] =new int [3];
Java语言不支持多维数组，但是，程序员却可以创建数组的数组。
int i [ ] [ ]=new int [3][4];
至少有一维要明确给定，而其它维则可在以后再确定。例如：
int i[] []=new int [3] [ ]
是一个合法的声明。
除了在变量名及方法名后跟方括号这种C风格的声明之外，Java语言允许方括号跟在数组类型之后，下面两行是等价的：
int iarray[ ];
int [ ] iarray;
同样地，方法声明也一样：
byte f(int n)[ ];
byte [ ] f(int n);
运行时检查下标保证它们是合法的：
int a[ ]=new int [10];
a[5]=1;
a[1]=a[0]+a[2];
a[-1]=4; // 运行时引发一个ArrayIndexOutOfBoundsException(数组下标越界)异常
a[10]=2; //运行时引发一个ArrayIndexOutOfBoundsException(数组下标越界)异常数组的大小必须使用整数表达式：
int n;
float arr[ ]=new float[n+1]
数组的长度可通过.length 查：
int a[] []=new int [10][3];
println (a.length) //打印出10
println (a[0].length) //打印出3。
3.3.1 数组细节
定义的数组都是Object类的一个子类的实例，在类的层次结构中有一个被称为Array 的子类，它有一个实例变量“length”。对每一个基本类型，都有一个相应的Array的子类。同理，每一个类也都有一个相应的Array子类存在。例如： new Thread[n] 创建一个Thread[ ]的实例。如果类A是类B的超类，那么，A[]是B[]的超类，见下图：
Object
Array A
int[] float[] A[] B
B[]
因此，可以把数组赋给一个Object变量。
Object o;
int a[]=new int [10];
o=a;
并且可通过强制类型转换把object变量赋给一数组变量。
a=(int [])o;
Array类本身不能显式地产生子类。
4. 类
类(class)是传统面向对象编程模型的象征。它们支持数据抽象以及实现对数据的约束，在Java中，每一个新的类创建一个新类型。要想得到一个新的类，程序员必须首先到一个已有的类，新类即在这个已有类的基础上构造，称之为派生(derived)。派生出的类亦称为原来类的子类，而这个类我们称为超类(super class)。
类的派生具有传递性：如果B是A的子类，C是B的子类，则C 是A的子类。一个类的直接超类以及指示这个类如何实现的界面(interface)，在类的声明中，由关键字extends 及implements标出。如下示(黑体表示关键字)：：
[doc_ comment] [modifer] class ClassName
extends Superclassname
implements interface {，interface } ] {
class body
}
举例：
/** 2 dimension point */
public class Points {
float x，y;
......
}
/** printable point */
class PinttablePoint extends Points implements Printable {
......
public void Print ( ) {
}
}
所有的类均从一个根类 Object中派生出来。除Object之外的任何类都有一个直接超类。如果一个类在声明时未指明其直接超类，那么缺省即为Object。如下述：
class Point {
float x，y
}
与下面写法等价
class Point extends Object {
float x， y；
}
Java语言仅支持单继承，通过一个被称作“界面”的机制，来支持某些在其它语言中用多继
承实现的机制(详见“界面”一节)。Java之所以没有采用C++的多继承机制，是为了避免多
继承带来的诸多不便，例如：可能产生的二义性，编译器更加复杂，程序难以优化等问题。
4.1 类类型之间的强制转换
Java语言支持在两个类型之间的强制转换，因为每个类即是一个新的类型。Java支持类
类型之间的强制转换，如果B是A的子类，那么B的一个实例亦可作为A的实例来使用，虽
然不需要显式的转换，但显式转换亦是合法的，这被称作拓宽(widening)。如果A的一个实
例，想当作B的实例使用，程序员就应写一个类型转换叫作削窄（narrowing）的强制。从一
个类到其子类的强制转换在运行时要作例行的检查以确保这个对象就是其子类的一个实例
(或其子类之一)。兄弟类之间的强制类型转换是一个编译错误，类的强制转换的语法如
下?nbsp;
?nbsp;
(classname) ref
其中，(classname)是要转换的目的类，而ref是被转换的对象。强制转换仅仅影响到对
象的引用，而不会影响对象本身。然而，对实例变量的访问却受到对象引用的类型的影响。
一个对象从一个类型到另一类型的强制转换后，可以使同一变量名对不同的实例变量访问。
class ClassA{
String name = "ClassA"
}
class ClassB extends ClassA { //ClassB是ClassA的子类
String name="ClassB";
}
class AccessTest {
void test( ) {
ClassB b=new ClassB( );
println (b.name); //打印： ClassB
ClassA a
a=(ClassA)b;
println (a.name); //打印： ClassA
}
}
4.2 方法
方法(method)是可施于对象或类上的操作，它们既可在类中，也可在界面中声明。但是
他们却只能在类中实现(Java中所有用户定义的操作均用方法来实现)。
类中的方法声明按以下方式：
[Doc_ comment] [Access Specifiers] ReturnType methodName(parameterList)
{
method body(本地的native及抽象的方法没有体部分)
版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。
发表评论