컴파일러는 As-if 규칙을 위반하지 않고 힙 메모리 할당을 최적화할 수 있습니까?

힙 메모리 할당의 컴파일러 최적화

컴파일러가 힙 메모리 할당을 최적화할 수 있는지 여부에 대한 질문은 일부 컴파일러가 수행하는 관찰에서 발생합니다. 이 최적화는 다른 사람들은 그렇지 않습니다. 특히 clang 3.0 이상 버전에서는 다음 코드의 새 호출을 최적화합니다.

int main()
{
    int* mem = new int[100];
    return 0;
}

g와 Visual Studio는 그렇지 않습니다. 이는 이러한 최적화가 as-if 규칙을 위반할 수 있다는 우려를 불러일으킵니다. 이는 컴파일러가 마치 표준을 따른 것처럼 관찰 가능한 동작을 생성하도록 요구합니다.

Clang 최적화 및 As-if 규칙

clang 최적화의 역사는 그 타당성을 밝혀줍니다. Clang의 최적화는 N3664를 따르므로 이러한 최적화가 가능합니다. 그러나 이 결정의 인과관계는 여전히 의문입니다.

또는 new가 관찰 가능한 동작에 영향을 미치는 예외를 발생시킬 수 있기 때문에 as-if 규칙은 그러한 최적화를 금지하는 것으로 해석될 수 있습니다. 그러나 clang은 이것이 구현 세부 사항이며 예외가 발생하지 않을 것이라고 결정했다고 주장할 수 있습니다.

Non-Throwing Operator New

에 대한 인수 던지지 않는 버전에 대한 호출을 최적화하는 것도 as-if 규칙에 따라 유효합니다. 그러나 대체 전역 연산자 new가 있는 경우 최적화는 잠재적으로 as-if 규칙을 위반할 수 있습니다. create() 호출까지 최적화했던 Clang의 이전 과도한 공격적 최적화는 이후 버전에서 수정되었습니다.

결론

힙 메모리 할당을 최적화하는 컴파일러의 능력은 여전히 마치 규칙과 코드 동작에 잠재적인 영향을 미칠 수 있는 논쟁 주제입니다. Clang의 최적화는 N3664에서 허용되지만 일부 주장에서는 특정 상황에서 as-if 규칙을 잠재적으로 위반할 수 있다고 제안합니다. 개발자가 이러한 미묘함을 인식하고 이러한 최적화의 관찰 가능한 결과를 고려하는 것이 중요합니다.

위 내용은 컴파일러는 As-if 규칙을 위반하지 않고 힙 메모리 할당을 최적화할 수 있습니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!