一致性

一致性具有三重定義

嚴格一致程式 - 僅使用定義良好的語言結構，即具有單一行為的結構。它不包括未指明、未定義或實現定義的行為，並且不超過任何最小實現限制。
一致程式 - 可被一致實現接受。
一致實現 -
- 一致的宿主實現應接受任何嚴格一致程式。
- 一致的獨立實現應接受任何嚴格一致程式，其中庫子句（子句 7）中指定特性的使用僅限於獨立標準庫標頭檔案（見下文）的內容。
- 一致實現可以有擴充套件（包括額外的庫函式），前提是它們不改變任何嚴格一致程式的行為。

如果實現預定義了宏 __STDC_IEC_60559_BFP__ 或 __STDC_IEC_60559_DFP__，則 <math.h> 和 <fenv.h> 是完全獨立標頭檔案。然而，只有在程式不將 FENV_ACCESS 編譯指示的狀態設定為 ON 的情況下，這些標頭檔案中的函式的行為才要求在獨立環境中定義良好。

某些標準庫標頭檔案是部分獨立的。

在 <stdlib.h> 中，memalignment 是獨立的。此外，當預定義 __STDC_IEC_60559_BFP__ 或 __STDC_IEC_60559_DFP__ 時，數字轉換函式（atoX、strtoX 和 strfromX）也是獨立的，但只有在程式不將 FENV_ACCESS 編譯指示的狀態設定為 ON 的情況下，它們的行為才要求在獨立環境中定義良好。獨立實現不需要提供 <stdlib.h> 中的任何其他元件。
在 <string.h> 中，strdup、strndup、strcoll、strxfrm、strtok 和 strerror 不需要由獨立實現提供。

(自 C23 起)

C++ 文件關於獨立與宿主實現

目錄