Các câu lệnh chuyển đổi luôn chứa một mệnh đề mặc định?

Trong một trong những đánh giá mã đầu tiên của tôi (một thời gian trước), tôi được cho biết rằng nên bao gồm một mệnh đề mặc định trong tất cả các câu lệnh chuyển đổi. Gần đây tôi đã nhớ lời khuyên này nhưng không thể nhớ những gì biện minh. Nghe có vẻ khá kỳ lạ với tôi bây giờ.

1. Có một lý do hợp lý cho việc luôn luôn bao gồm một tuyên bố mặc định?

2. Là ngôn ngữ này phụ thuộc? Tôi không nhớ ngôn ngữ nào tôi đang sử dụng vào thời điểm đó - có thể ngôn ngữ này áp dụng cho một số ngôn ngữ và không áp dụng cho ngôn ngữ khác?

Trường hợp chuyển đổi hầu như luôn luôn có một defaulttrường hợp.

Lý do nên sử dụng default

1.Để 'bắt' một giá trị bất ngờ

switch(type)
{
    case 1:
        //something
    case 2:
        //something else
    default:
        // unknown type! based on the language,
        // there should probably be some error-handling
        // here, maybe an exception
}

2. Để xử lý các hành động 'mặc định', trong đó các trường hợp dành cho hành vi đặc biệt.

Bạn thấy điều này rất nhiều trong các chương trình điều khiển menu và các tập lệnh bash shell. Bạn cũng có thể thấy điều này khi một biến được khai báo bên ngoài trường hợp chuyển đổi nhưng không được khởi tạo và mỗi trường hợp khởi tạo nó thành một thứ khác. Ở đây, mặc định cũng cần phải khởi tạo nó để mã dòng truy cập vào biến không gây ra lỗi.

3. Để cho ai đó đọc mã của bạn rằng bạn đã bao gồm trường hợp đó.

variable = (variable == "value") ? 1 : 2;
switch(variable)
{
    case 1:
        // something
    case 2:
        // something else
    default:
        // will NOT execute because of the line preceding the switch.
}

Đây là một ví dụ đơn giản hóa quá mức, nhưng vấn đề là ai đó đang đọc mã không nên tự hỏi tại sao variablekhông thể là thứ gì đó ngoài 1 hoặc 2.

Trường hợp duy nhất tôi có thể nghĩ đến KHÔNG sử dụng defaultlà khi công tắc đang kiểm tra thứ gì đó trong đó rõ ràng là mọi sự thay thế khác có thể được bỏ qua một cách vui vẻ

switch(keystroke)
{
    case 'w':
        // move up
    case 'a':
        // move left
    case 's':
        // move down
    case 'd':
        // move right
    // no default really required here
}

Không.

Điều gì nếu không có hành động mặc định, vấn đề bối cảnh. Điều gì nếu bạn chỉ quan tâm để hành động trên một vài giá trị?

Lấy ví dụ về đọc phím nhấn cho trò chơi

switch(a)
{
   case 'w':
     // Move Up
     break;
   case 's':
     // Move Down
     break;
   case 'a':
     // Move Left
     break;
   case 'd':
     // Move Right
     break;
}

Thêm:

default: // Do nothing

Chỉ là một sự lãng phí thời gian và làm tăng sự phức tạp của mã mà không có lý do.

KHÔNG có trường hợp mặc định thực sự có thể có lợi trong một số tình huống.

Nếu trường hợp chuyển đổi của bạn là giá trị enums, bằng cách không có trường hợp mặc định, bạn có thể nhận được cảnh báo trình biên dịch nếu bạn thiếu bất kỳ trường hợp nào. Bằng cách đó, nếu các giá trị enum mới được thêm vào trong tương lai và bạn quên thêm các trường hợp cho các giá trị này trong chuyển đổi, bạn có thể tìm hiểu về vấn đề tại thời điểm biên dịch. Bạn vẫn nên đảm bảo mã thực hiện hành động thích hợp cho các giá trị chưa được xử lý, trong trường hợp giá trị không hợp lệ được chuyển sang loại enum. Vì vậy, điều này có thể hoạt động tốt nhất cho các trường hợp đơn giản mà bạn có thể trở lại trong trường hợp enum thay vì phá vỡ.

