Nếu điều kiện A được khớp, điều kiện B cần được khớp để thực hiện hành động C

Câu hỏi của tôi là:

if (/* condition A */)
{
    if(/* condition B */)
      {
         /* do action C */
      }
    else
      /* ... */
}
else
{
   /* do action C */
}

Có thể chỉ viết mã hành động C một lần thay vì hai lần?

Làm thế nào để đơn giản hóa nó?

Bước đầu tiên của bạn trong các loại vấn đề này là luôn tạo một bảng logic.

A | B | Result
-------------------
T | T | do action C
T | F | ...
F | T | do action C
F | F | do action C

Khi bạn đã tạo bảng, giải pháp rõ ràng.

if (A && !B) {
  ...
}
else {
  do action C
}

Hãy lưu ý rằng logic này, trong khi ngắn hơn, có thể khó để các lập trình viên trong tương lai duy trì.

Bạn có hai lựa chọn:

1. Viết hàm thực hiện "hành động C".

2. Sắp xếp lại logic của bạn để bạn không có quá nhiều câu lệnh if lồng nhau. Hãy tự hỏi những điều kiện gây ra "hành động C" xảy ra. Đối với tôi có vẻ như nó xảy ra khi "điều kiện B" là đúng hoặc "điều kiện A" là sai. Chúng ta có thể viết điều này là "KHÔNG A HOẶC B". Dịch mã này sang mã C, chúng tôi nhận được

   if (!A || B) {
       action C
   } else {
       ...
   }
   

Để tìm hiểu thêm về các loại biểu thức này, tôi đề nghị googling "đại số boolean", "logic vị ngữ" và "tính toán vị ngữ". Đây là những chủ đề toán học sâu sắc. Bạn không cần phải học tất cả, chỉ là những điều cơ bản.

Bạn cũng nên tìm hiểu về "đánh giá ngắn mạch". Bởi vì điều này, thứ tự của các biểu thức là quan trọng để sao chép chính xác logic ban đầu của bạn. Mặc dù B || !Atương đương về mặt logic, sử dụng điều này làm điều kiện sẽ thực thi "hành động C" khi Bđúng bất kể giá trị của A.

Bạn có thể đơn giản hóa tuyên bố như thế này:

if ((A && B) || (!A)) // or simplified to (!A || B) as suggested in comments
{
    do C
}

Mặt khác, đặt mã cho 'C' trong một chức năng riêng biệt và gọi nó:

DoActionC()
{
    ....
    // code for Action C
}
if (condition A)
{
    if(condition B)
      {
         DoActionC(); // call the function
      }
    else
      ...
}
else
{
   DoActionC(); // call the function
}

Trong một ngôn ngữ có khớp mẫu, bạn có thể diễn đạt giải pháp theo cách phản ánh trực tiếp hơn bảng sự thật trong câu trả lời của Câu hỏi.

match (a,b) with
| (true,false) -> ...
| _ -> action c

Nếu bạn không quen với cú pháp, mỗi mẫu được biểu thị bằng một | theo sau là các giá trị khớp với (a, b) và dấu gạch dưới được sử dụng làm ký tự đại diện để có nghĩa là "bất kỳ giá trị nào khác". Vì trường hợp duy nhất mà chúng tôi muốn làm gì đó ngoài hành động c là khi a đúng và b sai, chúng tôi tuyên bố rõ ràng các giá trị đó là mẫu đầu tiên (đúng, sai) và sau đó làm bất cứ điều gì nên làm trong trường hợp đó. Trong tất cả các trường hợp khác, chúng tôi rơi vào mẫu "ký tự đại diện" và thực hiện hành động c.

Báo cáo vấn đề:

Nếu điều kiện A được khớp, điều kiện B cần được khớp để thực hiện hành động C

mô tả hàm ý : A ngụ ý B , một mệnh đề logic tương đương với !A || B(như đã đề cập trong các câu trả lời khác):

bool implies(bool p, bool q) { return !p || q; }

if (implies(/* condition A */,
            /* condition B */))
{
    /* do action C */
}

Ugh, điều này cũng làm tôi vấp ngã, nhưng như Code-Apprentice đã chỉ ra, chúng tôi đảm bảo cần phải do action Cchạy hoặc chạy elsekhối lồng nhau , do đó mã có thể được đơn giản hóa thành:

if (not condition A or condition B) {
    do action C
} else {
    ...
}

Đây là cách chúng tôi nhấn 3 trường hợp:

1. Yêu cầu lồng nhau do action Ctrong logic câu hỏi của bạn condition Avà condition Bphải là true- Trong logic này, nếu chúng ta đạt đến thuật ngữ ^{thứ 2} trong phần ifsau thì chúng ta biết đó condition Alà truetất cả những gì chúng ta cần đánh giá đó condition Blàtrue
2. elseChặn- lồng trong logic của câu hỏi của bạn bắt buộc condition Aphải truevà condition Bphải false- Cách duy nhất mà chúng ta có thể đạt tới else-block trong logic này sẽ là nếu condition Ađã truevà condition Bđangfalse
3. Câu hỏi bên ngoài elsetrong logic câu hỏi của bạn bắt buộc condition Aphải có false- Trong logic này nếu condition Asai, chúng tôi cũngdo action C

