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:這個類型沒匹配上,但是編譯器仍然會報錯。