Tại sao thay đổi biến trả về trong khối cuối cùng không thay đổi giá trị trả về?

Tôi có một lớp Java đơn giản như dưới đây:

public class Test {

    private String s;

    public String foo() {
        try {
            s = "dev";
            return s;
        } 
        finally {
            s = "override variable s";
            System.out.println("Entry in finally Block");  
        }
    }

    public static void main(String[] xyz) {
        Test obj = new Test();
        System.out.println(obj.foo());
    }
}

Và đầu ra của mã này là:

Entry in finally Block
dev  

Tại sao skhông bị ghi đè trong finallykhối, nhưng vẫn kiểm soát đầu ra được in?

Các tryHoàn thành khối với việc thực hiện các returntuyên bố và giá trị của stại thời điểm returntuyên bố thực hiện là giá trị trả về bởi phương pháp này. Thực tế là finallymệnh đề sau thay đổi giá trị của s(sau khi returncâu lệnh hoàn thành) không (tại thời điểm đó) thay đổi giá trị trả về.

Lưu ý rằng các thỏa thuận trên liên quan đến các thay đổi đối với giá trị của schính nó trong finallykhối, không phải đối tượng stham chiếu. Nếu slà một tham chiếu đến một đối tượng có thể thay đổi ( Stringkhông phải) và nội dung của đối tượng đã được thay đổi trong finallykhối, thì những thay đổi đó sẽ được nhìn thấy trong giá trị được trả về.

Các quy tắc chi tiết về cách tất cả các hoạt động này có thể được tìm thấy trong Phần 14.20.2 của Đặc tả ngôn ngữ Java . Lưu ý rằng việc thực thi một returncâu lệnh được tính là chấm dứt đột ngột trykhối (phần bắt đầu " Nếu việc thực thi khối thử hoàn thành đột ngột vì bất kỳ lý do nào khác R .... " được áp dụng). Xem Phần 14,17 của JLS để biết lý do tại sao một returntuyên bố là chấm dứt đột ngột của một khối.

Bằng cách chi tiết hơn: nếu cả trykhối và finallykhối của try-finallycâu lệnh chấm dứt đột ngột vì các returncâu lệnh, thì các quy tắc sau từ §14.20.2 được áp dụng:

Nếu việc thực thi trykhối hoàn thành đột ngột vì bất kỳ lý do nào khác R [ngoài việc ném ngoại lệ], thì finallykhối đó được thực thi, và sau đó có một lựa chọn:

• Nếu finallykhối hoàn thành bình thường, thì trycâu lệnh hoàn thành đột ngột vì lý do R.
• Nếu finallykhối hoàn thành đột ngột vì lý do S, thì trycâu lệnh hoàn thành đột ngột vì lý do S (và lý do R bị loại bỏ).

Kết quả là returncâu lệnh trong finallykhối xác định giá trị trả về của toàn bộ try-finallycâu lệnh và giá trị được trả về từ trykhối bị loại bỏ. Một điều tương tự xảy ra trong một try-catch-finallycâu lệnh nếu trykhối ném một ngoại lệ, nó bị bắt bởi một catchkhối và cả catchkhối và finallykhối đều có returncâu lệnh.

Bởi vì giá trị trả về được đặt trên ngăn xếp trước khi gọi đến cuối cùng.

Nếu chúng ta nhìn vào bên trong mã byte, chúng ta sẽ nhận thấy rằng JDK đã thực hiện một tối ưu hóa đáng kể và phương thức foo () trông giống như:

String tmp = null;
try {
    s = "dev"
    tmp = s;
    s = "override variable s";
    return tmp;
} catch (RuntimeException e){
    s = "override variable s";
    throw e;
}

Và mã byte:

0:  ldc #7;         //loading String "dev"
2:  putstatic   #8; //storing it to a static variable
5:  getstatic   #8; //loading "dev" from a static variable
8:  astore_0        //storing "dev" to a temp variable
9:  ldc #9;         //loading String "override variable s"
11: putstatic   #8; //setting a static variable
14: aload_0         //loading a temp avariable
15: areturn         //returning it
16: astore_1
17: ldc #9;         //loading String "override variable s"
19: putstatic   #8; //setting a static variable
22: aload_1
23: athrow

java bảo tồn chuỗi "dev" khỏi bị thay đổi trước khi quay trở lại. Trong thực tế ở đây không có khối cuối cùng.

Có 2 điều đáng chú ý ở đây:

• Dây là bất biến. Khi bạn đặt s thành "ghi đè biến s", bạn đặt s để tham chiếu Chuỗi nội tuyến, không thay đổi bộ đệm char vốn có của đối tượng s để thay đổi thành "ghi đè biến s".
• Bạn đặt một tham chiếu đến s trên ngăn xếp để trở về mã gọi. Sau đó (khi khối cuối cùng chạy), việc thay đổi tham chiếu sẽ không làm gì cho giá trị trả về đã có trên ngăn xếp.

Tôi thay đổi mã của bạn một chút để chứng minh quan điểm của Ted.

Như bạn có thể thấy trong đầu ra sthực sự thay đổi nhưng sau khi trả lại.

public class Test {

public String s;

public String foo() {

    try {
        s = "dev";
        return s;
    } finally {
        s = "override variable s";
        System.out.println("Entry in finally Block");

    }
}

public static void main(String[] xyz) {
    Test obj = new Test();
    System.out.println(obj.foo());
    System.out.println(obj.s);
}
}

Đầu ra:

Entry in finally Block 
dev 
override variable s

Về mặt kỹ thuật, returnkhối thử trong sẽ không bị bỏ qua nếu một finallykhối được xác định, chỉ khi khối cuối cùng đó cũng bao gồm a return.

Đó là một quyết định thiết kế đáng ngờ có lẽ là một sai lầm khi nhìn lại (giống như các tài liệu tham khảo là nullable / mutable theo mặc định, và theo một số trường hợp ngoại lệ được kiểm tra). Theo nhiều cách, hành vi này hoàn toàn phù hợp với sự hiểu biết thông tục về ý finallynghĩa của nó - "bất kể điều gì xảy ra trước trong trykhối, luôn luôn chạy mã này." Do đó, nếu bạn trả về true từ một finallykhối, hiệu ứng tổng thể phải luôn luôn là return s, không?

Nói chung, điều này hiếm khi là một thành ngữ tốt và bạn nên sử dụng finallycác khối một cách tự do để dọn dẹp / đóng tài nguyên nhưng hiếm khi trả lại giá trị từ chúng.

Hãy thử điều này: Nếu bạn muốn in giá trị ghi đè của s.

finally {
    s = "override variable s";    
    System.out.println("Entry in finally Block");
    return s;
}