На каком моменте функция срабатывает?

Question

[weranda]

Приветствую
Простой пример:

def do_it(a, b):
    return a + b
x = do_it(2, 2)
print(x)

На каком моменте происходит вызов функции?
1) при присваивании объекта x: (x = do_it(2, 2))
2) при выводе x: (print(x))
К моменту вывода x, 2 + 2 уже сложено, посчитано и результировано или же нет?
Поясните пожалуйста.

Answer 1

[Сергей Горностаев]

Можно же посмотреть байткод

2           0 LOAD_FAST                0 (a)
            2 LOAD_FAST                1 (b)
            4 BINARY_ADD                        <-- Сложение a и b
            6 RETURN_VALUE                      <-- Возврат результата

2           0 LOAD_CONST               1 (<code object do_it at 0x0000000004E59F60)
            2 LOAD_CONST               2 ('<globals>.do_it')
            4 MAKE_FUNCTION            0
            6 STORE_FAST               0 (do_it)

4           8 LOAD_FAST                0 (do_it)
           10 LOAD_CONST               3 (2)
           12 LOAD_CONST               3 (2)
           14 CALL_FUNCTION            2        <-- Вызов do_it
           16 STORE_FAST               1 (x)    <-- Присваивание x значения 4

5          18 LOAD_GLOBAL              0 (print)
           20 LOAD_FAST                1 (x)
           22 CALL_FUNCTION            1        <-- Вызов print

Сначала функция do_it вызывается, а потом возвращённое из неё значение присваивается переменной x

Comments

[weranda]

Смотрю на вашу распечатку и не врубаюсь где в ней написано, что x равен четырем. Насколько я понял, а я в байт-коде ничего не понимаю, сначала интерпритатор создает объект функции, затем связывает его и именем do_it, затем объект функции и 2 и 2 связываются с именем x, а потом x выводится, а вот момента сложения и получения результата я не вижу (не вижу четверку, закрепленную за x). Еще раз повторю, с байт-кодом я не знаком, но пишу по тому, что вижу. Будем надеятся, что вы правы;)

[Сергей Горностаев]

weranda, дополнил ответ байткодом функции do_it

10 LOAD_CONST               3 (2)  <-- Загрузка в стек числа 2
12 LOAD_CONST               3 (2)  <-- Загрузка в стек числа 2
14 CALL_FUNCTION            2      <-- Вызов функции do_it

После вызова функции на верхушке стека будет значение, загруженное туда опкодом RETURN_VALUE, которое в свою очередь было значением с верхушки стека, загруженное опкодом BINARY_ADD, то есть четвёркой.

[weranda]

Сергей Горностаев, сложновато, но 1110100 1101000 1100001 1101110 1101011 1110011 за разъяснения)