W jaki sposób kod zorientowany obiektowo przekłada się na kod maszynowy?

Question

W jaki sposób kod Oop, który napisałem w C++ lub C#, przenosi się na przykład na kod maszynowy lub w przypadku C# na kod bajtowy? Mam na myśli, jak obiekty tłumaczą?

W programowaniu proceduralnym jest dość oczywiste, jak wygląda po kompilacji, ponieważ istnieje rzeczywiste wsparcie dla funkcji w języku maszynowym. Ale w przypadku programowania w języku maszynowym nie ma obiektów w języku maszynowym.

Moja teoria polega na tym, że kompiluje sam obiekt do jakiejś struktury podobnej do C, która zawiera tylko dane (bez funkcji składowych) i kiedy wywoływana jest funkcja memeber, jeśli akceptuje parametr dodatkowy, który jest strukturą danych obiektu samo. Czy mam rację?

Answer 1

Jest zależna od implementacji. Ale w praktyce często używa się wirtualnej tabeli ("vtable"). Dla każdej klasy istnieje wirtualna tabela, która zawiera listę wskaźników do implementacji każdej funkcji składowej. Każdy obiekt otrzymuje wskaźnik do odpowiedniego vtable.

W zależności od języka i flag kompilatora, odpowiedni wskaźnik w vtable może być sprawdzony przez podpis funkcji (nazwa i argumenty) lub po prostu przez indeks.

Gdy wywołuje się funkcję member za pośrednictwem jej wskaźnika vtable, na pewno potrzebuje on wskaźnika do danych obiektu. Ale może to zostać przekazane na stosie lub w rejestrze.

Answer 2

Nie trzeba zgadywać, wystarczy spojrzeć na wygenerowanym "Zgromadzenie" (MSIL, w rzeczywistości) Kod:

How can I view MSIL/CIL generated by C# compiler? Why is it called assembly?

Answer 3

Cała orientacja obiektowa w OOP jest tylko konstruktem programowania wyższego poziomu, aby umożliwić programistom pisanie modularnego i zorganizowanego kodu w paradygmacie zawierającym prototypy i ich wystąpienia. Kod oop nie ma odpowiednika w kodzie maszynowym.

Jest bardziej podobny do tego, jak mamy interfejsy w maszynopisach, które następnie tłumaczą się na javascript, który nie ma koncepcji interfejsów. (może to nie być bardzo dobry przykład)