debug - java为什么明明知道这句话不会被执行，但为什么却一定要加上这句话。

Question

这是翻转链表的一段程序，明明这段程序中函数的return一定会是循环体中的if语句中结束，然后return，根本都不会执行到正常结束循环，然后执行最后一句return语句。但是似乎最后一句return语句还必须加上，。java为什么要设计成这样？

/**
 * Definition for singly-linked list.
 * public class ListNode {
 *     int val;
 *     ListNode next;
 *     ListNode(int x) { val = x; }
 * }
 */
public class Solution {
    public ListNode reverseList(ListNode head) {
        if (head == null) return null;

        ListNode pre = null;
        ListNode curr = head;
        while(curr != null){
            if (curr.next == null){
                curr.next = pre;
                return curr;
            } 
            ListNode next = curr.next;
            curr.next = pre;
            pre = curr;
            curr = next;
        }
        return curr;
    }
}

但是下面这段程序却又不用最后加上一句return语句，而且加上最后一句return反而会报错。说是最后一句语句无法执行不到。java的编译器倒是怎么搞的。

public class Solution {
    public ListNode reverseList(ListNode head) {
        if (head == null) return null;
        ListNode pre = null;
        ListNode curr = head;
        while(true){
            if (curr.next == null){
                curr.next = pre;
                return curr;
            } 
            ListNode next = curr.next;
            curr.next = pre;
            pre = curr;
            curr = next;
        }
        return curr;  // 加上最后这句话会报错。
    }
}

Answer 1

原因很简单，因为对于第一个：其中的curr这个值是有可能是null的，因为在初始化ListNode的时候可能会由于各种问题而内存不能申请成功（比如此时没有可用的内存了），所以这个while是有可能会退出的，也就有可能会执行到后面去，所以必须要有return

而第二个：你已经显示的指明了while中的值是true，所以，显然不可能会执行到后面

还有一种解释就是这个是与你的编译器有关，while（true）是编译器能检测到的范围，而while（curr ！= null）是不能在编译阶段检测出来的，也就是编译器并不能判断是不是会执行到最后。。