Bạn có thấy bất kỳ việc sử dụng Trilean nào (Đúng, Sai, ??) [đã đóng]

Đôi khi tôi có một hàm nên trả về đúng hoặc sai. Nhưng đôi khi ba giá trị có thể sẽ có ý nghĩa hơn.

Trong một số ngôn ngữ, các trường hợp sẽ được xử lý bằng số nguyên hoặc ngoại lệ.

Ví dụ, bạn muốn xử lý tuổi của người dùng nếu anh ta trên 18 tuổi. Và bạn có một chức năng như thế này.

if(user.isAdult(country_code)){
     //Go On
}else{
     // Block access or do nothing
}

Nhưng trong một số trường hợp tùy thuộc vào cách ứng dụng của bạn được xây dựng, tôi có thể thấy trường hợp trường sinh nhật không đầy đủ. Sau đó, chức năng này sẽ trả lại một cái gì đó không xác định.

switch(user.isAdult()){
    case true:
        // go on
        break;
    case undetermined:
        //Inform user birthday is incomplete
    case false:
        //Block access
}

Như tôi đã nói, chúng ta có thể xử lý điều đó với Exceptions và Int, nhưng tôi sẽ thấy khá gợi cảm khi có một sự thật, sai, không xác định được nhúng trong ngôn ngữ thay vì sử dụng một số hằng định nghĩa tại nhà.

Điều này có thể được xử lý bằng enum, số nguyên, ký hiệu (ví dụ: Lisp, Ruby), loại nullable (sử dụng null làm trạng thái không xác định), loại tùy chọn (ví dụ ML) hoặc một số cấu trúc tương tự - tùy thuộc vào ngôn ngữ của bạn.

Vì vậy, trong khi ví dụ và lý do của bạn là âm thanh, tôi không thể thấy nó nằm trong danh sách ưu tiên của các tính năng ngôn ngữ để phát triển.

Tôi chưa thấy trường hợp nào là cần thiết. Trong ví dụ bạn đã đưa ra, nếu trường đó là cần thiết thì nó đã được xác nhận ở nơi khác. isAdult()vốn dĩ là một phương pháp hai trạng thái: Bạn có hoặc không. Không cần phải làm gì ngoài việc trả về false nếu gặp dữ liệu mà nó không thể xử lý. Ví dụ:

switch(user.isAdult()){
   case true:
      // go on
      break;
   default:
      // Block access.
}

đúng, sai, không rõ

vâng, không, có lẽ

trong C #, bạn có thể sử dụng một bool nullable (bây giờ bạn có thể giật mình trong nỗi kinh hoàng)

trong MS-SQL, bạn có thể sử dụng trường bit nullable (ditto)

Trong C ++, điều này có thể được xử lý với loại không booltrả về hoặc bằng cách ném một ngoại lệ. Nếu bạn muốn loại trả về ba giá trị, sử dụng một enum. Nó không phải là gợi cảm, nhưng nó hoạt động, và điều quan trọng hơn bạn có thể làm điều đó mà không làm rối ngôn ngữ cho phần còn lại của chúng tôi.

Có boolba giá trị sẽ gây ra vấn đề. Làm thế nào để bạn xử lý bool foo; ... if (foo)..., giả sử foocó thể có bất kỳ trong ba giá trị? Có những lợi thế để có boolcác biến sao cho chính xác một trong số đó foovà !fooluôn luôn đúng. Nó giúp lý do về các chương trình.

Kiểm tra những gì mọi người làm trong xử lý số khi họ có thể có được NaNgiá trị. Nó phức tạp lắm. Tôi thà không phải trải qua nó để xử lý boolean thông thường.

Nếu bạn muốn .isAdult()xử lý thông tin không đầy đủ, hãy yêu cầu nội bộ thực hiện điều đó và sau đó trả lại truehoặc false. Mặt khác, mỗi khi bạn sử dụng nó, bạn cần kiểm tra mã trả về trước khi làm bất cứ điều gì khác và đưa ra cách xử lý. Điều đó có nghĩa là bạn phải kiểm tra các tài liệu để xem liệu một hàm có thực sự làm đúng như tên gọi của nó không, và đó sẽ là một thảm họa cho khả năng đọc.

Ý tưởng khá hữu ích. Có cả một lĩnh vực dành cho việc đối phó với sự không chắc chắn được gọi là Logic Mờ .

May mắn cho các lập trình viên của chúng tôi, bạn có thể thực hiện logic mờ với các tính năng ngôn ngữ tiêu chuẩn.

