C ++ 11 представляет объект под названием:std::ignore

const /* unspecified */ ignore;

Для краткости пусть

typedef decltype(std::ignore) T; 

Из того, что я могу сказать, единственное требование дляT это то, что этоCopyAssignableиз-за спецификацииstd::tie [C ++ 11, 20.4.2.4:7].

В g ++ - 4.8 я нахожу, чтоT это дополнительноDefaultConstructible (например.,T x; компилирует). Это поведение, определяемое реализацией?

(Если есть другие требования кT что я пропустил, пожалуйста, уточните.)