Java第3章标记、运算符和表达式.ppt

第二篇第二篇 JavaJava语言的命令式成分语言的命令式成分 第三章 标记、运算符和表达式 第四章 流程控制 第二篇 Java语言的命令式成分 3.1 词法元素 3.1.1 注释 3.1.2 字符集 3.1.3 标记 3.1.4 标识符 3.1.5 Java的关键字 3.2 类型及其字面值 3.2.1 基本类型 3.2.2 引用值 3.2.3 布尔值 3.2.4 字符值 3.2.5 整型值 3.2.6 浮点值 3.2.7 字符串值 3.2.8 类的字面值 3.3 变量 3.3.1 域和局部变量 3.3.2 形参 3.3.3 final变量 3.3.4 初始值 3.4 数组变量 3.4.1 数组修饰符 3.4.2 数组的数组 3.4.3 数组的初始化 3.4.4 数组和类型 第三章 标记、运算符和表达式 3. 5 算术运算符 3.5.1 整数运算 3.5.2 浮点运算 3.5.3 严格和非严格的浮点运算 3.6 普通运算符 3.6.1 递增与递减运算符 3.6.2 关系和判等运算符 3.6.3 逻辑运算符 3.6.4 instanceof运算符 3.6.5 按位运算符 3.6.6 条件运算符?: 3.6.7 赋值运算符 3.6.8 字符串连接 3.7 运算符的优先级和结合性 3.8 表达式 3.8.1 运算顺序 3.8.2 表达式类型 3.8.3 隐式转换 3.8.4 显式转换 3.8.5 字符串转换 3.9 访问成员 3.10 小结 3.1 词法元素 3.1.1 注释 3.1.2 字符集 3.1.3 标记 3.1.4 标识符 3.1.5 Java的关键字 3.2 类型及其字面值 3.2.1 基本类型 3.2.2 引用值 3.2.3 布尔值 3.2.4 字符值 3.2.5 整型值 3.2.6 浮点值 3.2.7 字符串值 3.2.8 类的字面值 3.3 变量 3.3.1 域和局部变量 3.3.2 形参 3.3.3 final变量 3.3.4 初始值 3.4 数组变量 3.4.1 数组修饰符 3.4.2 数组的数组 3.4.3 数组的初始化 3.4.4 数组和类型 第三章 标记、运算符和表达式 3. 5 算术运算符 3.5.1 整数运算 3.5.2 浮点运算 3.5.3 严格和非严格的浮点运算 3.6 普通运算符 3.6.1 递增与递减运算符 3.6.2 关系和判等运算符 3.6.3 逻辑运算符 /INVALID 将被解释成无效的表达式 j = i+ + +i; /INVALID 而不是解释成有效的表达式 j = i+ + +i; 标识符（identifier）：被说明的实体（如变量、常量）和标 号的名字。程序员对程序中的各个元素加以命名时使用的命 名记号。 Java语言中，标识符是以字母，下划线（_）,美元符($) 开始的一个字符序列，后面可以跟字母，下划线，美元 符，数字。 合法的标识符 identifier userName User_Name _sys_val $change 非法的标识符 2mail room# class _ a; intint b = 2; b = 2; public void public void method(voidmethod(void) ) intint c = 3; c = 3; public void function( public void function( intint d) d) 3.3 变量 一个变量说明可分为三个部分：一个变量说明可分为三个部分：修饰符修饰符、类型类型、标识符表标识符表 。 staticstatic：静态，在方法返回后仍能保存其值。：静态，在方法返回后仍能保存其值。 同一类型的一组变量可用一个说明，也可用多个说明。同一类型的一组变量可用一个说明，也可用多个说明。 float x = 3.14f, y = 2.4f;float x = 3.14f, y = 2.4f; 不要把非静态域用于静态方法。不要把非静态域用于静态方法。 局部变量必须在使用之前制定其值。局部变量必须在使用之前制定其值。 修饰符先后顺序无规定，但建议如下：修饰符先后顺序无规定，但建议如下： 访问修饰符（访问修饰符（publicpublic、privateprivate、protectedprotected）+ static + + static + synchronized + finalsynchronized + final 3.3.3.13.1 域域和局部变量和局部变量 形参：说明在方法、构造器或catch子句中的形 式参数。 与局部变量相同，唯一可用的修饰符是final。 3.3.2 形参 finalfinal：由其说明的域只能在其初始化时进行一次赋值。：由其说明的域只能在其初始化时进行一次赋值。 finalfinal域必须在其使用之前完成初始化。域必须在其使用之前完成初始化。 final int id = nextID+; 也可用初始化块对也可用初始化块对finalfinal域进行初始化。域进行初始化。 static final static final intint numbers = numbers = numberListnumberList();(); static final static final intint maxNumbermaxNumber; ; staticstatic intint max = number0; max = number0; for(intfor(int i = 1; i max) max) max = max = numbersinumbersi; ; maxNumbermaxNumber = max; = max; 编译器将检查所有静态编译器将检查所有静态finalfinal域在静态初始化结束之前是否域在静态初始化结束之前是否 完成初始化。完成初始化。 3.3.3 final变量 3.3.4 初始值 一个变量可以在说明时进行初始化，初始值通过变量名后 加上一个“=”号和一个表达式给出。类型的初始值如下表 ： 对于定义在一个方法、构造器或静态初始化程序内的局部 变量，Java不赋给任何缺省初始值。 域的类类型初始值值 布尔型（boolean）false 字符型（char）u0000 整型（byte、short、int、long）0 浮点型（float,double）+0.0f或+0.0d 对对象引用null 变变量的作用域何时时被初始化 局部变变量在每次执执行其说说明时时被初始化 对对象域或数组组成员员在该对该对 象或数组组用new创创建时时被初始化 类类中static变变量在任何用于该类该类 的代码码运行之前被初始化 数组是一种最简单的复合数据类型。Java数组是同类 型元素的有序集合。 一维数组的定义：type arrayName ； 类型(type)：可以为Java中任意的数据类型，包括 基本类型和对象引用。 举例： int intArray ； Date dateArray ; int intArray; Date dateArray; 数组成份的数目是由使用new创建时确定的，而不是 在说明时确定的。 3.4 数组变量 数组的初始化： 静态初始化 int intArray=1,2,3,4; String stringArray=“abc”, “How”, “you”; 3.4 数组变量 数组的初始化： 动态初始化 u 基本数据类型 int intArray; intArray = new int5; u 构造类型的数组 String stringArray ; StringArray = new String3; stringArray0= new String(“How”); stringArray1= new String(“are”); stringArray2= new String(“you”); 3.4 数组变量 数组元素的引用方式为： arrayNameindex index为数组下标，它可以为整型常数或表达式，下标从0 开始。每个数组都有一个属性length指明它的长度，例如 ：intArray.length指明数组intArray的长度。数组元素的 下标从0 ( length-1 ) 对数组的越界访问会引发IndexOutOfBoundsException异 常 3.4 数组变量 数组由Object隐式扩展而来，数组也具有多态性 可以将一个数组赋给一个类型为Object的变量。 类Y的对象的数组可用在基类X的对象的数组可使用的任何 地方。 数组对象的主要限制是：它们不能被扩展以增加新的方法 。 3.4 数组变量 Object Int Float X Y X Y 当说明某一对象类型的数组时，实际上说明了一个该种 类型的变量数组。 用new操作符对该数组初始化后，attrs成为一个对包含 12个变量的数组的引用。这12个变量均被初始化为null 。Attr对象只有当上述循环执行时才被创建。 在Java数组说明中，也可将 放在变量后面而不是在类 型之后 3.4 数组变量 Attr attrs = new Attr12; for (int i = 0; i ，=，&，|， 5）赋值运算符： =，及其扩展赋值运算符如+=，=，*=，/=等 6）条件运算符： ?： 7）其它：包括分量运算符 ，下标运算符 ， 实例运算符instanceof，内存分配运算符new， 强制类型转换运算符 (类型)，方法调用运算符 () 等。 整数运算是模2的补码运算，也就是说，如果一个 值超出了它的类型（int或long）所允许的范围，它 将通过以范围取模而减小，因此整数运算不会上溢 或下溢。 3.5.1 整数运算 Java中浮点数表示和运算均按IEEE 754-1985 标准，采用缺省方式。 P49 3.5.2 浮点运算 “+”和“-”分别是递增与递减运算符。 3.6 普通运算符 3. 6.1 递增与递减运算符 3. 6.2 关系和判等运算符 3. 6.3 逻辑运算符 1）算术运算符： +，*，/，%，+， 2）关系运算符： ，=，&，|， 5）赋值运算符： =，及其扩展赋值运算符如+=，=，*=，/=等 6）条件运算符： ?： 7）其它：包括分量运算符 ，下标运算符 ， 实例运算符instanceof，内存分配运算符new， 强制类型转换运算符 (类型)，方法调用运算符 () 等。 3.6.5 按位运算符 1）算术运算符： +，*，/，%，+， 2）关系运算符： ，=，&，|， 5）赋值运算符： =，及其扩展赋值运算符如+=，=，*=，/=等 6）条件运算符： ?： 7）其它：包括分量运算符 ，下标运算符 ， 实例运算符instanceof，内存分配运算符new， 强制类型转换运算符 (类型)，方法调用运算符 () 等。 3.6.6 条件运算符 1）算术运算符： +，*，/，%，+， 2）关系运算符： ，=，&，|， 5）赋值运算符： =，及其扩展赋值运算符如+=，=，*=，/=等 6）条件运算符： ?： 7）其它：包括分量运算符 ，下标运算符 ， 实例运算符instanceof，内存分配运算符new， 强制类型转换运算符 (类型)，方法调用运算符 () 等。 3.6.7 赋值运算符 1）算术运算符： +，*，/，%，+， 2）关系运算符： ，=，&，|， 5）赋值运算符： =，及其扩展赋值运算符如+=，=，*=，/=等 6）条件运算符： ?： 7）其它：包括分量运算符 ，下标运算符 ， 实例运算符instanceof，内存分配运算符new， 强制类型转换运算符 (类型)，方法调用运算符 () 等。 我们可以使用+将两个串联接在一起 基本类型和对象到串的隐式转换，仅发生在使用了+或 += 3.6.8 字符串连接 我们把运算符的优先级称为运算符相互之间的“粘合性”。 3.7 运算符的优先级和结合性 后缀运算符 . (params) expr+ expr- 单目运算符 +expr -expr +expr -expr ! 创建或转换运算符 new (type)expr 乘法运算符 * / % 加法运算符 + - 移位运算符 关系运算符 = = = &= = |= Java总是从左到右计算每个操作符相应的操作数的值。 例如对于x+y+z x，y x + y =T z T + z = x + y +z 3.8 表达式 3.8.1 运算顺序 表达式的类型依赖于其成份类型和运算符的语义。 整数运算均按int或long的精度执行。 当算术运算符任何一个操作数为浮点型时，执行浮点运算 。其中只要有一个操作数为double，则运算中使用double ，结果也为double，不然运算以float完成。 当+运算符的一个操作数具有String类型或+=运算符左边 为一个String时，+表示String的并联。 3.8.2 表达式类型 Java不允许任何有类型疑问的情况，以禁止不相 容赋值，并提供类型转换（cast）。 3.8.3 类型转换 隐式转换：类型转换是自动进行的，不要求程序员做什么。 两种隐式转换： 基本类型转换： 整型、实型、字符型数据可以混合运算。运算中，不同类型的数 据先转化为同一类型，然后进行运算，转换从低级到高级； 转换规则： 低-高 byte,short,char int long float double 操作数1的类类型操作数2的类类型转换转换 后的类类型 byte、short、charintint byte、short、char、intlonglong byte、short、char、int、longfloatfloat byte、short、char、int、long、floatdoubledouble 3.8.3 隐式转换 构造类型转换： 一个类的实例对象，它包含其每个超类的一个实例。 注意： null对象引用可赋给任何对象引用类型，包括数组引用。 3.8.3 隐式转换 当一种类型不能以隐式转换赋给另一类型时，它通常还能显 式转换为该种类型。 两种显式转换： 基本类型转换 有些类型转换是不允许的，如boolean不能为int型。 float转换为double，小数部分将被舍入。 显式的整型转换去掉高位。 整数转换为字符时，只用到低位数据，其余位被舍弃 。 3.8.4 显式转换和instanceof 构造类型转换 向下转换：“窄化”，不安全转换 向上转换：“宽化”，安全转换 n 确定一个对象是否具有某种给定的类型，可用instanceof， 如果转换有效，将返回true，否则返回false。 nnull引用根本不是任何对象类型的实例，所以对任何类型而 言，以下语句总是返回flase。