Lo séshared_ptr, unique_ptr, weak_ptr se garantiza que estarán vacías después de usarse como argumento RVR en el constructor del mismo tipo, pero me pregunto si el estándar especifica esto para algún otrostd:: tipos al lado de los que mencioné.

Tenga en cuenta que sé que los elementos después del movimiento quedan válidos perosin especificar estado, aquí estoy interesado para qué tipos de estado se especifica.