게재 위치 new []의 사용에있어 잘못된 점은 무엇입니까? do

Question

아래 프로그램을 고려하십시오. 복잡한 경우에서 단순화되었습니다. Obj 클래스에서 가상 소멸자를 제거하지 않으면 이전에 할당 된 메모리를 삭제할 수 없습니다. 가상 소멸자가있는 경우에만 프로그램의 출력에서 ​​두 주소가 다른 이유를 이해할 수 없습니다. 가상 소멸자가 존재할 때

// GCC 4.4 
#include <iostream> 

using namespace std; 

class Arena { 
public: 
    void* alloc(size_t s) { 
     char* p = new char[s]; 
     cout << "Allocated memory address starts at: " << (void*)p << '\n'; 
     return p; 
    } 

    void free(void* p) { 
     cout << "The memory to be deallocated starts at: " << p << '\n'; 
     delete [] static_cast<char*> (p); // the program fails here 
    } 
}; 

struct Obj { 
    void* operator new[](size_t s, Arena& a) { 
     return a.alloc(s); 
    } 

    virtual ~Obj() {} // if I remove this everything works as expected 

    void destroy(size_t n, Arena* a) { 
     for (size_t i = 0; i < n; i++) 
      this[n - i - 1].~Obj(); 
     if (a) 
      a->free(this); 
    } 
}; 


int main(int argc, char** argv) { 
    Arena a; 

    Obj* p = new(a) Obj[5](); 
    p->destroy(5, &a); 

    return 0; 
} 

이

내 구현 프로그램의 출력 :

에서

할당 된 메모리 어드레스는 시작 : 0x8895008 메모리는에서 시작을 해제 할 : 0x889500c

실행 실패 (종료 값 1)

어떤 프로그램이 필요한지 묻지 마십시오. 영형. 내가 말했듯이, Arena가 다양한 메모리 유형을위한 인터페이스 인보다 복잡한 경우에서부터옵니다. 이 예제에서 메모리는 힙에서 할당되고 할당이 해제됩니다.

Answer 1

this 당신은 크기 s는보다 큰 5 개 Obj 경우가 있음을 볼 수 있습니다 char* p = new char[s]; 줄에서 new에 의해 반환 된 포인터가 아니다. 차이 (sizeof (std::size_t)이어야 함)는 this에 포함 된 주소 바로 앞에 배열 길이 5를 포함하는 추가 메모리에 있습니다.

OK, 사양은 명확하게 :

http://sourcery.mentor.com/public/cxx-abi/abi.html#array-cookies

2.7 배열 연산자 새 쿠키

새로운 운영자가 새로운 배열을 만드는 데 사용하는 경우, 쿠키가 일반적으로 저장

기억 할당이 끝난 길이 (배열 요소의 수)에 의해 올바르게 할당 해제 할 수있다

배열 요소 타입 T 사소한 소멸자 (12.4 [class.dtor])과 일반 (배열) 해제 기능을 갖고 있으면 어떠한 쿠키가 필요하지 않다 (3.7.3.2 [basic.stc : 구체적

.dynamic.deallocation]) 함수는 두 개의 인수를 취하지 않습니다.

그래서, 소멸자의 가상 -ness 무엇 중요한 것은 소멸자가 쉽게 소멸자 앞에 키워드 virtual을 삭제하여, 확인 할 수있는 비 사소한 점이다, 무관 프로그램 충돌을 관찰하십시오. 당신이 "안전"하게하려는 경우, 오한 '답변에 따라

Answer 2

: 당신이 * 할

#include <type_traits> 

a->free(this - (std::has_trivial_destructor<Obj>::value ? 1 : 0));