"trở lại" và "try-catch-cuối cùng" đánh giá khối trong scala

Question

sau đây hai mã tạo ra kết quả khác nhau:

def x = try{ 
    true 
} finally false 

invoke x được true

def y:Boolean = try{ 
    return true 
} finally { 
    return false 
} 

gọi y được false

phiên bản return hoạt động giống như Java.

Cá nhân tôi không bao giờ sử dụng 'trả lại' trong scala. Nhưng thật tốt khi biết cách scala đánh giá giá trị của một khối try-catch-finally. Cảm ơn.

Answer 1

Bạn should not có một câu lệnh trả về trong một khối cuối cùng (mặc dù nó được cho phép về mặt kỹ thuật, ít nhất là trong Java, C# chẳng hạn cấm nó).

Nếu Scala cuối cùng chặn có lợi nhuận tiềm ẩn, điều đó sẽ luôn che dấu giá trị trả về dự định. Vì vậy, không có ý nghĩa.

Nhưng tôi cho rằng nó không thể giúp bạn nếu bạn viết một cách rõ ràng theo cách đó.

Answer 2

Theo ngôn ngữ đặc tả Scala:

Một thử biểu try {b} cuối cùng e đánh giá khối b. Nếu đánh giá của b không gây ra một ngoại lệ được ném, biểu thức e được đánh giá. Nếu ngoại lệ được ném trong khi đánh giá e, việc đánh giá biểu thức thử bị hủy bỏ với ngoại lệ được ném. Nếu không có ngoại lệ được ném trong quá trình đánh giá e, kết quả của b được trả về do kết quả của biểu thức thử.

Hành vi này có vẻ trái với thông số đó. Tôi đoán rằng, vì 'return' gây ra một sự trở lại ngay lập tức từ hàm , kết quả này sẽ ghi đè hành vi tiêu chuẩn cho một khối thử. Ví dụ chiếu sáng là:

def z : Boolean = { 
    val foo = try { true } finally { return false } 
    true 
} 

Gọi z trả về false.