則與 C++20 三路比較遷移)
JSON for Modern Cnlohmann/jsonoperator詳解JSON 值的字典序比較、類型序規(guī)則與 C20 三路比較遷移【免費下載鏈接】jsonJSON for Modern C項目地址: https://gitcode.com/GitHub_Trending/js/jsonnlohmann/json 為basic_json提供了完整的關(guān)系運算符集合其中operator是構(gòu)造小于語義、從而支撐std::sort、std::set、std::map等標準庫有序容器場景的基礎(chǔ)。本文以倉庫 API 參考文檔 operator_lt.md 為主線結(jié)合頭文件實現(xiàn)與配套示例系統(tǒng)講解operator的兩種重載形態(tài)、跨類型與跨數(shù)值比較規(guī)則、隱藏的 JSON 類型總序type ordering、NaN/discarded的不可比較語義以及 C20 下三路比較運算符operator的替換關(guān)系。讀完你將能準確預(yù)測任意兩個 JSON 值的比較結(jié)果并能安全地遷移到 C20 編譯環(huán)境。一、函數(shù)簽名總覽JSON 值之間、JSON 值與標量之間operator以非成員friend運算符形式提供共兩種重載形態(tài)// until C20 bool operator(const_reference lhs, const_reference rhs) noexcept; // (1) templatetypename ScalarType bool operator(const_reference lhs, const ScalarType rhs) noexcept; // (2) templatetypename ScalarType bool operator(ScalarType lhs, const const_reference rhs) noexcept; // (2)形態(tài) (1)比較兩個 JSON 值lhs與rhs即最常用的json_a json_b形態(tài) (2)把標量如int、double、bool、nullptr_t等轉(zhuǎn)換成 JSON 值后再按形態(tài) (1) 比較因此同時支持json 42與42 json兩種書寫方向。在 include/nlohmann/json.hpp 中三個重載以friend函數(shù)的形式集中聲明于basic_json類內(nèi)其真實行為均為先構(gòu)造basic_json再比較friend bool operator(const_reference lhs, const_reference rhs) noexcept; // 宏 JSON_IMPLEMENT_OPERATOR 展開 templatetypename ScalarType, typename std::enable_if std::is_scalarScalarType::value, int::type 0 friend bool operator(const_reference lhs, ScalarType rhs) noexcept { return lhs basic_json(rhs); } templatetypename ScalarType, typename std::enable_if std::is_scalarScalarType::value, int::type 0 friend bool operator(ScalarType lhs, const_reference rhs) noexcept { return basic_json(lhs) rhs; }這里的關(guān)鍵詞是friend因為庫允許通過basic_json的類型模板參數(shù)定制容器見 ordered_map.hpp、ordered_json頂層比較運算符必須是友元才能以相同方式作用于所有特化標量重載的可用性由std::is_scalar通過 SFINAE 約束C20 分支下改用requires std::is_scalar_vScalarType。模板參數(shù)與函數(shù)參數(shù)項目說明ScalarType滿足std::is_scalarScalarType::value的標量類型算術(shù)類型、枚舉、指針、nullptr_t、bool等lhs(in)參與比較的第一個值rhs(in)參與比較的第二個值返回值lhs是否嚴格小于rhsbool異常安全No-throw guarantee函數(shù)聲明為noexcept任何情況下不拋異常時間復(fù)雜度線性Linear數(shù)組按元素逐個比較、對象按條目逐個比較代價隨規(guī)模線性增長二、三條核心比較規(guī)則API 參考文檔把形態(tài) (1) 的判定邏輯歸納為四條規(guī)則其中前三條決定絕大多數(shù)日常結(jié)果規(guī)則 1任一側(cè)為discarded值直接返回false。discarded是解析器回調(diào)parser_callback_t丟棄某個值時產(chǎn)生的特殊內(nèi)部狀態(tài)不代表任何真實 JSON 數(shù)據(jù)只要lhs或rhs之一是 discarded即按不可比較處理返回false。規(guī)則 2兩側(cè)類型相同直接調(diào)用該類型的原生operator。從源碼宏 JSON_IMPLEMENT_OPERATOR 可以看到每種類型的實際比較載體JSON 類型底層存儲小于比較的語義arraystd::vectorarray_t逐元素字典序首個不同元素決定結(jié)果objectstd::mapobject_t默認按鍵排序按鍵排序后按鍵, 值對做字典序比較stringstd::stringstring_t字節(jié)級字典序booleanboolfalse truenumber_integer/number_unsigned/number_float對應(yīng)整型 / 無符號 / 浮點各自原生數(shù)值比較binarystd::vectorstd::uint8_t字節(jié)序列字典序規(guī)則 3兩側(cè)類型不同時忽略取值僅按 JSON 類型總序比較類型本身。這一條是 nlohmann/json 最鮮明的設(shè)計跨類型比較的結(jié)果只取決于類型不取決于值。庫為 7 大類 JSON 類型規(guī)定了固定的偏序規(guī)則上從小到大依次為nullbooleannumber整數(shù)、無符號、浮點三種子類型歸并為同一檔objectarraystringbinary例如任何布爾值都小于任何字符串json(true) json(any)恒為true即使布爾值是true而字符串內(nèi)容是空串。在實現(xiàn)層這個類型總序并非依賴value_t枚舉的聲明順序而是由 detail/value_t.hpp 中一張顯式映射表給出的static constexpr std::arraystd::uint8_t, 9 order {{ 0 /* null */, 3 /* object */, 4 /* array */, 5 /* string */, 1 /* boolean */, 2 /* integer */, 2 /* unsigned */, 2 /* float */, 6 /* binary */ } };null0、boolean1、三種數(shù)字子類型統(tǒng)一為2、object3、array4、string5、binary6恰好對應(yīng)上表。value_t同時提供operatorC20 前與operatorC20 起供頂層比較宏在值不可比時回退比較類型。該表注釋還說明此順序類似 Pythonb字節(jié)串可直接與字符串比較但故意讓 JSONbinary不與string直接混比。規(guī)則 4補充數(shù)值自動轉(zhuǎn)換。當兩側(cè)都是數(shù)字但子類型不同如一個number_integer、一個number_float時并不落到類型不同按類型序的路徑而是先做數(shù)值轉(zhuǎn)換再比較——這正是規(guī)則 3 中三種數(shù)字子類型歸并為一檔的原因。三、數(shù)值比較的細節(jié)自動轉(zhuǎn)換與符號邊界JSON_IMPLEMENT_OPERATOR宏把同類型比較和跨類型數(shù)值比較放在同一套代碼中展開所有比較運算符、!、、、、、共用它只是傳入的算子、占位結(jié)果不同?？鐢?shù)值類型分支如下include/nlohmann/json.hppnumber_integervsnumber_float、number_unsignedvsnumber_float把整數(shù)值static_cast成浮點后再比較。例如17 17.0000000000001L會變成17.0 17.0000000000001。number_unsignedvsnumber_integer先檢查有符號一側(cè)是否為負——若為負則直接按負數(shù)恒小于無符號數(shù)返回固定結(jié)果1 op -1否則把非負的有符號數(shù)轉(zhuǎn)成無符號再比較。宏頭部注釋解釋了最后一點有/無符號混合比較必須先判斷符號再強轉(zhuǎn)否則負數(shù)轉(zhuǎn)無符號會發(fā)生回繞wraparound而得出錯誤結(jié)論對應(yīng)上游 issue #1530 的修復(fù)。這保證了對任意std::int64_t/std::uint64_t組合比較結(jié)果都與數(shù)學意義上的大小完全一致。類型相同的數(shù)字之間比較的則是原始存儲值見 value_t.hpp庫區(qū)分number_integer_t、number_unsigned_t、number_float_t三種數(shù)字存儲。四、NaN、discarded與無序比較JSON 標準里沒有NaN但庫允許用戶在運行時把NaN寫入浮點值。NaN在數(shù)值域中無序unordered因此文檔明確了三條比較結(jié)論NaN與自身比較為falseNaN與另一個NaN比較為falseNaN與任何其他數(shù)字比較為false。實現(xiàn)上的關(guān)鍵函數(shù)是 compares_unorderedstatic bool compares_unordered(const_reference lhs, const_reference rhs, bool inverse false) noexcept { if ((lhs.is_number_float() std::isnan(lhs.m_data.m_value.number_float) rhs.is_number()) || (rhs.is_number_float() std::isnan(rhs.m_data.m_value.number_float) lhs.is_number())) { return true; } return lhs.is_discarded() || rhs.is_discarded(); }宏在展開時以null_result false、unordered_result false、default_result operator(lhs_type, rhs_type)調(diào)用一旦命中NaN對數(shù)字、或任一側(cè) discarded宏即短路返回false否則才落到類型序比較。正因為NaN與任何數(shù)字包括它自己比較都返回false文檔在std::partial_ordering語境下稱NaN為不可排序這也是為什么三路比較的返回類型是std::partial_ordering含unordered而不是std::strong_ordering。補充編譯期宏JSON_USE_LEGACY_DISCARDED_VALUE_COMPARISON被定義時庫會啟用 3.11.0 之前discarded 在奇數(shù)次求反算符中視為可排序的舊語義并為此額外重載、帶JSON_HEDLEY_DEPRECATED_FOR棄用標注見 include/nlohmann/json.hpp。默認情況下對 discarded 一律返回false新舊語義一致。五、完整的可運行示例與輸出解讀倉庫提供了最小自包含示例 operator__less.cpp#include iostream #include nlohmann/json.hpp using json nlohmann::json; int main() { // create several JSON values json array_1 {1, 2, 3}; json array_2 {1, 2, 4}; json object_1 {{A, a}, {B, b}}; json object_2 {{B, b}, {A, a}}; json number_1 17; json number_2 17.0000000000001L; json string_1 foo; json string_2 bar; // output values and comparisons std::cout std::boolalpha; std::cout array_1 array_2 (array_1 array_2) \n; std::cout object_1 object_2 (object_1 object_2) \n; std::cout number_1 number_2 (number_1 number_2) \n; std::cout string_1 string_2 (string_1 string_2) \n; }輸出見 operator__less.output[1,2,3] [1,2,4] true {A:a,B:b} {A:a,B:b} false 17 17.0000000000001 true foo bar false示例源碼在打印時統(tǒng)一用了作為分隔文案真正執(zhí)行的運算符是需按(a b)的布爾值解讀輸出。逐條驗證本文規(guī)則[1,2,3] [1,2,4]→true同類型數(shù)組按元素字典序前兩個元素相等3 4成立object_1 object_2→false對象默認以std::map存儲、按鍵有序兩個對象鍵值內(nèi)容完全相同字典序上誰也不小于誰17 17.0000000000001L→truenumber_integer與number_float跨類型但同為數(shù)字觸發(fā)自動數(shù)值轉(zhuǎn)換17.0 17.0000000000001foo bar→false字符串字典序比較首字符f102大于b98。示例的構(gòu)建與運行方式與倉庫中其他示例一致在示例文件同目錄下把對應(yīng).cpp與庫的單頭文件 single_include/nlohmann/json.hpp 一起編譯-stdc11或更高C20 下行為差異見下節(jié)例如g -stdc17 -Irepo/single_include operator__less.cpp -o operator__less。六、C20 遷移operator與重載決議版本歷史明確記錄兩種重載均自 1.0.0 加入自 3.11.0 起在 C20 環(huán)境下被條件性地移除。原因正是 C20 的運算符重寫rewritten candidates機制——三路比較運算符 operator對應(yīng)文檔 operator_spaceship.md被引入后a b可以由a b或反向形式自動推導(dǎo)。是否啟用 C20 分支由宏JSON_HAS_THREE_WAY_COMPARISON控制定義于 detail/macro_scope.hpp其判定條件是編譯器實現(xiàn)了__cpp_impl_three_way_comparison 201907L等要求。開啟后頭文件走 include/nlohmann/json.hpp 中的成員函數(shù)分支std::partial_ordering operator(const_reference rhs) const noexcept { const_reference lhs *this; JSON_IMPLEMENT_OPERATOR(, std::partial_ordering::equivalent, std::partial_ordering::unordered, lhs_type rhs_type) }同類型相等時返回equivalent、NaN/discarded 命中無序分支時返回unordered其余按類型序比較。由于的存在編譯器會自動把lhs rhs重寫為對的調(diào)用重寫的候選運算符operator不再需要顯式定義——這就是條件性移除的機制含義。對調(diào)用方而言只要庫在 C20 下編譯json_a json_b的行為語義不變NaN仍無序、discarded 仍不可比、類型總序與數(shù)值轉(zhuǎn)換規(guī)則完全復(fù)用JSON_IMPLEMENT_OPERATOR宏。遷移時需注意兩件事三路比較返回的是std::partial_ordering而非強排序代碼中若依賴a b 0的強序假設(shè)需改為用is_eq/is_lt/is_gt或直接比較、判定若必須保留 3.10.x 時期 discarded 值的舊比較行為需要在使用前定義JSON_USE_LEGACY_DISCARDED_VALUE_COMPARISON但該路徑已被標記為棄用JSON_HEDLEY_DEPRECATED_FOR指向 3.11.0不建議新代碼采用。七、與其他關(guān)系運算符的關(guān)系與快速記憶operator不是孤立存在的庫在同一批friend重載中提供了完整關(guān)系族include/nlohmann/json.hpp 一帶聲明了、!、、、、。其中operator實現(xiàn)為!(rhs lhs)并額外做compares_unordered短路operator、operator同理由的否定推導(dǎo)C20 下統(tǒng)一收斂到operator。因此真正承載全部排序語義的根基正是operator與operator展開用的JSON_IMPLEMENT_OPERATOR宏。理解本節(jié)的內(nèi)容即可舉一反三地推演其余關(guān)系運算符?？焖儆洃浫龡l結(jié)論同類型用原生比較不同類型按null boolean number object array string binary的類型序比類型不比值只要出現(xiàn)NaN對數(shù)字或 discarded比較結(jié)果恒為false。數(shù)值跨界比較總是先做數(shù)學上正確的轉(zhuǎn)換符號邊界先行這是17 17.0000000000001L這類代碼能得出直覺結(jié)果的根本原因。八、延伸閱讀本文參考的主體文檔docs/mkdocs/docs/api/basic_json/operator_lt.md頂層比較運算符與宏實現(xiàn)include/nlohmann/json.hppJSON_IMPLEMENT_OPERATOR宏與compares_unorderedJSON 類型總序的映射表實現(xiàn)include/nlohmann/detail/value_t.hppC20 三路比較開關(guān)宏include/nlohmann/detail/macro_scope.hpp配套三路比較 API 文檔operator_spaceship.md可運行示例與輸出operator__less.cpp、operator__less.output比較語義的單元測試跨類型、NaN、discarded 等邊界用例tests/src/unit-comparison.cpp使用單文件頭時對應(yīng)的實現(xiàn)single_include/nlohmann/json.hpp【免費下載鏈接】jsonJSON for Modern C項目地址: https://gitcode.com/GitHub_Trending/js/json創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考 JSON for Modern C++（nlohmann/json）`operator＜` 詳解：JSON 值的字典序比較、類型序規(guī)則與 C++20 三路比較遷移
JSON for Modern Cnlohmann/jsonoperator詳解JSON 值的字典序比較、類型序規(guī)則與 C20 三路比較遷移【免費下載鏈接】jsonJSON for Modern C項目地址: https://gitcode.com/GitHub_Trending/js/jsonnlohmann/json 為basic_json提供了完整的關(guān)系運算符集合其中operator是構(gòu)造小于語義、從而支撐std::sort、std::set、std::map等標準庫有序容器場景的基礎(chǔ)。本文以倉庫 API 參考文檔 operator_lt.md 為主線結(jié)合頭文件實現(xiàn)與配套示例系統(tǒng)講解operator的兩種重載形態(tài)、跨類型與跨數(shù)值比較規(guī)則、隱藏的 JSON 類型總序type ordering、NaN/discarded的不可比較語義以及 C20 下三路比較運算符operator的替換關(guān)系。讀完你將能準確預(yù)測任意兩個 JSON 值的比較結(jié)果并能安全地遷移到 C20 編譯環(huán)境。一、函數(shù)簽名總覽JSON 值之間、JSON 值與標量之間operator以非成員friend運算符形式提供共兩種重載形態(tài)// until C20 bool operator(const_reference lhs, const_reference rhs) noexcept; // (1) templatetypename ScalarType bool operator(const_reference lhs, const ScalarType rhs) noexcept; // (2) templatetypename ScalarType bool operator(ScalarType lhs, const const_reference rhs) noexcept; // (2)形態(tài) (1)比較兩個 JSON 值lhs與rhs即最常用的json_a json_b形態(tài) (2)把標量如int、double、bool、nullptr_t等轉(zhuǎn)換成 JSON 值后再按形態(tài) (1) 比較因此同時支持json 42與42 json兩種書寫方向。在 include/nlohmann/json.hpp 中三個重載以friend函數(shù)的形式集中聲明于basic_json類內(nèi)其真實行為均為先構(gòu)造basic_json再比較friend bool operator(const_reference lhs, const_reference rhs) noexcept; // 宏 JSON_IMPLEMENT_OPERATOR 展開 templatetypename ScalarType, typename std::enable_if std::is_scalarScalarType::value, int::type 0 friend bool operator(const_reference lhs, ScalarType rhs) noexcept { return lhs basic_json(rhs); } templatetypename ScalarType, typename std::enable_if std::is_scalarScalarType::value, int::type 0 friend bool operator(ScalarType lhs, const_reference rhs) noexcept { return basic_json(lhs) rhs; }這里的關(guān)鍵詞是friend因為庫允許通過basic_json的類型模板參數(shù)定制容器見 ordered_map.hpp、ordered_json頂層比較運算符必須是友元才能以相同方式作用于所有特化標量重載的可用性由std::is_scalar通過 SFINAE 約束C20 分支下改用requires std::is_scalar_vScalarType。模板參數(shù)與函數(shù)參數(shù)項目說明ScalarType滿足std::is_scalarScalarType::value的標量類型算術(shù)類型、枚舉、指針、nullptr_t、bool等lhs(in)參與比較的第一個值rhs(in)參與比較的第二個值返回值lhs是否嚴格小于rhsbool異常安全No-throw guarantee函數(shù)聲明為noexcept任何情況下不拋異常時間復(fù)雜度線性Linear數(shù)組按元素逐個比較、對象按條目逐個比較代價隨規(guī)模線性增長二、三條核心比較規(guī)則API 參考文檔把形態(tài) (1) 的判定邏輯歸納為四條規(guī)則其中前三條決定絕大多數(shù)日常結(jié)果規(guī)則 1任一側(cè)為discarded值直接返回false。discarded是解析器回調(diào)parser_callback_t丟棄某個值時產(chǎn)生的特殊內(nèi)部狀態(tài)不代表任何真實 JSON 數(shù)據(jù)只要lhs或rhs之一是 discarded即按不可比較處理返回false。規(guī)則 2兩側(cè)類型相同直接調(diào)用該類型的原生operator。從源碼宏 JSON_IMPLEMENT_OPERATOR 可以看到每種類型的實際比較載體JSON 類型底層存儲小于比較的語義arraystd::vectorarray_t逐元素字典序首個不同元素決定結(jié)果objectstd::mapobject_t默認按鍵排序按鍵排序后按鍵, 值對做字典序比較stringstd::stringstring_t字節(jié)級字典序booleanboolfalse truenumber_integer/number_unsigned/number_float對應(yīng)整型 / 無符號 / 浮點各自原生數(shù)值比較binarystd::vectorstd::uint8_t字節(jié)序列字典序規(guī)則 3兩側(cè)類型不同時忽略取值僅按 JSON 類型總序比較類型本身。這一條是 nlohmann/json 最鮮明的設(shè)計跨類型比較的結(jié)果只取決于類型不取決于值。庫為 7 大類 JSON 類型規(guī)定了固定的偏序規(guī)則上從小到大依次為nullbooleannumber整數(shù)、無符號、浮點三種子類型歸并為同一檔objectarraystringbinary例如任何布爾值都小于任何字符串json(true) json(any)恒為true即使布爾值是true而字符串內(nèi)容是空串。在實現(xiàn)層這個類型總序并非依賴value_t枚舉的聲明順序而是由 detail/value_t.hpp 中一張顯式映射表給出的static constexpr std::arraystd::uint8_t, 9 order {{ 0 /* null */, 3 /* object */, 4 /* array */, 5 /* string */, 1 /* boolean */, 2 /* integer */, 2 /* unsigned */, 2 /* float */, 6 /* binary */ } };null0、boolean1、三種數(shù)字子類型統(tǒng)一為2、object3、array4、string5、binary6恰好對應(yīng)上表。value_t同時提供operatorC20 前與operatorC20 起供頂層比較宏在值不可比時回退比較類型。該表注釋還說明此順序類似 Pythonb字節(jié)串可直接與字符串比較但故意讓 JSONbinary不與string直接混比。規(guī)則 4補充數(shù)值自動轉(zhuǎn)換。當兩側(cè)都是數(shù)字但子類型不同如一個number_integer、一個number_float時并不落到類型不同按類型序的路徑而是先做數(shù)值轉(zhuǎn)換再比較——這正是規(guī)則 3 中三種數(shù)字子類型歸并為一檔的原因。三、數(shù)值比較的細節(jié)自動轉(zhuǎn)換與符號邊界JSON_IMPLEMENT_OPERATOR宏把同類型比較和跨類型數(shù)值比較放在同一套代碼中展開所有比較運算符、!、、、、、共用它只是傳入的算子、占位結(jié)果不同?？鐢?shù)值類型分支如下include/nlohmann/json.hppnumber_integervsnumber_float、number_unsignedvsnumber_float把整數(shù)值static_cast成浮點后再比較。例如17 17.0000000000001L會變成17.0 17.0000000000001。number_unsignedvsnumber_integer先檢查有符號一側(cè)是否為負——若為負則直接按負數(shù)恒小于無符號數(shù)返回固定結(jié)果1 op -1否則把非負的有符號數(shù)轉(zhuǎn)成無符號再比較。宏頭部注釋解釋了最后一點有/無符號混合比較必須先判斷符號再強轉(zhuǎn)否則負數(shù)轉(zhuǎn)無符號會發(fā)生回繞wraparound而得出錯誤結(jié)論對應(yīng)上游 issue #1530 的修復(fù)。這保證了對任意std::int64_t/std::uint64_t組合比較結(jié)果都與數(shù)學意義上的大小完全一致。類型相同的數(shù)字之間比較的則是原始存儲值見 value_t.hpp庫區(qū)分number_integer_t、number_unsigned_t、number_float_t三種數(shù)字存儲。四、NaN、discarded與無序比較JSON 標準里沒有NaN但庫允許用戶在運行時把NaN寫入浮點值。NaN在數(shù)值域中無序unordered因此文檔明確了三條比較結(jié)論NaN與自身比較為falseNaN與另一個NaN比較為falseNaN與任何其他數(shù)字比較為false。實現(xiàn)上的關(guān)鍵函數(shù)是 compares_unorderedstatic bool compares_unordered(const_reference lhs, const_reference rhs, bool inverse false) noexcept { if ((lhs.is_number_float() std::isnan(lhs.m_data.m_value.number_float) rhs.is_number()) || (rhs.is_number_float() std::isnan(rhs.m_data.m_value.number_float) lhs.is_number())) { return true; } return lhs.is_discarded() || rhs.is_discarded(); }宏在展開時以null_result false、unordered_result false、default_result operator(lhs_type, rhs_type)調(diào)用一旦命中NaN對數(shù)字、或任一側(cè) discarded宏即短路返回false否則才落到類型序比較。正因為NaN與任何數(shù)字包括它自己比較都返回false文檔在std::partial_ordering語境下稱NaN為不可排序這也是為什么三路比較的返回類型是std::partial_ordering含unordered而不是std::strong_ordering。補充編譯期宏JSON_USE_LEGACY_DISCARDED_VALUE_COMPARISON被定義時庫會啟用 3.11.0 之前discarded 在奇數(shù)次求反算符中視為可排序的舊語義并為此額外重載、帶JSON_HEDLEY_DEPRECATED_FOR棄用標注見 include/nlohmann/json.hpp。默認情況下對 discarded 一律返回false新舊語義一致。五、完整的可運行示例與輸出解讀倉庫提供了最小自包含示例 operator__less.cpp#include iostream #include nlohmann/json.hpp using json nlohmann::json; int main() { // create several JSON values json array_1 {1, 2, 3}; json array_2 {1, 2, 4}; json object_1 {{A, a}, {B, b}}; json object_2 {{B, b}, {A, a}}; json number_1 17; json number_2 17.0000000000001L; json string_1 foo; json string_2 bar; // output values and comparisons std::cout std::boolalpha; std::cout array_1 array_2 (array_1 array_2) \n; std::cout object_1 object_2 (object_1 object_2) \n; std::cout number_1 number_2 (number_1 number_2) \n; std::cout string_1 string_2 (string_1 string_2) \n; }輸出見 operator__less.output[1,2,3] [1,2,4] true {A:a,B:b} {A:a,B:b} false 17 17.0000000000001 true foo bar false示例源碼在打印時統(tǒng)一用了作為分隔文案真正執(zhí)行的運算符是需按(a b)的布爾值解讀輸出。逐條驗證本文規(guī)則[1,2,3] [1,2,4]→true同類型數(shù)組按元素字典序前兩個元素相等3 4成立object_1 object_2→false對象默認以std::map存儲、按鍵有序兩個對象鍵值內(nèi)容完全相同字典序上誰也不小于誰17 17.0000000000001L→truenumber_integer與number_float跨類型但同為數(shù)字觸發(fā)自動數(shù)值轉(zhuǎn)換17.0 17.0000000000001foo bar→false字符串字典序比較首字符f102大于b98。示例的構(gòu)建與運行方式與倉庫中其他示例一致在示例文件同目錄下把對應(yīng).cpp與庫的單頭文件 single_include/nlohmann/json.hpp 一起編譯-stdc11或更高C20 下行為差異見下節(jié)例如g -stdc17 -Irepo/single_include operator__less.cpp -o operator__less。六、C20 遷移operator與重載決議版本歷史明確記錄兩種重載均自 1.0.0 加入自 3.11.0 起在 C20 環(huán)境下被條件性地移除。原因正是 C20 的運算符重寫rewritten candidates機制——三路比較運算符 operator對應(yīng)文檔 operator_spaceship.md被引入后a b可以由a b或反向形式自動推導(dǎo)。是否啟用 C20 分支由宏JSON_HAS_THREE_WAY_COMPARISON控制定義于 detail/macro_scope.hpp其判定條件是編譯器實現(xiàn)了__cpp_impl_three_way_comparison 201907L等要求。開啟后頭文件走 include/nlohmann/json.hpp 中的成員函數(shù)分支std::partial_ordering operator(const_reference rhs) const noexcept { const_reference lhs *this; JSON_IMPLEMENT_OPERATOR(, std::partial_ordering::equivalent, std::partial_ordering::unordered, lhs_type rhs_type) }同類型相等時返回equivalent、NaN/discarded 命中無序分支時返回unordered其余按類型序比較。由于的存在編譯器會自動把lhs rhs重寫為對的調(diào)用重寫的候選運算符operator不再需要顯式定義——這就是條件性移除的機制含義。對調(diào)用方而言只要庫在 C20 下編譯json_a json_b的行為語義不變NaN仍無序、discarded 仍不可比、類型總序與數(shù)值轉(zhuǎn)換規(guī)則完全復(fù)用JSON_IMPLEMENT_OPERATOR宏。遷移時需注意兩件事三路比較返回的是std::partial_ordering而非強排序代碼中若依賴a b 0的強序假設(shè)需改為用is_eq/is_lt/is_gt或直接比較、判定若必須保留 3.10.x 時期 discarded 值的舊比較行為需要在使用前定義JSON_USE_LEGACY_DISCARDED_VALUE_COMPARISON但該路徑已被標記為棄用JSON_HEDLEY_DEPRECATED_FOR指向 3.11.0不建議新代碼采用。七、與其他關(guān)系運算符的關(guān)系與快速記憶operator不是孤立存在的庫在同一批friend重載中提供了完整關(guān)系族include/nlohmann/json.hpp 一帶聲明了、!、、、、。其中operator實現(xiàn)為!(rhs lhs)并額外做compares_unordered短路operator、operator同理由的否定推導(dǎo)C20 下統(tǒng)一收斂到operator。因此真正承載全部排序語義的根基正是operator與operator展開用的JSON_IMPLEMENT_OPERATOR宏。理解本節(jié)的內(nèi)容即可舉一反三地推演其余關(guān)系運算符?？焖儆洃浫龡l結(jié)論同類型用原生比較不同類型按null boolean number object array string binary的類型序比類型不比值只要出現(xiàn)NaN對數(shù)字或 discarded比較結(jié)果恒為false。數(shù)值跨界比較總是先做數(shù)學上正確的轉(zhuǎn)換符號邊界先行這是17 17.0000000000001L這類代碼能得出直覺結(jié)果的根本原因。八、延伸閱讀本文參考的主體文檔docs/mkdocs/docs/api/basic_json/operator_lt.md頂層比較運算符與宏實現(xiàn)include/nlohmann/json.hppJSON_IMPLEMENT_OPERATOR宏與compares_unorderedJSON 類型總序的映射表實現(xiàn)include/nlohmann/detail/value_t.hppC20 三路比較開關(guān)宏include/nlohmann/detail/macro_scope.hpp配套三路比較 API 文檔operator_spaceship.md可運行示例與輸出operator__less.cpp、operator__less.output比較語義的單元測試跨類型、NaN、discarded 等邊界用例tests/src/unit-comparison.cpp使用單文件頭時對應(yīng)的實現(xiàn)single_include/nlohmann/json.hpp【免費下載鏈接】jsonJSON for Modern C項目地址: https://gitcode.com/GitHub_Trending/js/json創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考