Apple LLVM4.0已經支持了C11標準中的關鍵特性——泛型機制。盡管C11中的泛型機制比起C++的來要顯得簡陋不少，但是在做庫的時候仍然十分管用。

下面我們就來看一下C11標準中的泛型表達式。

C11中的泛型機制由關鍵字_Generic引出，其語法形式為：

_Generic ( assignment-expression , generic-assoc-list )

generic-assoc-list:

generic-association

generic-assoc-list , generic-association

generic-association:

type-name : assignment-expression

default : assignment-expression

下面給出C代碼例子：

#define GENERAL_ABS(x)? _Generic((x), int:abs, float:fabsf, double:fabs)(x)

static void GenericTest(void)

{

printf("int abs: %d\n", GENERAL_ABS(-12));

printf("float abs: %f\n", GENERAL_ABS(-12.04f));

printf("double abs: %f\n", GENERAL_ABS(-13.09876));

int a = 10;

int b = 0, c = 0;

_Generic(a + 0.1f, int:b, float:c, default:b)++;

printf("b = %d, c = %d\n", b, c);

_Generic(a += 1.1f, int:b, float:c, default:b)++;

printf("a = %d, b = %d, c = %d\n", a, b, c);

}

這邊要注意的是，_Generic里的assignment-expression只獲取其類型而不會對它做運行時計算。也就是說，編譯器僅僅在編譯時獲得該表達式的類型，而不會產生任何其它指令。這個跟sizeof()、typeof()，以及C++中的typeid()和decltype()一樣。

另外，generic-association-list中必須要有與assignment-expression類型相同的generic-association，否則編譯會報錯。當然，如果在generic-association-list中含有default處理，那么編譯能順利進行。如以下代碼所示：

struct MyStruct { int a, b; } s;

_Generic("Hello", const char*:puts("OK!"));? ? // ERROR! "Hello"為char[6]類型

_Generic("Hello", char[6]:puts("OK!"));? ? // OK

_Generic((const char*)"Hello", const char*:puts("OK!"));? ? // OK

_Generic(s, int:puts("OK!"));? ? // ERROR

_Generic(s, struct MyStruct:puts("OK!"));? ? // OK

_Generic(s, int:puts("Yep!"), default:puts("Others"));? ? // OK

這里需要注意的是，_Generic表達式中，對于不滿足類型匹配的表達式語句也會被編譯器編譯，確認其有效性。因此，對于不滿足類型匹配的表達式猶如sizeof()、typeof()那樣，只做編譯，不做計算。比如，以下語句全是錯誤的：

const int g = 50;

typeof(g = 10) t = 200;? ? // ERROR

int f = sizeof(g = 100);? ? // ERROR

f = _Generic(g, int:sizeof(g), char:(g = 100, g), default:g + 10);? // ERROR

最后一行代碼中，即便char:這個類型沒匹配上，但是編譯器仍然會報錯。

總結

以上是生活随笔為你收集整理的linux配置c11,C11标准的泛型机制的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。