Làm cách nào để tránh trạng thái boolean không thể thực hiện được trong C#?

Question

Xem xét chức năng này, mà bạn có thể nghĩ đến như một bảng sự thật:

public Foo doSomething(bool a, bool b) { 

     if (a && b) return doAB(); 
    else if (a && !b) return doA(); 
    else if (!a && b) return doB(); 
    else if (!a && !b) return doNotANotB(); 

    else throw new Exception("Well done, you defeated boolean logic!"); 
} 

Trình biên dịch khăng khăng rằng else khoản cuối cùng. Nhưng từ quan điểm của một bảng chân lý, đó là một trạng thái không thể.

Có, nó hoạt động, và có, tôi có thể sống với nó. Nhưng tôi tự hỏi nếu có một số cơ chế trong C# để tránh loại mã này, hoặc nếu tôi đã bỏ lỡ một cái gì đó hiển nhiên?

UPDATE:
Đối với điểm thưởng, và hoàn toàn ra khỏi tò mò, là có bất kỳ ngôn ngữ mà đối phó với các loại điều này khác nhau? Có lẽ nó không phải là một vấn đề ngôn ngữ, mà là một trong những trình biên dịch thông minh (nhưng các trường hợp cạnh sẽ phức tạp không tưởng tượng được).

Answer 1

Xem xét bảng chân lý, điều kiện cuối cùng là hoàn toàn superfluos. Nó có thể được giảm mà không thay đổi logic của chương trình của bạn, như thế này:

public MyType doSomething(bool a, bool b) { 

     if (a && b) return doAB(); 
else if (a && !b) return doA(); 
else if (!a && b) return doB(); 
else/*if (!a && !b)*/ return doNotANotB(); 
} 

Bây giờ bạn có một nhận tất cả thức if, và trình biên dịch của bạn là hạnh phúc. Bạn không cần phải loại bỏ hoàn toàn điều kiện - tôi thường tìm thấy nó là một ý tưởng hay để giữ nó trong một bình luận để có thể đọc được.

Answer 2

public MyType doSomething(bool a, bool b) 
     { 
      switch(a) 
      { 
       case true: 
        if (b) return doAB(); 
        return doA(); 
       default: 
        if (b) return doB(); 
        return doNotANotB(); 

      } 

     } 

Cập nhật:

Lưu ý rằng tuyên bố ban đầu của bạn là thực sự:

public MyType doSomething(bool a, bool b) 
     { 
      if (a && b) return doAB(); 
      if (a) return doA(); 
      if (b) return doB(); 
      return doNotANotB(); 
     } 

Đối với niềm vui và succintnes (nếu không nói là dễ đọc: p):

static MyType doSomething(bool a, bool b) 
     { 
      return a && b ? doAB() : a ? doA() : b ? doB() : doNotANotB(); 
     } 

Answer 3

Thử f #. Nếu nó có thể phát hiện điều kiện đầy đủ phù hợp với chỉ thị khớp của nó thì nó không yêu cầu người khác.

http://ganesansenthilvel.blogspot.co.at/2011/12/f-pattern-matching.html?m=1#!

> let testAND x y = 
match x, y with 
| true, true -> true 
| true, false -> false 
| false, true -> false 
| false, false -> true 

> testAND true false;; 
val it: bool = true 

và cho một đặc điểm kỹ thuật đầy đủ

> let testAND x y = 
match x, y with 
| true, true -> true 
// Commented | true, false -> false 
| false, true -> false 
| false, false -> true 
> testAND true false;; 

trình biên dịch sẽ nói

Microsoft.Fsharp.Core.MatchFailureExcption: The match cases were incomplete at:.... 
Stopped due to error 

Answer 4

if(a) return b ? doAB() : doA(); 
else return b ? doB() : doNotAnotB(); 

Hoặc ngắn:

return a ? (b ? doAB() : doA()) 
     : (b ? doB() : doNotAnotB());