Dlaczego void * a = & a jest legalny?

Rozważ następujący kod C ++:

void* a = &a;

Dlaczego kompilator nie skarży się na używanie niezadeklarowanego identyfikatora?

Ponadto, za jaką zmienną uważa kompilator a? Czy jest to wskaźnik do pustego obiektu, czy też jest to wskaźnik do void*wskaźnika?

c++

— user2681063
źródło

Punkt deklaracji

— Grijesh Chauhan

Punkt deklaracji w C ++

— masoud

Powinienem wspomnieć, dlaczego chcesz to zrobić - aby uzyskać wskaźnik na szczyt stosu (z którego możesz bawić się różnymi rzeczami).

— OrangeDog,

Odpowiedzi:

Zakres deklaracji zmiennych w C ++ może być dość zaskakujący:

void* a =               &a;
         ^~~~~~~~~~~~~~~~~
          a declared as `void*` from here on

Dlatego &ajest, void**ale ponieważ każdy typ wskaźnika jest niejawnie konwertowany na void*...

— Matthieu M.
źródło

Jak przypisać do tego przydatny obiekt?

— user2681063

@ user2681063 a = &userfulObject?

— Nikos C.,

@MarkGarcia: Zauważ, że void *a = a;byłoby to UB, gdyby zostało zadeklarowane lokalnie, w przeciwnym razie jest w porządku w zakresie przestrzeni nazw.

— Nawaz

@TheodorosChatzigiannakis: Myślę, że tak.

— Matthieu M.,

Przydałaby się tutaj specyfikacja.

— Benjamin Gruenbaum

Jest odpowiednikiem

void* a;
a = &a;

Dlatego azostał ogłoszony. Więc adostaje adres awpisany a. Jest to więc wskaźnik do pustego wskaźnika. (Nie zdefiniowałeś jeszcze żadnych obiektów).

— Stasik
źródło

Technicznie rzecz biorąc, zdefiniowałeś jeden obiekt. asama w sobie jest przedmiotem. (Nie wszystkie obiekty mają typy zdefiniowane przez użytkownika w C ++)

— MSalters

@MSalters o czym jest ten „obiekt”, o którym mówisz? : D

— Gusdor

@Gusdor Możemy tylko założyć, co znajduje się poza pustką horyzontu zdarzeń.

— Cole Johnson,

Nazywa się je inaczej, jednak „efekt” jest taki sam w tym przypadku

— Stasik

Na ogół nie są równoważne, ale w tym scenariuszu są.

— Wyścigi lekkości na orbicie

W void* a, ajest zadeklarowany jako wskaźnik nie do voidtypu, ale do typu „dowolnego” (przypadek specjalny). Adres (pozycja w pamięci) jest przypisany a, tak jak każdej innej deklarowanej zmiennej, oczywiście.

Następnie wyrażenie &ajest oceniane w celu zainicjowania zmiennej (również a, ale nie ma to znaczenia) właśnie zadeklarowanej. Typ &ato „wskaźnik do wskaźnika do dowolnego typu”, co jest specjalnym przypadkiem „wskaźnika do dowolnego typu”, w pełni zgodnym z typem a. Ergo, brak wiadomości kompilatora.

Wniosek: nie używaj, void*jeśli chcesz silnego sprawdzania typu. Wszystko można na to przekonwertować. Wręcz przeciwnie w odwrotnym kierunku, z wyjątkiem void*siebie samego (byłby to niepotrzebny wyjątek, że typ byłby ze sobą niezgodny).

AFAIR to naprawdę pochodzi od C.

— Mario Rossi
źródło