Dereferencja static_cast vs dereferencja wskaźnika

Question

Cześć.

Pisząc program musiałem użyć funkcji qsort. Oprócz tego, że zdziwił mnie bardzo jej C-style, czego nie ma w przypadku sort, to zdziwiła mnie jeszcze jedna rzecz. Idąc za kodem źle przepisałem jedną rzecz.

Zamiast 

int arg1 = *static_cast<const int*>(a);
...

napisałem
 

const int* arg1 = static_cast<const int*>(a);
...

co mnie jednak zdziwiło, kiedy później chciałem oba argumenty porównać, wyrażenie
 

*a>*b

generowało błąd o treści:

wyrażenie musi być wskaźnikiem do kompletnego obiektu (vsc)

to samo nie pojawia się przy kodzie z cppreference.

Czy byłby ktoś skory wyjaśnić jaka jest między tym różnica i dlaczego kod pierwszy działa, za to drugi nie?
 

Z góry dziękuję. 

Comments

Oprócz tego, że zdziwił mnie bardzo jej C-style, czego nie ma w przypadku sort,

Dziwić Cię nie powinien, bo qsort jest z języka C, a std::sort - C++.

Answer 1

Jeśli dobrze rozumiem, a i b są typu void*, a takich wskaźników nie możesz wyłuskiwać, bo void to typ niepełny (stąd te rzutowania na int*).

Comments

Tak, ale w oby przypadkach następuje castowanie na int*, różnica jest tylko taka, że w pierwszym przypadku następuje dereferencja static_cast, w drugim konkretnie zmiennych (drugi nie działa)

---

No gdzie? Tam następuje deferencja wskaźników int*, czyli masz tam coś takiego:

const int *ptr1 = static_cast<const int*>(a);
const int *ptr2 = static_cast<const int*>(b);

int arg1 = *ptr1;
int arg2 = *ptr2;

ptr1 i ptr2 są wskaźnikami na wartości konkretnego typu, dlatego możliwe jest wyłuskanie ich.

---

const int* arg1 = static_cast<const int*>(a);

czemu w takim razie to nie jest wskaźnik do konkretnego typu? Późniejsza dereferencja zwraca błąd.

---

arg1 jest wskaźnikiem na wartość konkretnego typu i dlatego da się wyłuskać.

---

nie, nie da się https://forum.pasja-informatyki.pl/464704/dereferencja-static_cast-vs-dereferencja-wskaznika#c464757 kod w tym komentarzu zwraca błąd.

---

Ta linia jest jak najbardziej poprawna. Nie wiem, co tam robisz, że masz jakieś błędy -> link.

Pokaż kod.