重新審視未定義行為：序列點和用戶定義類型
問題：
在上一篇關於未定義行為和序列點的文章中，表達式i = i 被認為是呼叫內建類型的未定義行為。然而，問題來了：如果 i 的類型是使用者定義的怎麼辦？具體來說，假設我們有一個帶有重載運算子的 Index 類別。
答案：未定義的行為與明確定義的行為
與直覺相反，事實證明，表達式i = i 不會調用Index 等用戶定義類型的未定義行為。這是因為 Index 中的重載運算子被視為函數。根據 C ISO 標準，函數求值在函數參數求值後引入一個序列點，複製回傳值後再引入另一個序列點。
序列點和重載運算子
在 i = i 的情況下，表達式 i 在作為參數傳遞給運算子 = 之前先進行計算。這表示在對 i 求值之後存在一個序列點，確保物件 i 在連續(xù)的序列點之間僅被修改一次。
因此，表達式i = i 對於使用者定義類型（如Index）是等效的編寫i.operator =(i.operator ()); ，這是一個定義良好的表達式，沒有未定義的行為。這同樣適用於語法上較簡單的表達式 i.add(i.inc());。
微妙的區(qū)別：
重要的是要注意 i = i 不是 C 語法意義上的表達式。相反，它是一個“語句表達式”，它是表達式和語句的語法組合。語句表達式與普通語句一樣執(zhí)行，但其結果也可以賦值給變數。
a[ i] = i
如果a 是陣列對於內建類型，表達式a[ i] = i 會呼叫未定義的行為，因為左值a[ i] 被求值兩次：一次在表達式i 中，另一次在賦值i = 中i.
但是，如果 a是重載下標運算子的使用者定義類型，則表達式的行為可能會有所不同，具體取決於下標運算子的實作。例如，如果使用 const Index& operator[](Index i) 實作下標運算符，則表達式將是明確定義的，因為在呼叫下標運算子之前，左值 a[ i] 僅計算一次。
i 的有效性；
表達式 i;在 C 03 中定義良好，因為它等價於 ((i.operator ()).operator ()).operator ()。這是因為每個運算子引入了一個序列點，確保物件 i 在連續(xù)的序列點之間僅被修改一次。
以上是`i = i` 是否會在 C 中呼叫使用者定義類型的未定義行為？的詳細內容。更多資訊請關注PHP中文網其他相關文章！
熱AI工具
Undress AI Tool
免費脫衣圖片
Undresser.AI Undress
人工智慧驅動的應用程序，用於創(chuàng)建逼真的裸體照片
AI Clothes Remover
用於從照片中去除衣服的線上人工智慧工具。
Clothoff.io
AI脫衣器
Video Face Swap
使用我們完全免費的人工智慧換臉工具，輕鬆在任何影片中換臉！
熱門文章
熱工具
記事本++7.3.1
好用且免費的程式碼編輯器
SublimeText3漢化版
中文版，非常好用
禪工作室 13.0.1
強大的PHP整合開發(fā)環(huán)境
Dreamweaver CS6
視覺化網頁開發(fā)工具
SublimeText3 Mac版
神級程式碼編輯軟體(SublimeText3)
在C中使用std :: Chrono
Jul 15, 2025 am 01:30 AM
std::chrono在C 中用於處理時間，包括獲取當前時間、測量執(zhí)行時間、操作時間點與持續(xù)時間及格式化解析時間。 1.獲取當前時間使用std::chrono::system_clock::now()，可轉換為可讀字符串但係統(tǒng)時鐘可能不單調；2.測量執(zhí)行時間應使用std::chrono::steady_clock以確保單調性，並通過duration_cast轉換為毫秒、秒等單位；3.時間點(time_point)和持續(xù)時間(duration)可相互操作，但需注意單位兼容性和時鐘紀元(epoch)
C中的揮發(fā)性關鍵字是什麼？
Jul 04, 2025 am 01:09 AM
volatile告訴編譯器變量的值可能隨時改變，防止編譯器優(yōu)化訪問。 1.用於硬件寄存器、信號處理程序或線程間共享變量（但現代C 推薦std::atomic）。 2.每次訪問都直接讀寫內存而非緩存到寄存器。 3.不提供原子性或線程安全，僅確保編譯器不優(yōu)化讀寫。 4.與const相反，有時兩者結合使用表示只讀但可外部修改的變量。 5.不能替代互斥鎖或原子操作，過度使用會影響性能。
如何在C中獲得堆棧跟蹤？
Jul 07, 2025 am 01:41 AM
在C 中獲取堆棧跟蹤的方法主要有以下幾種：1.在Linux平臺使用backtrace和backtrace_symbols函數，通過包含獲取調用棧並打印符號信息，需編譯時添加-rdynamic參數；2.在Windows平臺使用CaptureStackBackTrace函數，需鏈接DbgHelp.lib並依賴PDB文件解析函數名；3.使用第三方庫如GoogleBreakpad或Boost.Stacktrace，可跨平臺並簡化堆棧捕獲操作；4.在異常處理中結合上述方法，在catch塊中自動輸出堆棧信
什麼是C中的POD（普通舊數據）類型？
Jul 12, 2025 am 02:15 AM
在C 中，POD（PlainOldData）類型是指結構簡單且與C語言數據處理兼容的類型。它需滿足兩個條件：具有平凡的拷貝語義，可用memcpy複製；具有標準佈局，內存結構可預測。具體要求包括：所有非靜態(tài)成員為公有、無用戶定義構造函數或析構函數、無虛函數或基類、所有非靜態(tài)成員自身為POD。例如structPoint{intx;inty;}是POD。其用途包括二進制I/O、C互操作性、性能優(yōu)化等?？赏ㄟ^std::is_pod檢查類型是否為POD，但C 11後更推薦用std::is_trivia
如何從c打電話給python？
Jul 08, 2025 am 12:40 AM
要在C 中調用Python代碼，首先要初始化解釋器，然後可通過執(zhí)行字符串、文件或調用具體函數實現交互。 1.使用Py_Initialize()初始化解釋器並用Py_Finalize()關閉；2.用PyRun_SimpleString執(zhí)行字符串代碼或PyRun_SimpleFile執(zhí)行腳本文件；3.通過PyImport_ImportModule導入模塊，PyObject_GetAttrString獲取函數，Py_BuildValue構造參數，PyObject_CallObject調用函數並處理返回
C中隱藏了什麼功能？
Jul 05, 2025 am 01:44 AM
functionHidingInc發(fā)生了swhenAderivedClassDefinesAfunctionWithThesamenAmeAsabaseClassFunction，MakeTheBaseVersionInAccessiblethroughthredtheDerivedClass.thishishappenswhishenphenthenthenthebasefunctionisfunctionis notvirtulorsignaturesignaturesignaturesignaturesignaturesignaturesnotmatchforoverRoverriding，and andNousingDeclateClateDeclaratiantiesdeclaratianisingdeclaratrationis
如何將函數作為C中的參數傳遞？
Jul 12, 2025 am 01:34 AM
在C 中，將函數作為參數傳遞主要有三種方式：使用函數指針、std::function和Lambda表達式、以及模板泛型方式。 1.函數指針是最基礎的方式，適用於簡單場景或與C接口兼容的情況，但可讀性較差；2.std::function結合Lambda表達式是現代C 推薦的方式，支持多種可調用對象且類型安全；3.模板泛型方式最為靈活，適用於庫代碼或通用邏輯，但可能增加編譯時間和代碼體積。捕獲上下文的Lambda必須通過std::function或模板傳遞，不能直接轉換為函數指針。
C中的無效指針是什麼？
Jul 09, 2025 am 02:38 AM
AnullpointerinC isaspecialvalueindicatingthatapointerdoesnotpointtoanyvalidmemorylocation,anditisusedtosafelymanageandcheckpointersbeforedereferencing.1.BeforeC 11,0orNULLwasused,butnownullptrispreferredforclarityandtypesafety.2.Usingnullpointershe
