Les goto et les destructeurs sont-ils compatibles?

Question

Ce code conduit à un comportement non défini:

void some_func() { 
    goto undefined; 
    { 
    T x = T(); 
    undefined: 
    } 
} 

Le constructeur n'est pas appelé.

Mais qu'en est-il de ce code? Le destructeur de x sera-t-il appelé? Je pense que ce sera, mais je veux être sûr. :)

void some_func() { 
    { 
    T x = T(); 
    goto out; 
    } 
    out: 
} 

Answer 1

Oui, les destructeurs seront appelés comme prévu, de la même manière que si vous aviez quitté la portée plus tôt en raison d'une exception.

standard 6,6/2 (états de saut):

A la sortie de la portée (cependant accompli), les destructeurs sont appelés pour tous les objets construits avec la durée de stockage automatique qui sont déclarées en ce que la portée, dans l'ordre inverse de leur déclaration.