Czy legalne jest używanie memcpy ze strukturą docelową ze stałymi członkami?

Question

Na przykład, jest następująca funkcja prawna:

struct two_int { 
    const int a, b; 
} 

void copy_two(const two_int *src, two_int *dest) { 
    memcpy(dest, src, sizeof(two_int)); 
} 

Wydaje się, że przynajmniej niektórerodzaje modyfikacji wartości stałych definiowane jest niedozwolone, ale to nie jest dla mnie jasne, czy to kwalifikuje.

Jeśli odpowiedź brzmi „nie jest dozwolone, w ogóle”, ja też zastanawiać szczególnym przypadku, gdzie dest jest nowo przydzielonego pamięć malloc (a więc jeszcze nie przypisano żadnej wartości), takich jak:

two_int s = {.a = 1, .b = 2}; 
two_int *d = malloc(sizeof(two_int)); 
copy_two(&s, d); 

Aktualizacja: wydaje się, że ta ostatnia kwestia wydaje się odpowiedzieć twierdząco (jest OK) w przypadku nowo malloc „struktury d, ale oryginalne, bardziej ogólne pytanie nadal stoi , Myślę.

Answer 1

Używanie do tego celu miałoby zdefiniowane zachowanie tylko wtedy, gdy rzeczywisty obiekt docelowy nie ma stałego lub automatycznego czasu trwania.

względu na kod:

struct foo { double const x; }; 
void outsideFunction(struct foo *p); 

double test(void) 
{ 
    struct foo s1 = {0.12345678}; 
    outsideFunction(&s1); 
    return 0.12345678; 
} 

kompilator byłby uprawniony do optymalizacji funkcji do:

double test(void) 
{ 
    static struct foo const s1 = {0.12345678}; 
    outsideFunction(&s1); 
    return s1.x; 
} 

na wielu procesorach, jedynym sposobem, aby załadować podwójne z dowolną stałą jest wczytaj jego wartość z obiektu trzymającego stałą, iw tym przypadku kompilator mógłby wygodnie znać obiekt (s1.x), który musi utrzymywać stałą 0.12345678. Efektem sieci byłoby, że kod, który użyłby memcpy do napisania na s1.x mógłby uszkodzić inne zastosowania stałej liczbowej 0.12345678. Jak to się mówi, "zmienne nie będą, a stałe nie". Paskudne rzeczy.

Problem nie istnieje dla obiektów o przydzielonym czasie trwania, ponieważ memcpy wymaga, aby kompilator "zapomniał" o wszystkich przechowywanych w pamięci docelowej, w tym o "typie efektywnym". Zadeklarowane rodzaje obiektów statycznych i automatycznych istnieją niezależnie od wszystkiego, co jest w nich przechowywane, i nie można ich usunąć za pomocą "memcpy" ani żadnych innych środków, ale obiekty o przydzielonym czasie trwania mają tylko "efektywny typ", który zostałby usunięty.