OOP против процедурного во время выполнения

Question

У меня очень простой вопрос, который я не могу найти в любом месте в Интернете.

Итак, мой вопрос заключается в том, что в процедурном программировании код находится в разделе кода, который переходит в область памяти только для чтения. Переменные - либо в стеке, либо в куче.

Но ООП говорит, что объект создан в памяти. Значит ли это, что даже функции записываются в область памяти R/W?

А у Os должна быть поддержка встроенных программ ООП? Например, если OS doesent разрешено читать инструкцию за пределами раздела «Только для чтения». Благодарю.

Answer 1

Как правило, как ООП, так и процедурное программирование являются абстракциями, которые существуют только на уровне исходного кода. Когда программа скомпилирована в исполняемый машинный код, эти абстракции перестают существовать. Таким образом, независимо от того, является ли конкретный язык ООП или процедурным, не имеет никакого отношения к тем областям памяти, которые он использует, или когда инструкции размещаются во время выполнения.

Сам ОС обычно не знает или не заботится о том, был ли конкретный исполняемый файл написан на ООП или процедурный язык. Уместно только, что исполняемый файл использует двоичные операционные коды, совместимые с его собственным набором команд, и что исполняемый файл имеет ABI (двоичный интерфейс), который он понимает.

Answer 2

ООП не говорит об этом. Я не знаю, где вы его читаете, если вы добавите цитату, которая поможет.

Объекты являются переменными, поэтому то, что вы знаете об переменных, верно для объектов. В таких языках, как C# (.net framework), объекты могут храниться только в куче, потому что они являются так называемыми ссылочными типами. В C++ они могут жить где угодно.

Но ООП говорит, что объект создан в памяти. Значит ли это, что даже функции записываются в область памяти R/W?

Из этого я пришел к выводу, что вы считаете, что функции являются объектами. Это верно далеко не для каждого языка ООП. Это из функциональных языков, где функции являются объектами первого класса. Функции в большинстве случаев неизменяемы и помещаются в разделы только для чтения.

Обычные ОС, такие как Windows, Linux и MacOsx, не знают об объектах. Это чисто программная концепция. .net framework и java vm обеспечивают уровень абстракции. Они являются средами исполнения, которые имеют встроенную поддержку объектов.

Answer 3

Это хороший вопрос.

В то время, как объект представляет собой функции и данные, как быть размещены в том же самом месте, теоретически, большинство реализаций разделить его. То, как вы это делаете, заключается в том, что код разделяется и сохраняется в сегменте RO. Затем объект в области RW имеет возможность ссылаться на этот код в области RO. Сочетание кода и данных используется концептуально человеческим программистом и контролером типов, чтобы гарантировать, что вы не нарушаете правил и принципов.

Язык Java/C#, как правило, будет создан таким образом, чтобы каждый объект имел тег , определяющий тип объекта. Сам объект представляет собой просто структуру, содержащую все поля, выложенные в заданном порядке. Затем этот тег можно использовать для поиска функции, которую вы хотите вызвать в зоне RO.Функция в области RO изменена, чтобы принять дополнительный параметр, который называется или self, через который может быть достигнуто содержимое указанного объекта. Когда метод должен ссылаться на поля, он знает заранее заданный порядок, поэтому он может выполнять эту корреляцию. Обратите внимание, что для решения наследования нужны некоторые трюки, но это суть идеи.

Python/Ruby-like язык обычно делает объект хеш-таблицей, где метод является указателем на код в области RO (при условии, что язык компилируется и не запускается через интерпретатор байт-кода) , Вызов функций производится путем поиска содержимого хеш-таблицы и последующего указателя кода. Поля также отображаются в одной и той же таблице.

С этими основами, большинство реализаций делают трюки, чтобы избежать части, где указатель используется для поиска функции для вызова. Они пытаются выяснить и сузить возможный вызов одной функции. Затем они могут заменить поиск прямым вызовом правой функции, гораздо более быстрым решением.

the tl; dr версия: язык семантика виды и методы как часть объекта. Реализация разделяет их на сегменты RO и RW. Как таковая поддержка ОС не требуется.