enum SomeEnum
{
    ENUM_1,
    ENUM_2,
    // More ENUM values may be added in future
};

int foo(SomeEnum value)
{
    switch (value)
    {
    case ENUM_1:
        return 1;
    case ENUM_2:
        return 2;
    }
    // handle invalid values here
    return 0;
 }

Tôi sẽ luôn sử dụng một mệnh đề mặc định, bất kể bạn đang làm việc với ngôn ngữ nào.

Những điều có thể và làm đi sai. Giá trị sẽ không như bạn mong đợi, v.v.

Không muốn bao gồm một mệnh đề mặc định ngụ ý rằng bạn tự tin rằng bạn biết tập hợp các giá trị có thể. Nếu bạn tin rằng bạn biết tập hợp các giá trị có thể sau đó, nếu giá trị nằm ngoài tập hợp các giá trị có thể này, bạn muốn được thông báo về nó - đó chắc chắn là một lỗi.

Đó là lý do tại sao bạn phải luôn sử dụng mệnh đề mặc định và đưa ra lỗi, ví dụ như trong Java:

switch (myVar) {
   case 1: ......; break;
   case 2: ......; break;
   default: throw new RuntimeException("unreachable");
}

Không có lý do để bao gồm nhiều thông tin hơn chỉ là chuỗi "không thể truy cập"; nếu điều đó thực sự xảy ra, bạn sẽ cần xem xét nguồn và giá trị của các biến, v.v. và ngăn xếp ngoại lệ sẽ bao gồm số dòng đó, vì vậy không cần phải lãng phí thời gian của bạn để viết thêm văn bản vào thông báo ngoại lệ.

Trong công ty của tôi, chúng tôi viết phần mềm cho thị trường Avionics and Defense và chúng tôi luôn bao gồm một tuyên bố mặc định, bởi vì TẤT CẢ các trường hợp trong một tuyên bố chuyển đổi phải được xử lý rõ ràng (ngay cả khi đó chỉ là một nhận xét 'Không làm gì cả'). Chúng tôi không thể đủ khả năng cho phần mềm chỉ hoạt động sai hoặc đơn giản là gặp sự cố với các giá trị không mong muốn (hoặc thậm chí là những gì chúng tôi nghĩ là không thể).

Có thể thảo luận rằng một trường hợp mặc định không phải lúc nào cũng cần thiết, nhưng bằng cách luôn luôn yêu cầu nó, nó dễ dàng được kiểm tra bởi các máy phân tích mã của chúng tôi.

Câu lệnh "switch" phải luôn bao gồm một mệnh đề mặc định? Không. Nó thường bao gồm một mặc định.

Bao gồm một mệnh đề mặc định chỉ có ý nghĩa nếu có gì đó để làm, chẳng hạn như xác nhận một điều kiện lỗi hoặc cung cấp một hành vi mặc định. Bao gồm một "chỉ vì" là lập trình tôn giáo hàng hóa và không cung cấp giá trị. Đó là "công tắc" tương đương với việc nói rằng tất cả các câu lệnh "nếu" phải bao gồm một "khác".

Đây là một ví dụ tầm thường về nơi nó không có ý nghĩa:

void PrintSign(int i)
{
    switch (Math.Sign(i))
    {
    case 1:
        Console.Write("positive ");
        break;
    case -1:
        Console.Write("negative ");
        break;
    default: // useless
    }
    Console.Write("integer");
}

Điều này tương đương với:

void PrintSign(int i)
{
    int sgn = Math.Sign(i);
    if (sgn == 1)
        Console.Write("positive ");
    else if (sgn == -1)
        Console.Write("negative ");
    else // also useless
    {
    }
    Console.Write("integer");
}

