Python динамическая типизация⁠⁠

Магия.

Гугли позднее и раннее связывание, может что-то откроется.

> мне не надо заранее указывать с каким типом переменной я буду работать, и какой тип я буду возвращать из функции

Смотри как это работает:

В C++ выражение типа

auto x = MyClass();

создает переменную с идентификатором 'x' типа MyClass и инициализирует ее дефолтным конструктором.

В Python выражение типа

x = MyClass()

создает объект типа MyClass и привязывает (bind) к этому объекту символьное имя 'x'.

При этом к одному объекту можно привязать несколько имен

x = y = MyClass();

А можно перепривязать (re-bind) имя к другому объекту

x = MyClass()

x = MyOtherClass()

У имени типа нет.

А вот уже при выполнении конкретной операцией над объектом скрывающимся за именем и произойдет проверка типа с точки зрения допустимости операции.

В примере ниже при выполнении опкода BINARY_ADD случится ошибка, т.к. один из аргументов окажется неподходящим (объект загруженный по имени 'a' будет типа MyClass).

При этом, если раскомментировать строку 5, то символьное имя MyClass будет связано с объектом, представляющим встроенный тип int (а-ля плюсовое #define MyClass int).

В строке 9 операция LOAD_GLOBAL, обращаясь по имени MyClass, загрузит уже объект, представляющий встроенный тип int.

Затем "сконструирует" (CALL_FUNCTION) экземпляр этого типа и сохранит его под именем 'a' (STORE_FAST).

И в этом случае, несмотря на то, что байт-код функции example не изменится, ошибки при выполнении BINARY_ADD уже не будет.

Но никто тебе не мешает указывать входящие/исходящие типы и типы данных для переменных.

python

a=1 # Это int

a="1" # Это string

a=[1] # Это list

Что значит "возвращается тот тип, который больше подходит."?

А вообще с этим лучше на stackoverflow.

Там есть ру сегмент https://ru.stackoverflow.com/ где можно задавать вопросы на русском

> В питоне данного не требуется, используется динамическая типизация, возвращается тот тип, который больше подходит.

Что  значит "возвращается тот тип, который больше подходит"?

>>> int([1])

TypeError: int() argument must be a string, a bytes-like object or a number, not 'list'

И отличия компилируемых языков от интерпретируемых

Поэтому бывает полезно полабать свой велосипедный динамический полиморфизм на C (=

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

ЗЫ В том же C++ указателем/ссылкой типа родителя можно указывать на объект-наследник, void* может указывать на что угодно. В то же время union и std::variant позволяют в одной и той же области памяти достаточного размера размещать объекты различных типов.

По умолчанию идёт string. Если указать что это, то тот тип и будет.
Есть какая-то определенная проблема?