[c++] 루프 내에서 로컬 객체의 소멸자가 다음 반복 전에 호출되도록 보장됩니까?

보낸 사람 n4800:

6.3.3 블록 범위 :

블록 (8.3)에 선언 된 이름은 해당 블록의 로컬 이름입니다. 블록 범위가 있습니다. 잠재적 인 범위는 선언 지점 (6.3.2)에서 시작하여 블록 끝에서 끝납니다. 블록 범위에서 선언 된 변수는 로컬 변수입니다.

§10.3.6 소멸자 :

객체가 생성 된 블록이 종료되면 소멸자가 암시 적으로 […] 호출됩니다 (8.7).

§4.1.1 초록 머신 :

이 규정은“만약”규칙이라고도하며, 그 결과는 관찰 가능한 행동에서 결정될 수있는 한 , 요구 사항이 준수 된 것처럼 결과가이 문서의 요구 사항을 자유롭게 무시할 수 있기 때문 입니다. 프로그램 .

[엠파 시스 광산]

예. 변수는 루프의 끝 (블록)에서 범위를 벗어나므로 프로그램의 동작을 관찰하는 사람이 말할 수 있는 한 소멸자가 호출 됩니다 .

답변

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