造性能優(yōu)化：避免復(fù)制，讓 frozenset(frozenset) 直接復(fù)用原對(duì)象)
CPython frozenset 構(gòu)造性能優(yōu)化避免復(fù)制讓 frozenset(frozenset) 直接復(fù)用原對(duì)象【免費(fèi)下載鏈接】cpythonThe Python programming language項(xiàng)目地址: https://gitcode.com/GitHub_Trending/cp/cpython本篇技術(shù)指南圍繞 CPython 的一條核心運(yùn)行時(shí)改進(jìn)展開frozenset對(duì)象在構(gòu)造階段避免不必要的元素復(fù)制。該改動(dòng)落在 CPython 內(nèi)置類型層Core and Builtins讀者讀完后將理解frozenset的完整構(gòu)造鏈路參數(shù)校驗(yàn) → vectorcall → 冪等復(fù)用 → 哈希表填充 → GC 跟蹤策略并能基于 Objects/setobject.c 中的源碼證據(jù)判斷什么場(chǎng)景下frozenset()是零拷貝的、什么場(chǎng)景下仍會(huì)發(fā)生全量插入。一、這次優(yōu)化改了什么對(duì)應(yīng)的變更記錄位于 Misc/NEWS.d/next/Core_and_Builtins/2026-05-18-17-16-51.gh-issue-150027.sJgLvd.rst全文只有兩行Improve performance offrozensetobjects by avoiding copies during construction.提升frozenset對(duì)象性能避免在構(gòu)造期間產(chǎn)生復(fù)制。一句話概括當(dāng)frozenset()的參數(shù)本身就是一個(gè)精確的frozenset實(shí)例時(shí)CPython 不再創(chuàng)建新對(duì)象并逐項(xiàng)復(fù)制元素而是直接返回原對(duì)象的引用。這在 Objects/setobject.c 的make_new_frozenset中實(shí)現(xiàn)static PyObject * make_new_frozenset(PyTypeObject *type, PyObject *iterable) { if (type ! PyFrozenSet_Type) { return make_new_set(type, iterable); } if (iterable ! NULL PyFrozenSet_CheckExact(iterable)) { /* frozenset(f) is idempotent */ return Py_NewRef(iterable); } PyObject *obj make_new_set(type, iterable); if (obj ! NULL) { _PyFrozenSet_MaybeUntrack(obj); } return obj; }見 Objects/setobject.c。三個(gè)關(guān)鍵細(xì)節(jié)只對(duì)精確類型生效PyFrozenSet_CheckExact(iterable)要求參數(shù)必須是frozenset本身而不是它的子類。若參數(shù)是frozenset子類實(shí)例走的是通用構(gòu)造路徑保證子類的__init__/初始化語義不被短路。Py_NewRef而非返回原指針直接Py_INCREF原對(duì)象并返回把引用計(jì)數(shù)交給調(diào)用方符合 CPython 對(duì)象所有權(quán)約定——調(diào)用方拿到返回值后負(fù)責(zé)釋放原對(duì)象的存活期因此自然延長。冪等性idempotent是安全前提frozenset(f)的結(jié)果在語義上與原對(duì)象完全一致——相同的元素、相同的類型且frozenset不可變復(fù)用不會(huì)引入任何可觀察的行為差異。這正是這條優(yōu)化可以成立的理論依據(jù)。二、完整的 frozenset 構(gòu)造鏈路從 Python 層的frozenset(x)調(diào)用到對(duì)象返回實(shí)際調(diào)用鏈如下參數(shù)入口兩種形態(tài)經(jīng)典tp_new路徑frozenset_newObjects/setobject.c。它先拒絕關(guān)鍵字參數(shù)_PyArg_NoKeywords(frozenset, kwds)報(bào)錯(cuò)文本固定為frozenset再用PyArg_UnpackTuple解出 0 到 1 個(gè)位置參數(shù)。更快的 vectorcall 路徑frozenset_vectorcallObjects/setobject.c由類型對(duì)象的.tp_vectorcall槽注冊(cè)見 Objects/setobject.c 附近的PyFrozenSet_Type定義。它跳過tp_new的元對(duì)象分發(fā)直接校驗(yàn)位置參數(shù)個(gè)數(shù)后進(jìn)入make_new_frozenset。冪等短路即上文第一節(jié)的PyFrozenSet_CheckExact分支。通用構(gòu)造路徑make_new_frozenset落到make_new_set(type, iterable)后者由make_new_set_untrackedObjects/setobject.c完成實(shí)體分配so (PySetObject *)_PyType_AllocNoTrack(type, 0); ... so-fill 0; so-used 0; so-mask PySet_MINSIZE - 1; so-table so-smalltable; // 先用對(duì)象內(nèi)嵌的小表 so-hash -1; so-finger 0; so-weakreflist NULL; if (iterable ! NULL) { if (set_update_local(so, iterable)) { ... } }注意注釋里寫明的設(shè)計(jì)約束Objects/setobject.cBuild a set/frozenset left GC-untracked; the caller must_PyObject_GC_TRACK()it once fully built, so a half-built set is never exposed during filling.——對(duì)象在填充完成前不進(jìn)入 GC 跟蹤避免其他線程看到只填了一半的 set填充成功后才由make_new_set調(diào)用_PyObject_GC_TRACK。GC 卸載優(yōu)化對(duì)象建成后make_new_frozenset還會(huì)調(diào)用_PyFrozenSet_MaybeUntrackObjects/setobject.c。該函數(shù)來自 gh-140232 的相關(guān)改進(jìn)遍歷 frozenset 的全部元素若沒有任何元素是被 GC 跟蹤的如全部是 int、str 等不可跟蹤對(duì)象就把整個(gè) frozenset 從 GC 跟蹤列表中移除減少后續(xù) GC 周期的掃描開銷。子類實(shí)例不參與卸載因?yàn)樽宇惪赡芤胍铆h(huán)。這條鏈路說明本次優(yōu)化是在最壞情況路徑之前加了一道最廉價(jià)的短路判斷——先做類型精確檢查O(1)命中即一次Py_INCREF返回未命中才付出分配 逐元素哈希插入 哈希表擴(kuò)容的成本。三、復(fù)制路徑到底貴在哪set_update_local 的分發(fā)邏輯理解短路收益需要看清被短路掉的那條路徑有多重。填充入口是set_update_localObjects/setobject.c它對(duì)源對(duì)象做了四檔分發(fā)源對(duì)象類型走的路徑說明set/frozenset任意集合set_merge_lock_held直接遍歷源集合的哈希表逐個(gè)set_add_entry可批量預(yù)擴(kuò)容精確dictset_update_dict_lock_held借_PyDict_Next迭代鍵值對(duì)見 Objects/setobject.c可預(yù)知PyDict_GET_SIZE并據(jù)此一次性擴(kuò)容Objects/setobject.cfrozendict內(nèi)部類型同上無需鎖frozendict 不可變直接迭代其他可迭代對(duì)象set_update_iterable_lock_heldPyObject_GetIter 逐項(xiàng)PyIter_Nextset_add_key最慢對(duì)集合源走的是set_merge_lock_held需要Py_BEGIN_CRITICAL_SECTION獲取源集合臨界區(qū)、逐項(xiàng)復(fù)制鍵并處理哈希表擴(kuò)容set.update這類對(duì)已公開對(duì)象的更新走set_update_internalObjects/setobject.c還多了一層對(duì)so與other的雙重臨界區(qū)保護(hù)Py_BEGIN_CRITICAL_SECTION2并對(duì)自更新so is other做了直接返回的短路。也就是說優(yōu)化前frozenset(f)要經(jīng)歷分配新對(duì)象 → 復(fù)制內(nèi)嵌表或擴(kuò)容 → 逐項(xiàng)set_add_entry含哈希查找、沖突處理→ 全程持有源集合臨界區(qū) → GC 跟蹤。優(yōu)化后只剩一次引用計(jì)數(shù)遞增。對(duì)把 frozenset 當(dāng)緩存鍵/常量反復(fù)包裝的場(chǎng)景例如每層遞歸都frozenset(prev_keys)這是數(shù)量級(jí)的差異。四、set為何沒有同樣待遇對(duì)照代碼可以明確這次優(yōu)化的邊界set_newObjects/setobject.c只做make_new_set(type, NULL)set(x)若傳入集合會(huì)完整復(fù)制元素——這是刻意的set可變復(fù)用同一對(duì)象會(huì)讓兩個(gè)獨(dú)立的 set 共享同一份可改數(shù)據(jù)直接破壞語義。而frozenset不可變 值語義frozenset(f) is f在精確類型下成為可能注意是可能返回的是Py_NewRef引用同一對(duì)象因此is恒成立但 frozenset 子類、dict 源、list 源等仍會(huì)新建對(duì)象。五、如何驗(yàn)證這一行為在任意使用當(dāng)前倉庫構(gòu)建的 CPython 中可直接觀察f frozenset({1, 2, 3}) f2 frozenset(f) print(f2 is f) # True —— 精確類型下直接復(fù)用原對(duì)象 print(frozenset(frozenset()) is frozenset()) # False —— 兩次獨(dú)立構(gòu)造 class Sub(frozenset): pass s Sub([1, 2]) print(frozenset(s) is s) # False —— 子類不走冪等短路仍會(huì)新建預(yù)期結(jié)果精確frozenset的二次包裝與源對(duì)象同一身份子類實(shí)例則仍觸發(fā)完整構(gòu)造。相關(guān)測(cè)試入口在 Lib/test/test_set.py其中包含對(duì) frozenset 構(gòu)造、比較、哈希等行為的成組覆蓋回歸驗(yàn)證時(shí)可優(yōu)先運(yùn)行該文件。六、對(duì)使用方的實(shí)際含義寫代碼無需改變?cè)搩?yōu)化完全透明frozenset(x)的調(diào)用方式、異常行為均不變只是參數(shù)恰好是 frozenset這一常見路徑變快。性能敏感場(chǎng)景受益以 frozenset 做字典鍵的嵌套結(jié)構(gòu)如遞歸解析、DAG 去重、類型參數(shù)組合緩存中頻繁的frozenset(existing)包裝調(diào)用現(xiàn)在接近零成本。不要依賴is做邏輯判斷雖然精確類型下frozenset(f) is f成立但這屬于實(shí)現(xiàn)細(xì)節(jié)層面的冪等性保證僅用于性能不應(yīng)把它當(dāng)作 API 契約來寫業(yè)務(wù)邏輯類型上仍是返回一個(gè)引用計(jì)數(shù)遞增后的 frozenset。free-threading 環(huán)境同樣適用填充路徑全程使用臨界區(qū)critical section保護(hù)源集合Objects/setobject.c而冪等短路路徑不持有任何鎖在無 GIL 構(gòu)建下收益更為直接。七、小結(jié)這條兩行的 NEWS 背后是 CPython 內(nèi)置類型層一次典型的識(shí)別并消除冗余拷貝優(yōu)化在make_new_frozenset中利用frozenset的不可變性與精確類型檢查將frozenset(f)從分配 全量元素復(fù)制 GC 登記降級(jí)為一次Py_NewRef。配合既有的 GC 卸載機(jī)制_PyFrozenSet_MaybeUntrack與 vectorcall 直達(dá)入口frozenset 構(gòu)造在小集合高頻調(diào)用的場(chǎng)景下開銷被壓到最低。閱讀 Objects/setobject.c 中make_new_frozenset、set_update_local、set_merge_lock_held三個(gè)函數(shù)的對(duì)照關(guān)系是理解 CPython 集合構(gòu)造快慢分層的最佳切口?！久赓M(fèi)下載鏈接】cpythonThe Python programming language項(xiàng)目地址: https://gitcode.com/GitHub_Trending/cp/cpython創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考 CPython frozenset 構(gòu)造性能優(yōu)化：避免復(fù)制，讓 frozenset(frozenset) 直接復(fù)用原對(duì)象
CPython frozenset 構(gòu)造性能優(yōu)化避免復(fù)制讓 frozenset(frozenset) 直接復(fù)用原對(duì)象【免費(fèi)下載鏈接】cpythonThe Python programming language項(xiàng)目地址: https://gitcode.com/GitHub_Trending/cp/cpython本篇技術(shù)指南圍繞 CPython 的一條核心運(yùn)行時(shí)改進(jìn)展開frozenset對(duì)象在構(gòu)造階段避免不必要的元素復(fù)制。該改動(dòng)落在 CPython 內(nèi)置類型層Core and Builtins讀者讀完后將理解frozenset的完整構(gòu)造鏈路參數(shù)校驗(yàn) → vectorcall → 冪等復(fù)用 → 哈希表填充 → GC 跟蹤策略并能基于 Objects/setobject.c 中的源碼證據(jù)判斷什么場(chǎng)景下frozenset()是零拷貝的、什么場(chǎng)景下仍會(huì)發(fā)生全量插入。一、這次優(yōu)化改了什么對(duì)應(yīng)的變更記錄位于 Misc/NEWS.d/next/Core_and_Builtins/2026-05-18-17-16-51.gh-issue-150027.sJgLvd.rst全文只有兩行Improve performance offrozensetobjects by avoiding copies during construction.提升frozenset對(duì)象性能避免在構(gòu)造期間產(chǎn)生復(fù)制。一句話概括當(dāng)frozenset()的參數(shù)本身就是一個(gè)精確的frozenset實(shí)例時(shí)CPython 不再創(chuàng)建新對(duì)象并逐項(xiàng)復(fù)制元素而是直接返回原對(duì)象的引用。這在 Objects/setobject.c 的make_new_frozenset中實(shí)現(xiàn)static PyObject * make_new_frozenset(PyTypeObject *type, PyObject *iterable) { if (type ! PyFrozenSet_Type) { return make_new_set(type, iterable); } if (iterable ! NULL PyFrozenSet_CheckExact(iterable)) { /* frozenset(f) is idempotent */ return Py_NewRef(iterable); } PyObject *obj make_new_set(type, iterable); if (obj ! NULL) { _PyFrozenSet_MaybeUntrack(obj); } return obj; }見 Objects/setobject.c。三個(gè)關(guān)鍵細(xì)節(jié)只對(duì)精確類型生效PyFrozenSet_CheckExact(iterable)要求參數(shù)必須是frozenset本身而不是它的子類。若參數(shù)是frozenset子類實(shí)例走的是通用構(gòu)造路徑保證子類的__init__/初始化語義不被短路。Py_NewRef而非返回原指針直接Py_INCREF原對(duì)象并返回把引用計(jì)數(shù)交給調(diào)用方符合 CPython 對(duì)象所有權(quán)約定——調(diào)用方拿到返回值后負(fù)責(zé)釋放原對(duì)象的存活期因此自然延長。冪等性idempotent是安全前提frozenset(f)的結(jié)果在語義上與原對(duì)象完全一致——相同的元素、相同的類型且frozenset不可變復(fù)用不會(huì)引入任何可觀察的行為差異。這正是這條優(yōu)化可以成立的理論依據(jù)。二、完整的 frozenset 構(gòu)造鏈路從 Python 層的frozenset(x)調(diào)用到對(duì)象返回實(shí)際調(diào)用鏈如下參數(shù)入口兩種形態(tài)經(jīng)典tp_new路徑frozenset_newObjects/setobject.c。它先拒絕關(guān)鍵字參數(shù)_PyArg_NoKeywords(frozenset, kwds)報(bào)錯(cuò)文本固定為frozenset再用PyArg_UnpackTuple解出 0 到 1 個(gè)位置參數(shù)。更快的 vectorcall 路徑frozenset_vectorcallObjects/setobject.c由類型對(duì)象的.tp_vectorcall槽注冊(cè)見 Objects/setobject.c 附近的PyFrozenSet_Type定義。它跳過tp_new的元對(duì)象分發(fā)直接校驗(yàn)位置參數(shù)個(gè)數(shù)后進(jìn)入make_new_frozenset。冪等短路即上文第一節(jié)的PyFrozenSet_CheckExact分支。通用構(gòu)造路徑make_new_frozenset落到make_new_set(type, iterable)后者由make_new_set_untrackedObjects/setobject.c完成實(shí)體分配so (PySetObject *)_PyType_AllocNoTrack(type, 0); ... so-fill 0; so-used 0; so-mask PySet_MINSIZE - 1; so-table so-smalltable; // 先用對(duì)象內(nèi)嵌的小表 so-hash -1; so-finger 0; so-weakreflist NULL; if (iterable ! NULL) { if (set_update_local(so, iterable)) { ... } }注意注釋里寫明的設(shè)計(jì)約束Objects/setobject.cBuild a set/frozenset left GC-untracked; the caller must_PyObject_GC_TRACK()it once fully built, so a half-built set is never exposed during filling.——對(duì)象在填充完成前不進(jìn)入 GC 跟蹤避免其他線程看到只填了一半的 set填充成功后才由make_new_set調(diào)用_PyObject_GC_TRACK。GC 卸載優(yōu)化對(duì)象建成后make_new_frozenset還會(huì)調(diào)用_PyFrozenSet_MaybeUntrackObjects/setobject.c。該函數(shù)來自 gh-140232 的相關(guān)改進(jìn)遍歷 frozenset 的全部元素若沒有任何元素是被 GC 跟蹤的如全部是 int、str 等不可跟蹤對(duì)象就把整個(gè) frozenset 從 GC 跟蹤列表中移除減少后續(xù) GC 周期的掃描開銷。子類實(shí)例不參與卸載因?yàn)樽宇惪赡芤胍铆h(huán)。這條鏈路說明本次優(yōu)化是在最壞情況路徑之前加了一道最廉價(jià)的短路判斷——先做類型精確檢查O(1)命中即一次Py_INCREF返回未命中才付出分配 逐元素哈希插入 哈希表擴(kuò)容的成本。三、復(fù)制路徑到底貴在哪set_update_local 的分發(fā)邏輯理解短路收益需要看清被短路掉的那條路徑有多重。填充入口是set_update_localObjects/setobject.c它對(duì)源對(duì)象做了四檔分發(fā)源對(duì)象類型走的路徑說明set/frozenset任意集合set_merge_lock_held直接遍歷源集合的哈希表逐個(gè)set_add_entry可批量預(yù)擴(kuò)容精確dictset_update_dict_lock_held借_PyDict_Next迭代鍵值對(duì)見 Objects/setobject.c可預(yù)知PyDict_GET_SIZE并據(jù)此一次性擴(kuò)容Objects/setobject.cfrozendict內(nèi)部類型同上無需鎖frozendict 不可變直接迭代其他可迭代對(duì)象set_update_iterable_lock_heldPyObject_GetIter 逐項(xiàng)PyIter_Nextset_add_key最慢對(duì)集合源走的是set_merge_lock_held需要Py_BEGIN_CRITICAL_SECTION獲取源集合臨界區(qū)、逐項(xiàng)復(fù)制鍵并處理哈希表擴(kuò)容set.update這類對(duì)已公開對(duì)象的更新走set_update_internalObjects/setobject.c還多了一層對(duì)so與other的雙重臨界區(qū)保護(hù)Py_BEGIN_CRITICAL_SECTION2并對(duì)自更新so is other做了直接返回的短路。也就是說優(yōu)化前frozenset(f)要經(jīng)歷分配新對(duì)象 → 復(fù)制內(nèi)嵌表或擴(kuò)容 → 逐項(xiàng)set_add_entry含哈希查找、沖突處理→ 全程持有源集合臨界區(qū) → GC 跟蹤。優(yōu)化后只剩一次引用計(jì)數(shù)遞增。對(duì)把 frozenset 當(dāng)緩存鍵/常量反復(fù)包裝的場(chǎng)景例如每層遞歸都frozenset(prev_keys)這是數(shù)量級(jí)的差異。四、set為何沒有同樣待遇對(duì)照代碼可以明確這次優(yōu)化的邊界set_newObjects/setobject.c只做make_new_set(type, NULL)set(x)若傳入集合會(huì)完整復(fù)制元素——這是刻意的set可變復(fù)用同一對(duì)象會(huì)讓兩個(gè)獨(dú)立的 set 共享同一份可改數(shù)據(jù)直接破壞語義。而frozenset不可變 值語義frozenset(f) is f在精確類型下成為可能注意是可能返回的是Py_NewRef引用同一對(duì)象因此is恒成立但 frozenset 子類、dict 源、list 源等仍會(huì)新建對(duì)象。五、如何驗(yàn)證這一行為在任意使用當(dāng)前倉庫構(gòu)建的 CPython 中可直接觀察f frozenset({1, 2, 3}) f2 frozenset(f) print(f2 is f) # True —— 精確類型下直接復(fù)用原對(duì)象 print(frozenset(frozenset()) is frozenset()) # False —— 兩次獨(dú)立構(gòu)造 class Sub(frozenset): pass s Sub([1, 2]) print(frozenset(s) is s) # False —— 子類不走冪等短路仍會(huì)新建預(yù)期結(jié)果精確frozenset的二次包裝與源對(duì)象同一身份子類實(shí)例則仍觸發(fā)完整構(gòu)造。相關(guān)測(cè)試入口在 Lib/test/test_set.py其中包含對(duì) frozenset 構(gòu)造、比較、哈希等行為的成組覆蓋回歸驗(yàn)證時(shí)可優(yōu)先運(yùn)行該文件。六、對(duì)使用方的實(shí)際含義寫代碼無需改變?cè)搩?yōu)化完全透明frozenset(x)的調(diào)用方式、異常行為均不變只是參數(shù)恰好是 frozenset這一常見路徑變快。性能敏感場(chǎng)景受益以 frozenset 做字典鍵的嵌套結(jié)構(gòu)如遞歸解析、DAG 去重、類型參數(shù)組合緩存中頻繁的frozenset(existing)包裝調(diào)用現(xiàn)在接近零成本。不要依賴is做邏輯判斷雖然精確類型下frozenset(f) is f成立但這屬于實(shí)現(xiàn)細(xì)節(jié)層面的冪等性保證僅用于性能不應(yīng)把它當(dāng)作 API 契約來寫業(yè)務(wù)邏輯類型上仍是返回一個(gè)引用計(jì)數(shù)遞增后的 frozenset。free-threading 環(huán)境同樣適用填充路徑全程使用臨界區(qū)critical section保護(hù)源集合Objects/setobject.c而冪等短路路徑不持有任何鎖在無 GIL 構(gòu)建下收益更為直接。七、小結(jié)這條兩行的 NEWS 背后是 CPython 內(nèi)置類型層一次典型的識(shí)別并消除冗余拷貝優(yōu)化在make_new_frozenset中利用frozenset的不可變性與精確類型檢查將frozenset(f)從分配 全量元素復(fù)制 GC 登記降級(jí)為一次Py_NewRef。配合既有的 GC 卸載機(jī)制_PyFrozenSet_MaybeUntrack與 vectorcall 直達(dá)入口frozenset 構(gòu)造在小集合高頻調(diào)用的場(chǎng)景下開銷被壓到最低。閱讀 Objects/setobject.c 中make_new_frozenset、set_update_local、set_merge_lock_held三個(gè)函數(shù)的對(duì)照關(guān)系是理解 CPython 集合構(gòu)造快慢分層的最佳切口?！久赓M(fèi)下載鏈接】cpythonThe Python programming language項(xiàng)目地址: https://gitcode.com/GitHub_Trending/cp/cpython創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考