Boost :: tribool: hành vi kỳ lạ hoặc lỗi?

Question

Tôi đang khám phá boost::tribool và đã rất ngạc nhiên bởi hành vi sau đây.

{ 
using namespace boost; 

boost::tribool t(indeterminate); 

assert(t==indeterminate); // This assertion fails! 
} 

Tuy nhiên, nếu tôi làm điều này, xác nhận sẽ chuyển.

assert(indeterminate(t)); 

Không cảnh báo trình biên dịch hoặc lỗi nào trong cả hai trường hợp. Bất cứ ai có một lời giải thích tốt về lý do tại sao điều này nên được ??

Answer 1

Tôi nghĩ rằng câu trả lời là trong documentation:

kết quả của việc so sánh hai giá trị không xác định là không xác định (không đúng) - chúng tôi không biết những gì các giá trị, vì vậy chúng tôi không thể nói rằng họ là công bằng;

chức năng indeterminate có thể được sử dụng để kiểm tra xem tribool có ở trạng thái không xác định hay không.