Adakah memcpy secara tersirat Membina Objek dalam C?

Penciptaan Objek Tersirat dalam C : Kes Rumit "membina"

Dalam C , tingkah laku salinan memori (memcpy) apabila digunakan dengan jenis yang boleh disalin secara remeh boleh menimbulkan persoalan tentang kitaran hayat objek. Coretan kod berikut menggambarkan kekaburan:

#include <cstdlib>
#include <cstring>

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);

    return 0;
}

Soalan utama ialah sama ada segmen kod bermula dengan T *b = static_cast mencipta objek yang hayatnya telah bermula. Piawaian C tidak mempunyai kejelasan tentang isu ini, merujuknya sebagai tidak dinyatakan.

N3751, kertas kerja yang mencadangkan memcpy diiktiraf sebagai operasi pembinaan objek, belum diterima ke dalam piawaian lagi. Piawaian draf semasa menyebut penciptaan objek melalui takrifan, ungkapan baharu atau keperluan pelaksanaan, tetapi tidak secara eksplisit menangani salinan yang dibuat menggunakan memcpy.

Cadangan p0593 bertujuan untuk menangani kekaburan ini dengan memperkenalkan konsep penciptaan objek tersirat untuk manipulasi ingatan peringkat rendah. Ia mencadangkan agar memcpy dan operasi serupa secara tersirat mencipta objek dalam storan yang baru diperuntukkan. Ini akan memberikan gelagat yang jelas untuk coretan kod yang dibentangkan.

Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa p0593 masih belum disemak atau diterima lagi. Oleh itu, tingkah laku memcpy apabila digunakan dengan jenis yang boleh disalin secara remeh kekal tidak dinyatakan dalam piawaian C.

Atas ialah kandungan terperinci Adakah memcpy secara tersirat Membina Objek dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!