É garantido que o destruidor de um objeto local dentro de um loop seja chamado antes da próxima iteração?

Quando eu tenho um loop e, dentro desse loop, crio uma nova variável de pilha (sem alocá-la no heap e com a variável declarada dentro do corpo do loop), é garantido que o destruidor desse objeto será chamado antes do início da próxima iteração ou poderá loop desenrolando pelo compilador mudar algo sobre isso?

De n4800:

§6.3.3 Escopo do bloco :

Um nome declarado em um bloco (8.3) é local para esse bloco; tem escopo de bloco. Seu escopo potencial começa no ponto da declaração (6.3.2) e termina no final do seu bloco. Uma variável declarada no escopo do bloco é uma variável local.

§10.3.6 Destrutores :

Um destruidor é chamado implicitamente [...] quando o bloco no qual um objeto é criado sai (8.7)

§4.1.1 Máquina abstrata :

Essa disposição é algumas vezes chamada de regra "como se", porque uma implementação é livre para desconsiderar qualquer requisito deste documento, desde que o resultado seja como se o requisito tivesse sido obedecido, na medida em que possa ser determinado pelo comportamento observável de o programa .

[Ênfase minha]

Então sim. Sua variável fica fora de escopo no final do loop (que é um bloco) e, portanto, seu destruidor é chamado na medida em que qualquer pessoa que observe o comportamento do programa possa perceber .

Sim. É mais fácil visualizar quando você considera os "blocos" nos quais declara uma variável, ou seja, entre qual par de chaves. O loop é um bloco em si e, quando atinge o colchete de fechamento, antes da próxima iteração, todos os destruidores de variáveis ​​de armazenamento automático declaradas no loop são chamados.

pode desenrolar loop pelo compilador mudar alguma coisa sobre isso?

Como regra geral, não pense no que o compilador otimizará, pois ainda precisa garantir o comportamento do seu programa, não importa o que ele faça para otimizá-lo. Nesse caso, o desenrolar do loop não mudará nada nesse sentido se isso acontecer.

O destruidor é chamado para todas as iterações. Assim, em alguns casos, é mais rápido declarar uma variável fora do loop em vez de no loop. Supondo o seguinte caso:

std::string temp;
for(int i = 0; i < 10; ++i){
    temp = arr[i];
    doSomething(temp);
}

O destruidor não é chamado quando o loop é executado. Apenas substitui temp.

Mas se você usa std::string temp = arr[i] o construtor e o destruidor, será chamado para cada iteração. Eu acho que isso adiciona um pouco de tempo de execução, caso você tenha um loop que é executado com muita frequência.

O destruidor é chamado antes da próxima iteração

Obviamente, o dtor é chamado no final da iteração e o desenrolamento de loop não deve modificar esse comportamento, como qualquer outra otimização (uma otimização não deve modificar o comportamento do programa), exceto algum tipo de RVO e similar que pode eliminar algumas criações de objetos semanticamente espúrios .