Język C - bloki pamięci

Question

Mamy sobie funkcję 

void * memcpy (void * restrict s1, const * restric s2, size_t n);

Funkcja kopiuje n bajtów z miejsca s2 w miejsce s1  ( i teraz) - jeśli miejsca zachodzą na siebie, zachowanie funkcji jest niezdefiniowane.

No dobra ale o co chodzi z tym że miejsca zachodzą na siebie?

Jak to wygląda że bloki pamięci mogą na siebie zachodzić?

W jaki sposób można popełnić taki błąd że bloki pamięci będą na siebie zachodzić?

Answer 1

Witam,

stworzyłem taki kod gdzie adresy na siebie nachodzą.

#include <stdio.h>
#include <string.h>
int main()
{
    char myname[] = "Hello World!";
    memcpy ( myname, myname, strlen(myname)+1 );
    printf("%s\n", myname);
    return 0;
}

Nie wiem czy oto Ci chodzi ale ten kod się kompiluje i działa. Musisz podać dokładniejszy opis problemu bo nie wiem czo o to chodziło.

Answer 2

W funkcji masz podany wskaźniki i wielkość bloku. Każdy ze wskaźników ma modyfikator restrict. To oznacza że nigdy nie dojdzie do sytuacji by na miejsce w pamięci na które wskazuje wskaźnik, wskazywał inny wskaźnik aktywny w tej funkcji. W przeciwnym wypadku będzie UB (zachowanie niezdefiniowane). Niezdefiniowane - oznacza że może się nic nie stać, może program "się wywrócić", może dojść do zniszczenia danych na dysku... cokolwiek....

Teraz pomyśl o tym że standard dopuszcza w strcpy() kopiowanie "od przodu" (czyli od najmniejszych adresów) lub "od tyłu" (czyli od największych adresów. Wybór zależy od specyfiki platformy lub twórców kompilatora. Ogólnie wybierają to co będzie szybsze na danej platformie. Co się stanie w takim przypadku gdy będzie zachowana taka wolność wyboru? Dane zostaną skopiowane poprawnie? Rozważ obydwa przypadki a zobaczysz jakie są niebezpieczeństwa.

Jeśli nie masz pewności że dane się nie nakładają/zazębiają/wskazują na to samo miejsce, stosuj memmove().