Theo như tôi thấy thì câu trả lời là 'mặc định' là tùy chọn, nói rằng một công tắc phải luôn chứa một mặc định giống như nói mọi 'if-otherif' phải chứa một 'khác'. Nếu có một logic được thực hiện theo mặc định, thì câu lệnh 'mặc định' sẽ ở đó, nhưng nếu không thì mã có thể tiếp tục thực thi mà không làm gì cả.

Có một mệnh đề mặc định khi nó không thực sự cần thiết là lập trình phòng thủ Điều này thường dẫn đến mã quá phức tạp do quá nhiều mã xử lý lỗi. Mã xử lý và phát hiện lỗi này gây hại cho khả năng đọc mã, khiến việc bảo trì khó khăn hơn và cuối cùng dẫn đến nhiều lỗi hơn nó giải quyết.

Vì vậy, tôi tin rằng nếu không đạt được mặc định - bạn không cần phải thêm nó.

Lưu ý rằng "không nên đạt được" có nghĩa là nếu nó đạt đến thì đó là một lỗi trong phần mềm - bạn cần kiểm tra các giá trị có thể chứa các giá trị không mong muốn do đầu vào của người dùng, v.v.

Tôi sẽ nói rằng nó phụ thuộc vào ngôn ngữ, nhưng trong C nếu bạn đang chuyển sang loại enum và bạn xử lý mọi giá trị có thể, thì có lẽ tốt hơn là bạn KHÔNG bao gồm trường hợp mặc định. Bằng cách đó, nếu bạn thêm một thẻ enum bổ sung sau đó và quên thêm nó vào công tắc, một trình biên dịch có thẩm quyền sẽ đưa ra cảnh báo về trường hợp mất tích.

Nếu bạn biết rằng câu lệnh chuyển đổi sẽ chỉ có một bộ nhãn hoặc giá trị được xác định nghiêm ngặt, chỉ cần làm điều này để bao gồm các cơ sở, theo cách đó bạn sẽ luôn nhận được kết quả hợp lệ .. Chỉ cần đặt mặc định trên nhãn sẽ lập trình / logic là người xử lý tốt nhất cho các giá trị khác.

switch(ResponseValue)
{
    default:
    case No:
        return false;
    case Yes;
        return true;
}

Atleast nó không bắt buộc trong Java. Theo JLS, nó cho biết tối đa một trường hợp mặc định có thể có mặt. Có nghĩa là không có trường hợp mặc định là chấp nhận được. Đôi khi nó cũng phụ thuộc vào ngữ cảnh mà bạn đang sử dụng câu lệnh switch. Ví dụ: trong Java, khối chuyển đổi sau không yêu cầu trường hợp mặc định

private static void switch1(String name) {
    switch (name) {
    case "Monday":
        System.out.println("Monday");
        break;
    case "Tuesday":
        System.out.println("Tuesday");
        break;
    }
}

Nhưng trong phương thức sau đây sẽ trả về Chuỗi, trường hợp mặc định có ích để tránh lỗi biên dịch

    private static String switch2(String name) {
    switch (name) {
    case "Monday":
        System.out.println("Monday");
        return name;

    case "Tuesday":
        System.out.println("Tuesday");
        return name;

    default:
        return name;
    }
}

mặc dù bạn có thể tránh lỗi biên dịch cho phương thức trên mà không gặp trường hợp mặc định bằng cách chỉ có câu lệnh return ở cuối, nhưng việc cung cấp trường hợp mặc định sẽ khiến nó dễ đọc hơn.

Một số nguyên tắc (lỗi thời) nói như vậy, chẳng hạn như MISRA C :

Yêu cầu cho một điều khoản mặc định cuối cùng là lập trình phòng thủ. Điều khoản này sẽ có hành động thích hợp hoặc có một nhận xét phù hợp về lý do tại sao không có hành động nào được thực hiện.

