unreachable

 

C

編譯器支援

語言

標頭檔案

型別支援

程式工具

變參函式支援

錯誤處理

動態記憶體管理

字串庫

演算法

數值

日期和時間工具

輸入/輸出支援

本地化支援

併發支援 (C11)

技術規範

符號索引

 

程式支援實用程式

程式終止
abort exit quick_exit (C11) _Exit (C99)	atexit at_quick_exit (C11) EXIT_SUCCESSEXIT_FAILURE
不可達控制流
unreachable (C23)
與環境通訊
getenvgetenv_s (C11)	system
記憶體對齊查詢
memalignment (C23)
訊號
signal raise sig_atomic_t	SIG_DFLSIG_IGN SIG_ERR
訊號型別
SIGABRTSIGFPESIGILL	SIGINTSIGSEGVSIGTERM
非區域性跳轉
setjmp	longjmp
型別
jmp_buf

 

定義於標頭檔案 <stddef.h>
#define unreachable() /* 見下文 */		(自 C23 起)

函式式宏 unreachable 展開為 void 表示式。執行 unreachable() 會導致未定義行為。

實現可以使用它來最佳化不可能的程式碼分支（通常在最佳化構建中），或者捕獲它們以防止進一步執行（通常在除錯構建中）。

可能的實現

// Uses compiler specific extensions if possible. #ifdef __GNUC__ // GCC, Clang, ICC   #define unreachable() (__builtin_unreachable())   #elifdef _MSC_VER // MSVC   #define unreachable() (__assume(false))   #else // Even if no extension is used, undefined behavior is still raised by // the empty function body and the noreturn attribute.   // The external definition of unreachable_impl must be emitted in a separated TU // due to the rule for inline functions in C.   [[noreturn]] inline void unreachable_impl() {} #define unreachable() (unreachable_impl())   #endif

示例

執行此程式碼

#include <assert.h>
#include <stddef.h>
#include <stdint.h>
#include <stdlib.h>
 
struct Color { uint8_t r, g, b, a; };
struct ColorSpan { struct Color* data; size_t size; };
 
// Assume that only restricted set of texture caps is supported.
struct ColorSpan allocate_texture(size_t xy)
{
    switch (xy)
    {
    case 128: [[fallthrough]];
    case 256: [[fallthrough]];
    case 512:
    {
        /* ... */
        struct ColorSpan result = {
            .data = malloc(xy * xy * sizeof(struct Color)),
            .size = xy * xy
        };
 
        if (!result.data)
            result.size = 0;
 
        return result;
    }
    default:
        unreachable();
    }
}
 
int main(void)
{
    struct ColorSpan tex = allocate_texture(128); // OK
    assert(tex.size == 128 * 128);
 
    struct ColorSpan badtex = allocate_texture(32);  // Undefined behavior
 
    free(badtex.data);
    free(tex.data);
}

可能的輸出

Segmentation fault

參閱

C++ 文件 關於 unreachable

外部連結

1.	GCC 文件：__builtin_unreachable
2.	Clang 文件：__builtin_unreachable
3.	MSVC 文件：__assume