Przekazywanie argumentów funkcji przez referencję, zmienna a tablica

[Zygzak]

Testuje sobie program. Pierwszy z nich wygląda tak:

#include <iostream>
using namespace std;

void set();
void reset(int& n);

int main()
{
    set();
}
void set() {
    int num = 10;
    cout << "Before reset: " << num << endl;
    reset(num);
    cout << "After reset: " << num << endl;
}
void reset(int& n) {
    n = 0;
}

Ustawiam wartość zmiennej i resetują ją poprzez przekazanie z referencją, wszystko działa, Otrzymuje wynik 10 i po resecie 0, W przypadku gdy mam funkcję bez operatora referencji (&) to wynik to 10 i 10, reset nie następuje, wszystko ok. W drugim programie zmieniam zmienną num na tablicę dwu elementową:

#include <iostream>
using namespace std;

void set();
void reset(int n[]);

int main()
{
	set();
}
void set() {
	int num[2] = { 10,20 };
	cout << "Before reset: " << num[0] << "," << num[1] << endl;
	reset(num);
	cout << "After reset: " << num[0] << "," << num[1] << endl;
}
void reset(int n[]) {
	n[0] = n[1] = 0;

}

I tu pojawia się problem, coś czego nie rozumiem. Mimo tego że nie zastosowałem referencji tzn mam: void reset(int n[]) a nie: void reset(int& n[]) program modyfikuje zmienną tak jakby pracował na oryginalnych danych (wyjście programu to 10,20 i po resecie 0,0), co więcej próba zadeklarowania funkcji jako void reset(int& n[]) skutkuje błędem podczas kompilacji. Czy dobrze rozumiem że jest to konsekwencja tego że operator [] jest także derefernecją? Jeśli w takim razie nie chce pracować w funkcji reset na oryginalnych danych to jedyne co mi pozostaje to ich przepisanie do nowej tablicy?

[ethanak]

Odróżnij przekazywanie przez referencję od przekazywania przez wskaźnik. W przypadku tablicy w rzeczywistości przekazujesz do funkcji jedynie jej adres, a nie wartości.

[farmaceuta]

2 minuty temu, Zygzak napisał:

Mimo tego że nie zastosowałem referencji tzn mam: void reset(int n[]) a nie: void reset(int& n[]) program modyfikuje zmienną tak jakby pracował na oryginalnych danych (wyjście programu to 10,20 i po resecie 0,0), co więcej próba zadeklarowania funkcji jako void reset(int& n[]) skutkuje błędem podczas kompilacji

Czyli wszeystko dziala...i zgadza sie program operuje na oryginale bo gdy podajesz nazwe tablicy to w rzeczywistosci podajesz adres na pierwszy element tej tablicy czyli juz nie potrzebujesz znaku pobrania adresu...nazwa tablicy jest wskaznikiem na jej pierwszy element

[farmaceuta]

W dziale "Artykuly" akurat jeden z kolegow pisze piekny artykul wielo etapowy o tablicach...przeczytaj bo naprawde warto i tam sie dowiesz wszystkiego o tablicach...😉

[Polecacz 101]

Produkcja i montaż PCB - wybierz sprawdzone PCBWay!
   • Darmowe płytki dla studentów i projektów non-profit
   • Tylko 5$ za 10 prototypów PCB w 24 godziny
   • Usługa projektowania PCB na zlecenie
   • Montaż PCB od 30$ + bezpłatna dostawa i szablony
   • Darmowe narzędzie do podglądu plików Gerber
Zobacz również » Film z fabryki PCBWay

[H1M4W4R1]

18 minut temu, Zygzak napisał:

I tu pojawia się problem, coś czego nie rozumiem. Mimo tego że nie zastosowałem referencji tzn mam: void reset(int n[]) a nie: void reset(int& n[]) program modyfikuje zmienną tak jakby pracował na oryginalnych danych (wyjście programu to 10,20 i po resecie 0,0), co więcej próba zadeklarowania funkcji jako void reset(int& n[]) skutkuje błędem podczas kompilacji. Czy dobrze rozumiem że jest to konsekwencja tego że operator [] jest także derefernecją? Jeśli w takim razie nie chce pracować w funkcji reset na oryginalnych danych to jedyne co mi pozostaje to ich przepisanie do nowej tablicy?

Tablica jest zapisywana jako wskaźnik.

Operator [{coś}] odczytuje daną wartość z wskaźnika z przesunięciem o {coś} * {wielkość_elementu} bajtów w pamięci. (np. dla inta to 4B * index)

Operator & przetwarza zmienną na adres, ale jako, że w przypadku "n[]" samo n jest już adresem to kompilator wyrzuca błąd - adres nie ma swojego adresu (zazwyczaj). 

Operator * powoduje odczytanie danych z konkretnego adresu.

Np.

int n[4] = {1,2,3,4};

/* Jeżeli
&n[0] == 0x02; to
&n[1] [= 0x02 + 0x04] = 0x06; zakładając, że int == int32_t
*/

// n[1] -> 2;
// *(n+1) -> 2 (niektóre kompilatory tego nie ogarniają, ale większość już powinna)

Te dwa ostatnie zapisy z komentarzy są równoznaczne (zazwyczaj). W skrócie - tak, operator [] jest jednocześnie dereferencją i przesunięciem.

---

co do rozwiązania - możesz albo skopiować do tablicy, albo jakoś obejść ten problem 😉 

---

Appendix: poczytaj o wskaźnikach i tablicach - tak jak kolega farmaceuta powiada, mamy tutaj dobry artykuł na temat tablic 😉 

Edytowano Październik 23, 2021 przez H1M4W4R1

[Gieneq]

Pozwolę sobie podlinkować, dziś akurat będzie część 6 o przekazywaniu argumentów do funkcji 😉 

 

Edytowano Październik 25, 2021 przez Gieneq