memcpy는 C에서 간단하게 복사 가능한 객체를 생성합니까?

memcpy를 사용하여 간단하게 복사 가능한 개체 "구성"의 호환성 공개

C 프로그래밍 영역에서 memcpy와 같은 비트 복사 방법을 사용하여 간단하게 복사 가능한 개체를 구성하는 것은 객체 수명에 관한 논쟁이 촉발되었습니다. 질문이 생깁니다: 다음 코드에서 b가 가리키는 객체는 잘 정의된 수명을 보장합니까?

struct T {
    int x, y;
};

int main() {
    void *buf = std::malloc(sizeof(T));
    if (!buf) return 0;

    T a{};
    std::memcpy(buf, &a, sizeof a);
    T *b = static_cast<T *>(buf);

    b->x = b->y;

    free(buf);
}

해결되지 않은 문제

C 지속적인 논의와 제안에도 불구하고 이 문제에 대한 표준은 여전히 ​​모호합니다. 명확한 지침이 부족하여 의미 기반 분석 도구, 옵티마이저 및 수명 추적에 대한 의미와 함께 이 질문에 답할 수 없게 되었습니다.

N3751 제안

N3751은 memcpy 인식을 제안합니다. 수명 분석을 유지하면서 바이너리 IO를 지원하는 개체 구성으로 고유한 복사 가능한 개체를 포함하는 작업 Capability.

C 14 표준

C 14 표준은 정의, 새로운 표현을 통해 또는 구현에서 필요하다고 판단할 때 객체 생성이 발생하는 것으로 정의합니다. 현재 언어에서는 객체 생성을 위한 memcpy 사용을 명시적으로 다루지 않습니다.

std::Vector 구현

std::Vector의 현재 구현은 실용적인 시나리오를 강조합니다. 이 문제가 발생하면 정의되지 않은 동작이 발생합니다.

제안 p0593: 암시적 개체 생성

p0593 제안은 malloc 및 memcpy 호출을 포함하여 객체가 암시적으로 생성되는 시나리오를 명시적으로 정의하여 이러한 모호성을 해결하는 것을 목표로 합니다. 이는 주문형 개체를 생성하여 프로그램에 정의된 동작을 제공하는 메커니즘을 제안합니다. 하지만 이 제안은 아직 검토 중입니다.

결론

memcpy를 사용한 객체 생성 현황은 C 커뮤니티에서 여전히 지속적인 논쟁의 주제로 남아 있습니다. 합의에 도달하고 표준이 업데이트될 때까지 제공된 예제와 같은 코드 동작은 정의되지 않은 상태로 유지되어 잠재적으로 예측할 수 없는 프로그램 동작으로 이어질 수 있습니다.

위 내용은 memcpy는 C에서 간단하게 복사 가능한 객체를 생성합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!