Chuyển đổi mà không cần ngắt

Question

Tôi có một số câu lệnh chuyển đổi như hình dưới đây. Chú ý không có nghỉ. Findbugs chỉ báo cáo lỗi trên báo cáo trường hợp thứ hai. Lỗi là: Lệnh chuyển đổi được tìm thấy trong đó một trường hợp rơi vào trường hợp tiếp theo.

switch(x) { 

    case 0: 
     // code 

    case 1: 
     // code 

    case 2: 
     // code 
} 

Answer 1

Nếu không có giờ nghỉ họ sẽ rơi dù vào nhau vì vậy nếu x == 0 bạn sẽ đi qua tất cả các mã trong mỗi khối báo cáo trường hợp. Findbugs có thể là sai về lỗi, hoặc nó có thể là một điều kiện lỗi mà không có sự phá vỡ, tức là một cái gì đó trong case 0 gây ra một cái gì đó trong case 1 để phá vỡ.

Nếu không có mã và lỗi chính xác, tôi thực sự không thể trợ giúp thêm. Việc thiếu nghỉ có cố ý không?

Answer 2

Findbugs đang gắn cờ mà rơi từ một case sang tiếp theo thường không phải là ý tưởng hay nếu có bất kỳ mã nào trong mã đầu tiên (mặc dù đôi khi nó có thể được sử dụng để có hiệu quả tốt). Vì vậy, khi nó thấy số case thứ hai và không có break, báo cáo sẽ báo lỗi.

Vì vậy, ví dụ:

switch (foo) { 
    case 0: 
     doSomething(); 
    case 1: 
     doSomethingElse(); 
    default: 
     doSomeOtherThing(); 
} 

này là hoàn toàn hợp lệ Java, nhưng nó có lẽ không làm những gì tác giả dự định: Nếu foo là 0, cả ba các chức năng doSomething, doSomethingElse, và doSomeOtherThing chạy (theo thứ tự đó). Nếu foo là 1, chỉ doSomethingElse và doSomeOtherThing chạy. Nếu foo là bất kỳ giá trị nào khác, chỉ doSomeOtherThing chạy.

Ngược lại:

switch (foo) { 
    case 0: 
     doSomething(); 
     break; 
    case 1: 
     doSomethingElse(); 
     break; 
    default: 
     doSomeOtherThing(); 
     break; 
} 

Ở đây, chỉ có một số chức năng sẽ chạy, tùy thuộc vào giá trị của foo.

Vì đây là lỗi mã hóa phổ biến để quên break, các công cụ như Findbugs gắn cờ cho bạn.

Có một use-case thông thường, nơi bạn có nhiều case báo cáo trong một hàng với không can thiệp mã:

switch (foo) { 
    case 0: 
    case 1: 
     doSomething(); 
     break; 
    case 2: 
     doSomethingElse(); 
     break; 
    default: 
     doSomeOtherThing(); 
     break; 
} 

Ở đó, chúng tôi muốn gọi doSomething nếu foo là 0hay1. Hầu hết các công cụ sẽ không gắn cờ điều này như là một lỗi mã hóa có thể xảy ra, bởi vì không có mã nào trong số case 0 trước case 1 và đây là một mẫu khá phổ biến.

Answer 3

Chuyển đổi thông tin thu gọn thuộc danh mục Findbugs của "mã độc quyền". Tôi nghĩ rằng nó chỉ cờ đầu tiên xuất hiện của một mùa thu thông qua trong một tuyên bố chuyển đổi để cắt giảm số lượng các thông báo lỗi.

Answer 4

Tôi đã viết những nhận xét này nhưng không hiển thị. Tôi đang biến chúng thành một câu trả lời. Đây thực sự là một phần mở rộng cho T.J.Crowder's answer.

Bạn có thể tìm thấy quy tắc có liên quan khiến Findbugs báo cáo lỗi here.

Bạn có thể ngăn chặn Findbugs báo cáo loại lỗi này bằng cách tạo tệp xml có nội dung sau, nói filter.xml và chạy công cụ với tùy chọn -exclude filter.xml. Xem filters on Findbugs.

<FindBugsFilter> 
    <Match> 
    <Bug category="PERFORMANCE" /> 
    </Match> 
</FindBugsFilter> 

Answer 5

Công cụ phân tích lỗi thường không thích mã giảm vì trong hầu hết các trường hợp, người dùng đã quên viết ghi.

Tôi không biết nếu có một cách cụ thể vô hiệu hóa các cảnh báo với FindBugs nhưng Checkstyle công cụ nhận bình luận đặc biệt như /* fallthrough */ để giả định rằng người dùng thực sự muốn đoạn mã sau để được thực thi. Đặt loại nhận xét này cũng cải thiện khả năng đọc. http://checkstyle.sourceforge.net/config_coding.html#FallThrough

Quy ước mã Java cũng đề cập đến việc sử dụng nhận xét giảm. http://www.oracle.com/technetwork/java/javase/documentation/codeconventions-142311.html

Answer 6

Nếu trường hợp của bạn không bị gián đoạn, khi trường hợp là công tắc kích hoạt sẽ đi qua tất cả các trường hợp cho đến khi phát hiện ngắt hoặc kết thúc các trường hợp. Nếu bạn có trường hợp mặc định, nó sẽ kích hoạt nếu giá trị chuyển đổi của bạn trong trường hợp này foo không khớp với bất kỳ trường hợp nào khác.