良好的编码习惯是多么的重要啊。 测试的代码如下:

1. public class
2. 
3. public static void
4. 
5. class;
6. try
7.       Object o = c.newInstance();
8.       
9. if (o instanceof
10. // 这里为什么会报错呢,说tt 和 TestPrintStream1不能不解析
11. catch
12. 
13.       e.printStackTrace();
14. catch
15. // TODO Auto-generated catch block
16.       e.printStackTrace();
17.     }
18. 
19.   }
20. }

那一行为什么会报错呢?if语句后面不是允许不加大括号吗?

2楼 java2000.net

if ()

后面不使用花括号时,里面不能出现声明,因为那个涉及到作用域,而没有花括号又没有作用域了。

个人理解。

boolean ok = true;

if(ok)

  MyClass c = new MyClass();

这样也是不允许的。

改成

MyClass c = null;

if(ok)

  c = new MyClass();

这样是可以的

这个代码问题和 instanceof 没有任何关系

6楼 segazk

Java 把 Test tt = new Test(); 当两条语句看待了相当于 Test tt; tt = new Test();

Eclipse 中报的语法错误是: Test cannot be resolved tt cannot be resolvedcmd 下 javac 没通过编译报的错误是: D:\Test.java:x: 不是语句 Test tt = new Test();  ^ D:\Test.java:x: 需要 ' ; ' Test tt = new Test();  ^ 2 错误

20楼 bao110908

Java Language Specification 明确指出局部变量声明的作用范围是在一个

块内,也可以理解为在“{  }”内。for 循环可以不使用“{ }”的,但仅限于

执行语句(其中并不包括变量声明语句)

我们看到的代码是这样的:

01  public class TestPrintStream1 { 
02 
03      public static void main(String[] args) { 
04 
05          Class c = TestPrintStream1.class; 
06          try { 
07              Object o = c.newInstance(); 
08              if (o instanceof TestPrintStream1) 
09                  TestPrintStream1 tt = (TestPrintStream1) o; 
10          } catch (InstantiationException e) { 
11              e.printStackTrace(); 
12          } catch (IllegalAccessException e) { 
13              e.printStackTrace(); 
14          } 
15      } 
16  }

由于变量作用域的关系,编译器所看到的代码是这样的,注意 09 行的缩进!

01  public class TestPrintStream1 { 
02 
03      public static void main(String[] args) { 
04 
05          Class c = TestPrintStream1.class; 
06          try { 
07              Object o = c.newInstance(); 
08              if (o instanceof TestPrintStream1) 
09              TestPrintStream1 tt = (TestPrintStream1) o; 
10          } catch (InstantiationException e) { 
11              e.printStackTrace(); 
12          } catch (IllegalAccessException e) { 
13              e.printStackTrace(); 
14          } 
15      } 
16  }

从 08 和 09 行编译器所理解的代码中来看,很明显 08 行的 if 语句并没有

结束,因此编译器会认为 if 后面少掉一个语句结束的分号。

笨笨地编译器猜想你的代码应该是这样的,注意 08 行后面的分号

08              if (o instanceof TestPrintStream1);

09              TestPrintStream1 tt = (TestPrintStream1) o;

实际上编译器的这种理解并不是我们想要的。

为了不出现我们所不知的东西来困扰,应该老老实实地在 for, if, while 等语句后面加

上 {  },哪怕块中的语句只有一行。

37楼:wargrey

各位,这里有没有熟悉C语言的朋友,相信大家都知道,在C语言里,变量的声明都是要出现在作用域的第一条非赋值语句前的。所以java也是c风格的语言, 它也可能有类似的很细节的规则,就是,java的变量声明必须是一条语句。而java的每个作用域里面的语句分割符是“;”,if (true) statemenet;只是一条语句,并且如12楼所说,javac提示缺少;,因为它认为声明是一条新语句,而这里却不是。另一个方面javac在解析 到单行if时会假设后面应该是个表达式之类或语句,而声明不是关键字,所以它报出无法解析。

1. if (true)
2. new
3. 
4.

并不报错。

但是

1. if (true)
2. int
3. 
4. if (true)
5. int a=3;
6.

也都报了类似的问题。

接触过vb的朋友也知道,vb有块if语句和行if语句,虽然java没有明确提到,但是if (true) statemenet;就是行if语句。行内的作用域与if所在作用域相同。因为作用域是由{}决定的。只是lz提到的问题很难碰到(如果严格参考 java规范的化),所有平时也没人会去考虑。当然我无法证明这个作用域究竟是什么!

这是我的理解。

70楼:ZjJ_Sir


try { 
       Object o = c.newInstance(); 
       
       if (o instanceof TestPrintStream1) 
       { 
         TestPrintStream1 tt = (TestPrintStream1) o; 
       } 
 }

这样很明确,tt的作用域在if(){}的{}内({}是块作用域的标志)所以程序没有问题,而:

try { 
       Object o = c.newInstance(); 
       
       if (o instanceof TestPrintStream1) 
         TestPrintStream1 tt = (TestPrintStream1) o; 
 }

编译器在编译这段代码时,当编译到TestPrintStream1 tt = (TestPrintStream1) o;时,会确定tt的作用域是在try{}的{}中。这明确几点,编译器在编译if语句时,并不对if语句表达式的对错作出判断,程序在执行时才对if语 句表达式的对错做判断。还有就是编译器编译代码是顺序编译的。(这都是编译原理中的知识,这里要用到这些知识来解决这个问题)当编译器编译 TestPrintStream1 tt = (TestPrintStream1) o;时,编译器不能确定是否会生成tt对象(因为if语句表达式的对错没有确定)并且编译器不能确定这句后是否会用到tt对象。这样就有可能出现:tt对 象没有生成(if表达式错),而在TestPrintStream1 tt = (TestPrintStream1) o;的后面又要用到tt对象,这样程序会出错,也可能出现其他其他三种情况。但这已经不重要了,因为有了这种情况,tt的定义已经出现了歧义,所以编译器 无法编译。这有很多解决方法。

在做些说明:像以上的代码形式,

{ 
 int j = 0; 
 if (j == 0) 
   int i = 1; 
 }

在C、 c++ 和C#中都是正确的,即使在Vs2005中这样的Java代码也是正确的,因为这种形式的代码在不同的编译方法中会有不同的解释(比如这样的形式 i 的作用域被默认为与if(){}形式中的一样。那么这样的形式就会正确)。从这可以看出,1、编写代码时,尽可能的与规范靠拢,2.熟悉自己用得编译器

总结:

为了我们的代码安全,养成良好的编码习惯,及时if后面只有一个语句,我们也要加上大括号,for循环也一样。