Đạo cụ để Code-Apprentice cho tôi nói thẳng ra đây. Tôi đề nghị chấp nhận câu trả lời của anh ấy , vì anh ấy đã trình bày chính xác mà không cần chỉnh sửa: /

Trong khái niệm logic, bạn có thể giải quyết vấn đề này như sau:

f = ab +! a
f =?

Như một vấn đề đã được chứng minh, điều này dẫn đến f = !a + b. Có một số cách để chứng minh vấn đề như bảng chân lý, Bản đồ Karnaugh , v.v.

Vì vậy, trong các ngôn ngữ dựa trên C, bạn có thể sử dụng như sau:

if(!a || b)
{
   // Do action C
}

PS: Karnaugh Map cũng được sử dụng cho một loạt các điều kiện phức tạp hơn. Đây là một phương pháp đơn giản hóa các biểu thức đại số Boolean.

Mặc dù đã có câu trả lời tốt, tôi nghĩ rằng cách tiếp cận này có thể còn trực quan hơn đối với người mới biết về đại số Boolean sau đó để đánh giá một bảng chân lý.

Điều đầu tiên bạn muốn làm là nhìn, trong những điều kiện bạn muốn thực thi C. Đây là trường hợp khi (a & b). Còn khi nào !a. Vì vậy, bạn có (a & b) | !a.

Nếu bạn muốn giảm thiểu bạn có thể tiếp tục. Giống như trong số học "bình thường", bạn có thể nhân ra.

(a & b) | !a = (a | !a) & (b | !a). một | ! a luôn luôn đúng, vì vậy bạn chỉ có thể gạch bỏ nó, điều này khiến bạn có kết quả tối thiểu : b | !a. Trong trường hợp thứ tự tạo ra sự khác biệt, bởi vì bạn chỉ muốn kiểm tra b nếu! A là đúng (ví dụ khi! A là kiểm tra nullpulum và b là một thao tác trên con trỏ như @LordFarquaad đã chỉ ra trong nhận xét của anh ấy), bạn có thể muốn chuyển đổi hai.

Trường hợp khác (/ * ... * /) sẽ luôn được thực thi khi c không được thực thi, vì vậy chúng ta chỉ có thể đặt nó trong trường hợp khác.

Một điều đáng nói nữa là nó có thể có ý nghĩa trong việc đưa hành động c vào một phương thức.

Mà để lại cho chúng tôi mã sau đây:

if (!A || B)
{
    doActionC()  // execute method which does action C
}
else
{
   /* ... */ // what ever happens here, you might want to put it into a method, too.
}

Bằng cách này, bạn cũng có thể giảm thiểu các thuật ngữ với nhiều toán hạng hơn, nhanh chóng trở nên xấu xí với các bảng chân lý. Một cách tiếp cận tốt khác là bản đồ Karnaugh. Nhưng tôi sẽ không đi sâu vào vấn đề này ngay bây giờ.

Để làm cho mã trông giống văn bản hơn, hãy sử dụng cờ boolean. Nếu logic đặc biệt tối nghĩa, hãy thêm ý kiến.

bool do_action_C;

// Determine whether we need to do action C or just do the "..." action
// If condition A is matched, condition B needs to be matched in order to do action C
if (/* condition A */)
{
    if(/* condition B */)
      do_action_C = true; // have to do action C because blah
    else
      do_action_C = false; // no need to do action C because blarg
}
else
{
  do_action_C = true; // A is false, so obviously have to do action C
}

if (do_action_C)
  {
     DoActionC(); // call the function
  }
else
  {
  ...
  }

if((A && B ) || !A)
{
  //do C
}
else if(!B)
{
  //...
}

Tôi sẽ trích xuất C sang một phương thức, và sau đó thoát khỏi hàm càng sớm càng tốt trong mọi trường hợp. elsemệnh đề với một điều duy nhất ở cuối nên hầu như luôn luôn được đảo ngược nếu có thể. Đây là một ví dụ từng bước:

Trích xuất C:

if (A) {
   if (B)
      C();
   else
      D();
} else
   C();

Đảo ngược đầu tiên ifđể thoát khỏi đầu tiên else:

if (!A) {
   C();
   return;
}

if (B)
   C();
else
   D();

Loại bỏ thứ hai else:

if (!A) {
   C();
   return;
}

if (B) {
   C();
   return;
} 

D();

Và sau đó bạn có thể nhận thấy rằng hai trường hợp có cùng một cơ thể và có thể được kết hợp:

if (!A || B) {
   C();
   return;
}

D();

Những thứ tùy chọn để cải thiện sẽ là:

• phụ thuộc vào ngữ cảnh, nhưng nếu !A || Bkhó hiểu, hãy trích xuất nó thành một hoặc nhiều biến để giải thích ý định

• Bất kỳ trường hợp nào C()hoặc D()là trường hợp không ngoại lệ sẽ diễn ra sau cùng, vì vậy nếu D()là trường hợp ngoại lệ, thì hãy đảo ngược iflần cuối cùng

Sử dụng cờ cũng có thể giải quyết vấn đề này

int flag = 1; 
if ( condition A ) {
    flag = 2;
    if( condition B ) {
        flag = 3;
    }
}
if(flag != 2) { 
    do action C 
}