as_if
as_if (as-if 규칙)
as-if 규칙은 컴파일러가 관찰 가능한 동작을 유지한다면 구현을 자유롭게 바꿀 수 있는 원칙이에요.
출처: cppreference
본문
as-if 규칙에 따라 컴파일러는 최적화할 수 있어요. 관찰 가능한 결과가 같다면 코드 순서·표현을 바꿔도 된다는 원칙이에요.
int x = 0; for (int i=0;i<1000000;++i) x+=0; // x는 여전히 0
컴파일러가 불필요한 연산을 제거할 수 있어요.