Sử dụng dấu ngắt có gắn nhãn có phải là một phương pháp hay trong Java không?

Tôi đang nhìn chằm chằm vào một số mã cũ từ năm 2001 và bắt gặp tuyên bố này:

   else {
     do {
       int c = XMLDocumentFragmentScannerImpl.this.scanContent();
       if (c == 60) {
         XMLDocumentFragmentScannerImpl.this.fEntityScanner.scanChar();
         XMLDocumentFragmentScannerImpl.this.setScannerState(1);
         break label913;
       }

Tôi chưa bao giờ thấy điều này trước đây và đã phát hiện ra các dấu ngắt được gắn nhãn ở đây:

http://docs.oracle.com/javase/tutorial/java/nutsandbolts/branch.html

Điều này về cơ bản không hoạt động như thế gotonào? Nó thậm chí có thực hành tốt để sử dụng nó? Nó làm tôi không yên.

Không, nó không giống như goto, vì bạn không thể "đi" đến một phần khác của luồng điều khiển.

Từ trang bạn đã liên kết:

Câu lệnh break kết thúc câu lệnh được gắn nhãn; nó không chuyển luồng điều khiển đến nhãn. Luồng điều khiển được chuyển đến câu lệnh ngay sau câu lệnh được gắn nhãn (kết thúc).

Điều này có nghĩa là bạn chỉ có thể phá vỡ các vòng lặp hiện đang được thực thi.

Hãy xem xét ví dụ này:

first:
for( int i = 0; i < 10; i++) {
  second:
  for(int j = 0; j < 5; j ++ )
  {
    break xxx;
  }
}

third:
for( int a = 0; a < 10; a++) {

}

Bạn có thể thay thế xxxbằng firsthoặc second(để phá vỡ vòng lặp bên ngoài hoặc bên trong), vì cả hai vòng đều đang được thực thi, khi bạn nhấn breakcâu lệnh, nhưng thay thế xxxbằng thirdsẽ không biên dịch.

Nó không quá khủng khiếp gotovì nó chỉ gửi điều khiển đến cuối câu lệnh được gắn nhãn (thường là một cấu trúc vòng lặp). Điều khiến gotokhông thể chấp nhận được là nó là một nhánh tùy ý cho bất kỳ đâu, bao gồm cả các nhãn được tìm thấy cao hơn trong nguồn phương thức, để bạn có thể có hành vi lặp tự phát triển. Chức năng ngắt nhãn trong Java không cho phép kiểu điên rồ đó bởi vì quyền kiểm soát chỉ tiến lên phía trước.

Tôi chỉ mới sử dụng nó một lần vào khoảng 12 năm trước, trong tình huống tôi cần thoát ra khỏi các vòng lồng nhau, giải pháp thay thế có cấu trúc hơn sẽ được thực hiện cho các thử nghiệm phức tạp hơn trong các vòng lặp. Tôi sẽ không khuyên bạn nên sử dụng nó nhiều nhưng tôi sẽ không gắn cờ nó là mùi mã xấu tự động.

Luôn có thể thay thế breakbằng phương pháp mới.

Xem xét kiểm tra mã cho bất kỳ phần tử phổ biến nào trong hai danh sách:

List list1, list2;

boolean foundCommonElement = false;
for (Object el : list1) {
    if (list2.contains(el)) {
        foundCommonElement = true;
        break;
    }
}

Bạn có thể viết lại nó như thế này:

boolean haveCommonElement(List list1, List list2) {
    for (Object el : list1) {
        if (list2.contains(el)) {
            return true;
        }
    }
    return false;
}

Tất nhiên, để kiểm tra các phần tử chung giữa hai danh sách, tốt hơn nên sử dụng list1.retainAll(new HashSet<>(list2))phương pháp để thực hiện điều đó O(n)với O(n)bộ nhớ bổ sung hoặc sắp xếp cả hai danh sách tại O(n * log n)và sau đó tìm các phần tử chung tại O(n).

Trước khi đọc phần còn lại của câu trả lời này, vui lòng đọc Đi đến Tuyên bố Được coi là Có hại . Nếu bạn không muốn đọc toàn bộ, đây là điều tôi coi là điểm mấu chốt:

Việc sử dụng không hạn chế câu lệnh go to có hậu quả ngay lập tức là rất khó tìm được một tập hợp tọa độ có ý nghĩa để mô tả tiến trình của quá trình.

Hoặc để diễn đạt lại, vấn đề gotolà chương trình có thể đến giữa một khối mã, mà lập trình viên không hiểu trạng thái chương trình tại thời điểm đó. Các cấu trúc hướng khối tiêu chuẩn được thiết kế để phân định rõ ràng các chuyển đổi trạng thái, một cấu trúc được gắn nhãn breaknhằm mục đích đưa chương trình đến một trạng thái đã biết cụ thể (bên ngoài khối có nhãn chứa).

Trong một chương trình mệnh lệnh thế giới thực, trạng thái không được phân định rõ ràng bởi các ranh giới khối, vì vậy sẽ có câu hỏi liệu việc gắn nhãn có phải breaklà một ý tưởng hay hay không. Nếu khối thay đổi trạng thái có thể nhìn thấy từ bên ngoài khối và có nhiều điểm để thoát khỏi khối, thì một được gắn nhãn breaktương đương với khối nguyên thủy goto. Sự khác biệt duy nhất là, thay vì có cơ hội hạ cánh ở giữa một khối có trạng thái không xác định, bạn bắt đầu một khối mới với trạng thái không xác định.

Vì vậy, nói chung, tôi sẽ coi một nhãn hiệu breaklà nguy hiểm. Theo ý kiến ​​của tôi, đó là một dấu hiệu cho thấy khối nên được chuyển đổi thành một chức năng, với quyền truy cập hạn chế vào phạm vi bao quanh.

Tuy nhiên, mã ví dụ này rõ ràng là sản phẩm của trình tạo phân tích cú pháp (OP nhận xét rằng đó là mã nguồn Xerces). Và trình tạo phân tích cú pháp (hay trình tạo mã nói chung) thường có quyền tự do với mã do chúng tạo ra, bởi vì chúng có kiến ​​thức hoàn hảo về trạng thái và con người không cần phải hiểu nó.

Điều này không giống như một gotocâu lệnh trong đó bạn nhảy ngược điều khiển luồng. Một nhãn chỉ hiển thị cho bạn (người lập trình) nơi xảy ra sự cố. Ngoài ra, điều khiển luồng được chuyển sang câu lệnh tiếp theo sau break.

Về việc sử dụng nó, cá nhân tôi nghĩ rằng nó không có tác dụng gì lớn vì một khi bạn bắt đầu viết mã trị giá hàng nghìn dòng thì nó trở nên không đáng kể. Nhưng một lần nữa, nó sẽ phụ thuộc vào trường hợp sử dụng.

Theo tôi, một cách rõ ràng hơn để diễn đạt ý định có thể là đặt đoạn mã chứa vòng lặp vào một phương thức riêng biệt và đơn giản returntừ nó.

Ví dụ: thay đổi điều này:

someLabel:
for (int j = 0; j < 5; j++)
{
    // do something
    if ...
        break someLabel;
}

vào cái này:

private void Foo() {
    for (int j = 0; j < 5; j++)
    {
        // do something
        if ...
            return;
    }
}

Điều này cũng dễ hiểu hơn đối với các nhà phát triển thông thạo các ngôn ngữ khác có thể hoạt động với mã của bạn trong tương lai (hoặc tương lai bạn ).