<optional<bool>>следует использовать с особой осторожностью и вниманием.

Во-первых, он функционально похож на трисостояние булевое (ложное, может быть, истинное) — например,boost::tribool— за исключением того, что в трисостоянии булевое состояниепредставляет собой действительное значение, в отличие от соответствующего состояния неинициализированного<optional<bool>>. Следует тщательно рассмотреть, действительно ли требуется<optional<bool>>вместо<tribool>.

Во-вторых, хотя<optional<>>обеспечивает контекстное преобразование в<bool>в C++11, это возвращается к неявному преобразованию на старых компиляторах. Это преобразование относится к состоянию инициализации, а не к содержащемуся значению. Использование<optional<bool>>может привести к тонким ошибкам из-за неявного<bool>Преобразование:

void foo ( bool v ) ;
void bar()
{
    optional<bool> v = try();
    // The following intended to pass the value of 'v' to foo():
    foo(v);
    // But instead, the initialization state is passed
    // due to a typo: it should have been foo(*v).
}

Единственная неявная конверсия —<bool>, и она безопасна в том смысле, что типичные интегральные рекламные акции не применяются (то есть, если<foo()>вместо этого принимает<int>, он не будет компилироваться).

В-третьих, смешанные сравнения с<bool>работают иначе, чем аналогичные смешанные сравнения между указателями и<bool>, поэтому результаты могут вас удивить:

optional<bool> oEmpty(none), oTrue(true), oFalse(false);
if (oEmpty == none);  // renders true
if (oEmpty == false); // renders false!
if (oEmpty == true);  // renders false!
if (oFalse == none);  // renders false
if (oFalse == false); // renders true!
if (oFalse == true);  // renders false
if (oTrue == none);   // renders false
if (oTrue == false);  // renders false
if (oTrue == true);   // renders true

Иными словами, для<optional<>>следующее утверждение не выполняется:

assert((opt == false) == (!opt));