C 배치-새 어레이에 실제로 얼마나 많은 버퍼 공간이 필요합니까?

Array Placement-New: 지정되지 않은 오버헤드의 영향 이해

C 표준에서는 배열 배치-새 표현식이 지정되지 않은 오버헤드를 발생할 수 있다고 규정합니다. 할당된 버퍼입니다. 변수 x 및 y로 표시되는 이 오버헤드는 new의 다양한 호출에 따라 달라질 수 있습니다.

예제 코드를 고려하세요.

void* buffer = malloc(sizeof(std::string) * 10);
std::string* p = ::new (buffer) std::string[10];

표준에 따르면, position-new 표현식 new( 버퍼) std::string[10]은 내부적으로 연산자 new[](sizeof(std::string) * 10 y를 호출합니다. buffer).

그러나 이로 인해 문제가 발생합니다. y가 0보다 큰 경우 미리 할당된 버퍼 버퍼가 너무 작아서 런타임 오류가 발생할 수 있습니다.

어떻게 필요한 버퍼 크기를 결정하려면

표준은 y가 항상 0일 것이라고 보장하지 않습니다. 사전 할당된 버퍼가 충분하다면 필요한 추가 오버헤드를 수동으로 계산할 수 있습니다. 불행하게도 이를 위해서는 플랫폼별 구현 세부 사항에 대한 지식이 필요합니다.

대안: 구현에 구애받지 않는 접근 방식

구현별 지식에 의존하지 않으려면 다음을 사용할 수 있습니다. 자체 배치 배열 런타임 시 오버헤드를 확인하는 새로운 구현:

inline
void*
operator new[](std::size_t n, void* p, std::size_t limit)
{
    if (n <= limit)
        std::cout << &quot;life is good\n&quot;;
    else
        throw std::bad_alloc();
    return p;
}

배열 크기를 변경하고 n을 검사하여 위의 예에서 특정 플랫폼에 대한 y 값을 추론할 수 있습니다.

업데이트: 오버헤드 제거

Nicol Bolas는 2019년 11월 현재, 결함 보고서를 통해 이 문제가 해결되었으며 new[](std::size_t, void* p) 연산자에 대해 y가 항상 0이 되도록 했습니다. 이 변경 사항은 모든 C 버전에 소급 적용됩니다. 따라서 오버헤드 추정은 더 이상 필요하지 않습니다.

위 내용은 C 배치-새 어레이에 실제로 얼마나 많은 버퍼 공간이 필요합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!