Chẳng hạn, trong trường hợp bạn đưa ra, thông tin không chắc chắn có thể dễ dàng xác định bằng cách hỏi người dùng. Vì vậy, một enum ba trạng thái như bạn mô tả sẽ hoạt động tốt.

Có tất cả các cách khác để không chắc chắn. Những câu hỏi như vậy bao gồm:

• Liệu mai có mưa không? Điều đó chưa xảy ra, vì vậy không ai có thể biết - nhưng bạn có thể đoán và đưa ra xác suất.
• Có sự sống đa bào trên một hành tinh trong hệ mặt trời của ngôi sao Beta Pictoris? Nó có một câu trả lời chắc chắn có hoặc không, nhưng hiện tại chúng tôi không thể nói đó là gì.

Rất nhiều câu hỏi có thể được xử lý bằng cách sử dụng xác suất trong phạm vi 0,0 (sai) đến 1,0 (đúng) và áp dụng toán học dấu phẩy động.

Một nhà hóa học tính toán và nhà khoa học máy tính tên David E. Shaw đã áp dụng loại điều này cho Phố Wall và hiện trị giá khoảng 2,5 tỷ đô la. Vì vậy, có, nó hữu ích. :-)

Nhiều năm trước tôi đã chơi với một số thuật toán được đưa ra để gán niềm tin cho các giá trị. Là loại vui vẻ. Cuối cùng, những gì tôi đã đạt được từ nó là boolean thường là một sự phù hợp. Thực sự nó phải là một giá trị đúng / sai / khác. Trong thử nghiệm dường như dẫn đến mã "tốt nhất" cho tôi tại thời điểm đó. Kể từ đó, tôi đã trích dẫn và làm những gì người khác làm, trong khi suy nghĩ bên trong, nó CÓ THỂ đơn giản hơn bao nhiêu nếu chúng ta bỏ việc làm theo cách cũ ... :-)

Tuy nhiên, các câu lệnh Case hoặc Switch sẽ hoạt động tốt cho việc này bằng cách sử dụng các số nguyên để tùy ý xử lý chuyển đổi.

Ngoài ra, trong Ruby, trong khi 'nil' trả về là sai trong một số trường hợp, nếu bạn sử dụng toán tử đẳng thức, nil == falsetrả về false, vì vậy bạn có thể sử dụng ruby nilđể xử lý logic tạm thời.

Một lựa chọn khác trong trường hợp của bạn có thể là đảo ngược sự kiểm soát bằng cách áp dụng hiệu trưởng "nói không hỏi" và đổi nó thành (xin lỗi về từ trưởng thành, tắc nghẽn não):

user.isAdult(new OnlyAllowAdultsToLogin())

nơi OnlyAllowAdultsToLoginStrategythực hiện một giao diện:

interface UserAdultnessPolicy
{
   void userIsAdult();
   void userIsChild();
   void userAdultnessIsUnknown();
}

Con trai tôi đã hỏi tôi làm thế nào để thực hiện hiệu quả các xét nghiệm giống như thế này. Các cờ được kiểm tra chỉ đúng / sai, nhưng các que diêm có ba trạng thái (Nó phải đúng, nó phải sai hoặc tôi không quan tâm). Tất nhiên điều này có thể được thực hiện với cấu trúc dữ liệu 2 bit và một chút vặn vẹo, nhưng loại mã đó thực sự cần phải được nhận xét vì mục đích không dễ dàng nhận ra khi chỉ nhìn vào mã.

C có tính năng này được thực hiện trong hầu hết các chức năng của thư viện. vd .

Cách tiếp cận tương tự có thể được sử dụng ở nơi khác, + / 0 / - như trạng thái ba của bạn. Nó cũng cho phép bạn thực hiện logic boolean trên các giá trị nếu bạn biết 0 nếu sai và bất kỳ giá trị nào khác là đúng.

Đối với C ++, Boost thực sự triển khai Tribool được mô tả như sau:

Lớp tribool hoạt động giống như kiểu bool tích hợp, nhưng đối với logic boolean 3 trạng thái. Ba trạng thái là đúng, sai và không xác định, trong đó hai trạng thái đầu tiên tương đương với trạng thái của loại bool C ++ và trạng thái cuối cùng đại diện cho một giá trị boolean không xác định (có thể đúng hoặc sai, chúng tôi không biết).

Hộp kiểm VB6 có khả năng này. Các giá trị hộp kiểm có thể là 0 = tắt, 1 = bật, 2 = xám