Python 動態強類型系統深度解析：變量綁定、類型變更與運行時行為

變量無需聲明類型，但必須初始化

i = 12
print(i)  # 正常
# print(j)  # NameError: name 'j' is not defined

不同於 BASIC 等弱類型語言，Python 變量必須先賦值才能使用。

同一變量可綁定不同類型對象

i = 1
print(i, type(i), id(i))
i = 10000000000
print(i, type(i), id(i))  # 自動轉為 long
i = 1.1
print(i, type(i), id(i))  # float

本質：Python 變量是「名字標籤」，綁定到內存中的對象。id() 返回對象地址。賦值只是改變標籤指向，舊對象若無引用則被垃圾回收。這是動態語言典型特徵。

強類型：隱式類型轉換受限

i = 10
j = 'ss'
# print(i + j)  # TypeError: unsupported operand types for +: 'int' and 'str'
print(str(i) + j)  # 正確：顯式轉換

弱類型語言（如 BASIC、JavaScript）會嘗試隱式轉換，Python 拒絕，保證類型安全。

總結：動態 + 強類型

• 動態：變量類型由賦值決定，運行時可變；
• 強類型：操作前檢查類型兼容性，不允許隱式轉換；
• C# 4.0 引入 dynamic 關鍵字即借鑑了此機制。

理解這一機制有助於編寫健壯、可預測的 Python 代碼。