20 Library introduction [library]

20.3 Definitions [definitions]

20.3.25 valid but unspecified state [defns.valid]

значение объекта, которое не указано, за исключением того, что инварианты объекта выполняются, и операции с объектом ведут себя так, как указано для его типа
[ Example: Если объект x типа std​::​vector<int> находится в допустимом, но неуказанном состоянии, x.empty() может вызываться безоговорочно и x.front() может быть вызван только если x.empty() вернется false. ] end example