Lời khuyên đó đã lỗi thời vì nó không dựa trên các tiêu chí hiện có liên quan. Thiếu sót rõ ràng là những gì Harlan Kassler nói:

Thoát khỏi trường hợp mặc định cho phép trình biên dịch tùy chọn cảnh báo hoặc thất bại khi thấy trường hợp chưa xử lý. Xác minh tĩnh sau tất cả tốt hơn bất kỳ kiểm tra động nào, và do đó không phải là sự hy sinh xứng đáng khi bạn cần kiểm tra động.

Như Harlan cũng đã chứng minh, chức năng tương đương của trường hợp mặc định có thể được tạo lại sau khi chuyển đổi. Đó là chuyện nhỏ khi mỗi trường hợp là một sự trở lại sớm.

Nhu cầu điển hình cho kiểm tra động là xử lý đầu vào, theo nghĩa rộng. Nếu một giá trị đến từ bên ngoài sự kiểm soát của chương trình, nó không thể được tin cậy.

Đây cũng là nơi Misra có quan điểm lập trình phòng thủ cực đoan, theo đó, miễn là giá trị không hợp lệ có thể biểu thị được thì phải kiểm tra, bất kể chương trình có chính xác hay không. Điều này có ý nghĩa nếu phần mềm cần phải đáng tin cậy nhất có thể khi có lỗi phần cứng. Nhưng như Ophir Yoktan đã nói, hầu hết các phần mềm đều tốt hơn là không "xử lý" các lỗi. Việc thực hành thứ hai đôi khi được gọi là lập trình tấn công .

Bạn nên có một mặc định để bắt các giá trị không mong đợi đến.

Tuy nhiên, tôi không đồng ý với Adrian Smith rằng thông báo lỗi của bạn theo mặc định sẽ là một cái gì đó hoàn toàn vô nghĩa. Có thể có một trường hợp chưa được xử lý mà bạn không thấy trước (đó là vấn đề quan trọng) rằng người dùng của bạn cuối cùng sẽ nhìn thấy và một thông báo như "không thể truy cập" là hoàn toàn vô nghĩa và không giúp được ai trong tình huống đó.

Trường hợp cụ thể, bạn đã có một BSOD hoàn toàn vô nghĩa bao nhiêu lần? Hoặc một ngoại lệ gây tử vong @ 0x352FBB3C32342?

Nếu giá trị chuyển đổi ( switch (biến )) không thể đạt đến trường hợp mặc định, thì trường hợp mặc định hoàn toàn không cần thiết. Ngay cả khi chúng tôi giữ trường hợp mặc định, nó hoàn toàn không được thực thi. Đó là mã chết.

Nó là một 'quy ước' mã hóa tùy chọn. Tùy thuộc vào việc sử dụng là có cần thiết hay không. Cá nhân tôi tin rằng nếu bạn không cần thì nó không nên ở đó. Tại sao bao gồm một cái gì đó sẽ không được sử dụng hoặc đạt được bởi người dùng?

Nếu các khả năng trường hợp bị giới hạn (tức là Boolean) thì mệnh đề mặc định là không cần thiết !

Nếu không có trường hợp mặc định trong một switchtuyên bố, hành vi có thể không dự đoán được nếu trường hợp đó phát sinh tại một số thời điểm, không thể dự đoán được ở giai đoạn phát triển. Đó là một thực hành tốt để bao gồm một defaulttrường hợp.

switch ( x ){
  case 0 : { - - - -}
  case 1 : { - - - -}
}

/* What happens if case 2 arises and there is a pointer
* initialization to be made in the cases . In such a case ,
* we can end up with a NULL dereference */

Việc thực hành như vậy có thể dẫn đến một lỗi như sự thiếu sót của NULL , rò rỉ bộ nhớ cũng như các loại lỗi nghiêm trọng khác .

