Адрес и время жизни переменной, которую возвращает функция

[arthur2]

Есть некая функция, объявленная в модуле (то, что функции классов - особая песня, я в курсе, оставляю их за бортом вопроса). Можно или из самой функции каким-то образом узнать адрес, по которому она вернет результат? И когда уничтожается та переменная, в которую помещен результат - доживет ли она до конца вызвавшей процедуры или умрет сразу же, как выполнение перейдет на следующую строку?

[Хакер]

Совершенно непонятно, о чём речь.

Модульная функция возвращает результат в регистре EAX, или в паре EDX:EAX, или на стеке FPU, или в обычном стеке (как если бы это был последний ByRef-параметр) в зависимости от типа возвращаемого значения.

[arthur2]

в зависимости от типа возвращаемого значения

Ну скажем, если массив? Если строка? Если структура?

как если бы это был последний ByRef-параметр

То есть, адрес можем получить как VarPtr(last) - 4, где last- последний аргумент? А для какого это типа?

Ну и главное:

Код: Выделить всё

n=myFun(myPar)
doNextThing

Если в doNextThingя обращусь по адресу, по которому функция myFunвернула значение, там будут ещё действительные данные, или уже свободные?

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

[Хакер]

Ну скажем, если массив?

Если массив — регистре EAX возвращается указатель на SA-дескриптор.
Если строка — в регистре EAX возвращается указатель на начало строки.

Если в doNextThingя обращусь по адресу, по которому функция myFunвернула значение, там будут ещё действительные данные, или уже свободные?

Кто тебе сказал, что возвращаемое значение само по себе должно размещаться в памяти? Не всегда должно и вряд ли размещается.

Если в doNextThingя обращусь по адресу, по которому функция myFunвернула значение

Ещё раз: функция в общем случае не записывает возвращаемое значение по какому-то адресу. Поэтому вопрос не имеет смысла. Но если обратишь по адресу переменной n, то значение там будет.

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

Нет, это чушь.


Вообще, какой смысл во всём этом? Совершенно точно ты пытаешься сделать что-то неким образом, которые однозначно неправильный и даже ни секунды не должен рассматривать и обдумываться как приемлемый.

[arthur2]

Я не пытаюсь сделать что-то конкретное, я пытаюсь разобраться, как конкретно это устроено, чтобы потом уже придумать, как это использовать

Если массив — регистре EAX возвращается указатель на SA-дескриптор.
Если строка — в регистре EAX возвращается указатель на начало строки.

А сами данные строки или массива - в какой момент они освобождаются? Что их освобождает и каким образом?

[Хакер]

Освобождает новый владелец.

[arthur2]

То есть, в момент, когда данные из myFun попадают в n? То есть, во время doNextThing данные уже освобождены? А как это происходит? что именно провоцирует освобождение? при компиляции сюда что-то дописывается, что данные освобождает? или как?

[Qwertiy]

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

Если предположить, что твоё утверждение верно, то следующая вызванная функция эти же данные и сотрёт своей такой же переменой
Но вот по поводу верности самого утверждения ничего точно сказать не могу. Предполагаю, что на начальном этапе это вполне может быть так, но компилятор, а точнее оптимизатор, может при желании эту переменную выкидывать или размещать в регистре.

Вообще, какой смысл во всём этом? Совершенно точно ты пытаешься сделать что-то неким образом, которые однозначно неправильный и даже ни секунды не должен рассматривать и обдумываться как приемлемый.

Надеюсь, просто поэксперементировать - интересно же

[ger_kar]

Ну вообще если сильно нужно что-бы процедура или функция помещала возвращаемое значение к конкретную ячейку, то можно для этих целей юзать обычный ByRef аргумент.
Кстати а что может возвращаться

Модульная функция возвращает результат в регистре EAX, или в паре EDX:EAX

в регистровой паре EDX:EAX? 64 битные переменные типа Currency или Date?