Requisitos para std :: ignorar

C ++ 11 introduce un objeto llamadostd::ignore:

const /* unspecified */ ignore;

Por brevedad, vamos

typedef decltype(std::ignore) T; 

Por lo que puedo decir, el único requisito paraT es que esCopyAssignable, debido a la especificación destd::tie [C ++ 11, 20.4.2.4:7].

En g ++ - 4.8, encuentro queT es adicionalmenteDefaultConstructible (p.ej.,T x; compila). ¿Es este comportamiento de implementación definido?

(Si hay otros requisitos enT que he echado de menos, por favor explique.)

Respuestas a la pregunta(2)

Su respuesta a la pregunta