Ví dụ, chúng tôi giả sử rằng mỗi điều kiện khởi tạo một con trỏ. Nhưng nếu defaulttrường hợp được cho là phát sinh và nếu chúng ta không khởi tạo trong trường hợp này, thì có mọi khả năng hạ cánh với một ngoại lệ con trỏ null. Do đó, nên sử dụng một defaulttuyên bố trường hợp, mặc dù nó có thể là tầm thường.

Trường hợp mặc định có thể không cần thiết trong công tắc được sử dụng bởi enum. khi switch chứa tất cả giá trị, trường hợp mặc định sẽ không bao giờ thực thi. Vì vậy, trong trường hợp này, nó là không cần thiết.

Phụ thuộc vào cách chuyển đổi trong ngôn ngữ cụ thể hoạt động, tuy nhiên trong hầu hết các ngôn ngữ khi không có trường hợp nào khớp, việc thực thi rơi vào câu lệnh chuyển đổi mà không có cảnh báo. Hãy tưởng tượng bạn mong đợi một số bộ giá trị và xử lý chúng trong chuyển đổi, tuy nhiên bạn sẽ nhận được một giá trị khác trong đầu vào. Không có gì xảy ra và bạn không biết không có gì xảy ra. Nếu bạn bắt gặp trường hợp mặc định, bạn sẽ biết có gì đó không đúng.

Tôi không đồng ý với câu trả lời được bình chọn nhiều nhất của Vanwaril ở trên.

Bất kỳ mã nào thêm phức tạp. Ngoài ra các bài kiểm tra và tài liệu phải được thực hiện cho nó. Vì vậy, nó luôn luôn tốt nếu bạn có thể lập trình bằng cách sử dụng ít mã hơn. Ý kiến ​​của tôi là tôi sử dụng mệnh đề mặc định cho câu lệnh chuyển đổi không toàn diện trong khi tôi không sử dụng mệnh đề mặc định cho câu lệnh chuyển đổi toàn diện. Để chắc chắn rằng tôi đã làm đúng, tôi sử dụng một công cụ phân tích mã tĩnh. Vì vậy, hãy đi vào chi tiết:

1. Các câu lệnh chuyển đổi không toàn diện: Chúng phải luôn có giá trị mặc định. Như tên cho thấy đó là những tuyên bố không bao gồm tất cả các giá trị có thể. Điều này cũng có thể không khả thi, ví dụ: câu lệnh chuyển đổi trên một giá trị số nguyên hoặc trên Chuỗi. Ở đây tôi muốn sử dụng ví dụ về Vanwaril (Cần đề cập rằng tôi nghĩ rằng anh ta đã sử dụng ví dụ này để đưa ra một gợi ý sai. Tôi sử dụng nó ở đây để nêu ngược lại -> Sử dụng một tuyên bố mặc định):

   switch(keystroke)
   {
     case 'w':
       // move up
     case 'a':
       // move left
     case 's':
       // move down
     case 'd':
       // move right
     default:          
       // cover all other values of the non-exhaustive switch statement
   }
   

   Người chơi có thể nhấn bất kỳ phím nào khác. Sau đó, chúng tôi không thể làm bất cứ điều gì (điều này có thể được hiển thị trong mã chỉ bằng cách thêm một nhận xét vào trường hợp mặc định) hoặc ví dụ như nó sẽ in một cái gì đó trên màn hình. Trường hợp này có liên quan vì nó có thể xảy ra.

