所以當(dāng)通過 range 進(jìn)行循環(huán)時(shí)，我們應(yīng)該將 range 里面的參數(shù)以及循環(huán)變量換成 C 的整型。如果不顯式地進(jìn)行靜態(tài)聲明的話，Cython 就會(huì)采用最保守的策略：

cdef Py_ssize_t n = 100
for i in range(n):
    print(i + 2 ** 100)

在循環(huán)的時(shí)候，如果我們使用了變量 i，那么在和一個(gè)數(shù)字相加的時(shí)候，由于 Cython 無法確定是否會(huì)發(fā)生溢出，因此會(huì)保守的選擇 Python 的整型。

如果我們能保證表達(dá)式中一定不會(huì)發(fā)生溢出，那么可以顯式地將 i 也聲明為 C 的整數(shù)類型。

當(dāng)然不光是整型，其它的 Python 類型也可以提前聲明，舉個(gè)例子：

cdef list lst = [
    {"name": "satori", "age": 17},
    {"name": "koishi", "age": 16},
    {"name": "marisa", "age": 15},
]

# lst 里面都是字典，在遍歷之前可以提前聲明好
cdef dict item
for item in lst:
    print(f"{item['name']}, {item['age']}")
"""
satori, 17
koishi, 16
marisa, 15
"""

# 通過 cdef dict item 提前聲明循環(huán)變量的類型
# 然后遍歷以及操作的時(shí)候，速度會(huì)快很多
# 因?yàn)槲覀儗?shí)現(xiàn)了基于類型的優(yōu)化

以上是 for 循環(huán)，至于 while 循環(huán)也是同理，說白了還是規(guī)定好類型，實(shí)現(xiàn)基于類型的優(yōu)化。

審核編輯：湯梓紅