배치 '새`는 기본 저장소 값에 의존할까요?

Question

일부 상황부터 살펴 보겠습니다.

사용자 정의 메모리 풀은 다음과 유사한 코드를 사용했다 :

struct FastInitialization {}; 

template <typename T> 
T* create() { 
    static FastInitialization const F = {}; 

    void* ptr = malloc(sizeof(T)); 
    memset(ptr, 0, sizeof(T)); 
    new (ptr) T(F); 
    return reinterpret_cast<T*>(ptr); 
} 

생각 FastInitialization를 호출 할 때, 생성자는 저장 이미 제로 초기화 있다고 가정 따라서 만 초기화 할 수 있다는 것입니다 다른 가치가 필요한 회원.

GCC (6.2 및 6.3, 적어도) 그러나에 개막에 "흥미로운"최적화를 가지고

struct Memset { 
    Memset(FastInitialization) { memset(this, 0, sizeof(Memset)); } 

    double mDouble; 
    unsigned mUnsigned; 
}; 

Memset* make_memset() { 
    return create<Memset>(); 
} 

는 아래로 컴파일합니다.

make_memset(): 
     sub  rsp, 8 
     mov  edi, 16 
     call malloc 
     mov  QWORD PTR [rax], 0 
     mov  QWORD PTR [rax+8], 0 
     add  rsp, 8 
     ret 

그러나 :

struct DerivedMemset: Memset { 
    DerivedMemset(FastInitialization f): Memset(f) {} 

    double mOther; 
    double mYam; 
}; 

DerivedMemset* make_derived_memset() { 
    return create<DerivedMemset>(); 
} 

을

아래로 컴파일 :

make_derived_memset(): 
     sub  rsp, 8 
     mov  edi, 32 
     call malloc 
     mov  QWORD PTR [rax], 0 
     mov  QWORD PTR [rax+8], 0 
     add  rsp, 8 
     ret 

즉, 기본에 해당하는 부분 인 struct의 처음 16 바이트 만 초기화되었습니다. 디버깅 정보는 memset(ptr, 0, sizeof(T));에 대한 호출이 완전히 제거되었음을 확인합니다.

make_derived_memset():    # @make_derived_memset() 
     push rax 
     mov  edi, 32 
     call malloc 
     xorps xmm0, xmm0 
     movups xmmword ptr [rax + 16], xmm0 
     movups xmmword ptr [rax], xmm0 
     pop  rcx 
     ret 

그래서 GCC와 연타의 행동이 다르며, 문제가된다 : GCC 권리 인 반면에

, 모두 ICC와 연타 모두 전체 크기에 memset 전화, 여기에 연타의 결과입니다 더 나은 어셈블리를 만들거나 Clang right와 GCC 버그가 있습니까?

---

또는 언어 변호의 관점에서 : 생성자가 할당 된 스토리지에 저장된 이전 값에 의존 할 수

있는 상황에서?

참고 : 게재 위치는 new이며 문제가 있다고 가정합니다.

Answer 1

게재 위치 new은 기본 저장 값을 사용합니까?

아니요, 그렇지 않을 수도 있습니다. [dcl.init]에서 :

개체에 대해 지정된 초기화 프로그램이 없으면 개체가 기본 초기화됩니다.자동 또는 동적 저장 기간을 갖는 객체 에 대한 저장 공간이 확보되면 객체는 불확정 값을 가지며 객체에 대해 초기화가 수행되지 않으면 객체는 해당 값이 대체 될 때까지 불확정 값을 유지합니다 (5.18).

불확정 값은 불확정성을 의미합니다. 배치 표현식의 경우 이전 메모리가 반드시 유지되어야 함을 의미하지는 않습니다. 컴파일러는 메모리에 원하는 모든 작업을 수행 할 수 있습니다.이 작업에는 아무런 제한도 없습니다.

어떤 상황에서 생성자는 할당 된 저장소에 저장된 이전 값을 신뢰할 수 있습니까?

동작이 이다 나열 경우 [dcl.init]에 후속 단락되지 불확정 값을 생성하지만 단지 부호 좁은 문자 유형으로 할 때 정의.

따라서 어떠한 경우에도 적용되지 않습니다.

Answer 2

GCC와 Clang이 모두 정확합니다. - 자신의 데이터 멤버를 DerivedMemset으로 초기화하지 않은 채로두면 해당 값에 액세스하자마자 정의되지 않은 동작이 발생합니다. 따라서 컴파일러는 생성자가 호출되기 직전에 해당 필드가 차지할 저장소 범위의 비트 패턴을 남겨 둘 라이센스를 제공받습니다.