2. Các câu lệnh chuyển đổi toàn diện: Các câu lệnh chuyển đổi này bao gồm tất cả các giá trị có thể, ví dụ: một câu lệnh chuyển đổi trên bảng liệt kê các loại hệ thống cấp. Khi phát triển mã lần đầu tiên, nó dễ dàng bao gồm tất cả các giá trị. Tuy nhiên, vì chúng ta là con người nên có một cơ hội nhỏ để quên đi một số. Ngoài ra, nếu bạn thêm một giá trị enum sau đó để tất cả các câu lệnh chuyển đổi phải được điều chỉnh để làm cho chúng hoàn toàn một lần nữa sẽ mở đường dẫn đến địa ngục lỗi. Giải pháp đơn giản là một công cụ phân tích mã tĩnh. Công cụ nên kiểm tra tất cả các câu lệnh chuyển đổi và kiểm tra xem chúng có đầy đủ không hoặc nếu chúng có giá trị mặc định. Dưới đây là một ví dụ cho một tuyên bố chuyển đổi toàn diện. Đầu tiên chúng ta cần một enum:

   public enum GradeSystemType {System1To6, SystemAToD, System0To100}
   

   Sau đó, chúng ta cần một biến của enum này như thế nào GradeSystemType type = .... Một tuyên bố chuyển đổi đầy đủ sau đó sẽ trông như thế này:

   switch(type)
   {
     case GradeSystemType.System1To6:
       // do something
     case GradeSystemType.SystemAToD:
       // do something
     case GradeSystemType.System0To100:
       // do something
   }
   

   Vì vậy, nếu chúng ta mở rộng GradeSystemTypebằng ví dụ System1To3, công cụ phân tích mã tĩnh sẽ phát hiện ra rằng không có mệnh đề mặc định và câu lệnh switch không đầy đủ để chúng ta lưu lại.

Chỉ cần một điều bổ sung. Nếu chúng ta luôn sử dụng một defaultmệnh đề thì có thể xảy ra rằng công cụ phân tích mã tĩnh không có khả năng phát hiện các câu lệnh chuyển đổi toàn diện hoặc không toàn diện vì nó luôn phát hiện defaultmệnh đề. Điều này là rất tệ vì chúng tôi sẽ không được thông báo nếu chúng tôi mở rộng enum bằng một giá trị khác và quên thêm nó vào một câu lệnh chuyển đổi.

Các câu lệnh chuyển đổi luôn chứa một mệnh đề mặc định? Không có trường hợp chuyển đổi nào có thể tồn tại với trường hợp mặc định, trong trường hợp chuyển đổi trường hợp mặc định sẽ kích hoạt giá trị chuyển đổi switch(x)trong trường hợp này x khi không khớp với bất kỳ giá trị trường hợp nào khác.

Tôi tin rằng đây là ngôn ngữ khá cụ thể và đối với trường hợp C ++, một điểm nhỏ cho loại lớp enum . Mà xuất hiện an toàn hơn C enum truyền thống. NHƯNG

Nếu bạn nhìn vào việc thực hiện std :: byte thì nó giống như:

enum class byte : unsigned char {} ;

Nguồn: https://en.cppreference.com/w/cpp/lingu/enum

Và cũng xem xét điều này:

Mặt khác, nếu T là loại liệt kê có phạm vi hoặc không có phạm vi với loại cơ bản cố định và nếu danh sách khởi tạo chỉ có một trình khởi tạo và nếu chuyển đổi từ trình khởi tạo sang loại cơ bản là không thu hẹp, và nếu việc khởi tạo là khởi tạo danh sách trực tiếp, sau đó phép liệt kê được khởi tạo với kết quả chuyển đổi trình khởi tạo thành kiểu cơ bản của nó.

(kể từ C ++ 17)

Nguồn: https://en.cppreference.com/w/cpp/lingu/list_initialization

Đây là một ví dụ về lớp enum đại diện cho các giá trị không được xác định là liệt kê. Vì lý do này, bạn không thể đặt niềm tin hoàn toàn vào enums. Tùy thuộc vào ứng dụng này có thể quan trọng.

Tuy nhiên, tôi thực sự thích những gì @Harlan Kassler đã nói trong bài đăng của mình và sẽ bắt đầu sử dụng chiến lược đó trong một số tình huống.

Chỉ là một ví dụ về lớp enum không an toàn:

enum class Numbers : unsigned
{
    One = 1u,
    Two = 2u
};

int main()
{
    Numbers zero{ 0u };
    return 0;
}