C++向けライブラリboostにあるboost::optionalは、
値がない状態(初期化すらされていない状態)を表現できる仕組みです。