Referencja do wskaźnika, jak to działa ?

Question

Witam, mam tutaj o taki sobie fragment kodu:

template <class T>
void BTree<T>::deleteByMerging(Node<T>*& node) {
    /// kod
}

Chodzi mi dokładnie o argument funkcji ,który jest typu Node<T>*&. Jest to (chyba) referencja na wskaźnik. Ktoś mógłby mi powiedzieć jak to działa ? To znaczy, czy dokonuję tutaj operacji na zmiennej oryginalnej, która została przesłana funkcji , czy jest ona kopiowana? I czym to się różni od Node<T>* ?

Answer 1

Użycie referencji na wskaźnik pozwala ci na modyfikację wskaźnika przekazanego do funkcji.
Przydatne gdy chcesz zaalokować pamięć i zwrócić wynik przez parametr funkcji lub kiedy chcesz zmodyfikować przekazywany parametr.

Mały przykład:
 

#include <iostream>

int f1(char *x) {
    x = new char();
}

int f2(char*& x) {
    x = new char();
}

int main() {
    char *x = nullptr;
    std::cout << std::hex << (long long)x << std::endl;
    f1(x);
    std::cout << std::hex << (long long)x << std::endl;
    f2(x);
    std::cout << std::hex << (long long)x << std::endl;

    return 0;
}

 

Comments

Słowo kluczowe new nie jest dobrą praktyką w obecnych czasach.

---

To tylko przykład pokazujący właściwość referencji do wskaźnika.
Prawdopodobnie funkcja BTree<T>::deleteByMerging(Node<T>*& node)  zwalnia oryginalny wskaźnik i przypisuje do niego inną wartość.

---

@tangarr, czyli wysłanie do funkcji zmiennej  jako wskaźnika nie pozwala na edycję adresu oryginalnej zmiennej ?
 

---

Możesz modyfikować dane na które wskazuje wskaźnik, ale nie możesz zmodyfikować wskaźnika tak aby wskazywał na inną pamięć. Referencja do wskaźnika (lub wskaźnik na wskaźnik) pozwalają zmodyfikować wskaźnik.

---

Czyli przesłanie samego wskaźnika(bez referencji) tak jakby kopiuje go oraz jego łącze ,które wskazuje na konkretne miejsce w pamięci ,dzięki czemu mamy dostęp do oryginalnej zmiennej ?

---

Tak. Zawsze kiedy argumenty są przekazywane bez referencji tworzona jest kopia obiektu (niezależnie czy to wskaźnik, prosty typ danych czy klasa/struktura).
Kopiowanie wskaźnika jest bardzo "tanie". Skopiowany wskaźnik daje dostęp do tej samej pamięci co oryginalny wskaźnik. Możesz modyfikować wskazywane dane ale nie przekazywany wskaźnik.

---

Dzięki wielkie!

---

@tkz, dlaczegóż to ? Mógłbyś podać przykład jak to robić w odpowiedni sposób ?

---

Ale co? Nie rozumiem pytania.

---

Zdaje się, że @DamianW pyta o twoją przestrogę w używaniu new.
Z grubsza chodzi o to, żeby nie zarządzać zasobami ręcznie. Dużo bezpieczniej jest używać wskaźników inteligentnych do automatycznego zwalniania niepotrzebnych zasobów.

---

To co przedmówca, plus są dwa mi znane przypadki kiedy stosować new, kiedy framework/libka wymaga, typu Qt, lub make_shared/make_unique nie jest w stanie skonstruować obiektu. A tak to mas std::unique_ptr/std::shared_ptr wraz z std::make_unique/std::make_shared.