tablica 2 wymiarowa zamiana kolumn

Question

Czesc, mam tablice 2 wymiarowa powiedzmy 

int tab[20][10];

no i ustalmy ze pierwsza wsp to kolmny czyli mamy 20 kolumn.

i chcialbym w funkcji  zamienic ze spobą kolumny o numerach a i  b

Jak to zrobic?  Na pewno nie chciałbym zamieniac kazdej wartosci po kolei. To byłoby słabe.

Tablica 2 wymiarowa to chyba taki podwojny wskaznik wiec myslalem ze taki kod zadziała:

int * pomocnicz;
pomocnicz = tab[a];
tab[a]=tab[b];
tab[b]=pomocnicz;

ale nie. Jak można to poprawnie zrobic? i czemu nie tak? w sensie zamiana kolumn to tak jakby  tylko zamienie te wskazniki. Czy nie tak to  działa?

Answer 1

Bardzo dobre pytanie. Tablica to nie dokładnie to samo co wskaźnik i to jest jeden z przypadków gdzie można się na tym przejechać.

int t[3][2] = { {1,2},{3,4},{5,6} };
int *ptr = &t[0][0];
cout<<"t[1] = " << t[1] << endl; //wypisze adres
cout << "ptr[3] = " << ptr[3] << endl; //wypisze 3
//petla wypisze 1 2 3 4 5 6
for (size_t i = 0; i < 3*2; i++) {
	cout << ptr[i] << " ";
}
//int **tptr = t; // nie kompiluje sie
int(*tptr)[2] = t; // a to juz tak

Tablica gwarantuje ciągłośc pamięci więc tab[2][3] to w pamięci tak jakby tab[6] tylko, że kompilator pilnuje zebyś dostał odpowiedni element gdy napiszesz tab[1][0]. Wiecej info tutaj:

https://stackoverflow.com/questions/2565039/how-are-multi-dimensional-arrays-formatted-in-memory

A co do samego problemu to tak. Musisz przepisywać cale kolumny. No chyba, że zaalokujesz to ręcznie jak tablice wskaźnikow na tablice:

	constexpr int n = 3, m = 2;
	int **t2d = new int*[n];
	for (size_t i = 0; i < n; i++){
		t2d[i] = new int[m];
	}
	t2d[0] = t2d[2]; // mozna podmieniac kolumny

Jako ciekawostka z języka C:

int(*tab)[2] = malloc(sizeof(int)*2*3);

w ten sposób mamy tablice [3][2] zaalokowaną na stercie.

I jeszcze bardzo fajna stronka do ogarniecia skomplikowanych konsturkcji ze wskaznikami w stylu int (*t)[3]:

https://cdecl.org

Comments

Dzieki

---

Tablica to nie dokładnie to samo co wskaźnik

Tablica to w ogóle coś innego niż wskaźnik.

cout<<"t[3] = " << t[3] << endl; //wypisze adres

UB

cout << "ptr[3] = " << ptr[3] << endl; //wypisze 3

 tu też

//petla wypisze 1 2 3 4 5 6

for (size_t i = 0; i < 3*2; i++) {

    cout << ptr[i] << " ";

}

i tu też

---

No UB, UB, ale przynajmniej UB z tego gatunku, że standard języka nie określa tego zachowania, aczkolwiek większość popularnych kompilatorów implementuje ten standard tak, że to działa :P

Nie oznacza to oczywiście, że kiedykolwiek użyłbym takich szemranych zabaw na gołej pamięci w kodzie innym niż czysto przykładowy.

Z czystej ciekawosci. Czy standard gwarantuje, że int t[2][2] to będą 4 inty ułożone jeden po drugim w pamięci, bo wszystko na to wskazuje, ale są to domysły na podstawie  podstawie zabawy z kompilatorem i komentarzy na stackoverflow a nie paragraf w standardzie jezyka? I co googlować, żeby ten paragraf znaleźć?

---

Standard gwarantuje że sizeof(T[n]) == n*sizeof(T) z tego by wynikało że muszą być jeden po drugim: http://eel.is/c++draft/expr.sizeof#2

A tu http://eel.is/c++draft/dcl.array#1 jest że:

An object of array type contains a contiguously allocated non-empty set of N subobjects of type T.