原文:http://cocre.com/?p=873
如果你覺得文章有意思,你可以看看我的另一篇文章——《C語言的謎題》
前兩天,《語言的歧義》其使用C語言讨論了一些語言的歧義。大家應該也順便了解了一下C語言中的很多不可思異的東西,可能也是你從未注意到的東西。
是的,C語言并不簡單,讓我們來看看下面這些示例:
為什麼下面的代碼會傳回0?(這題應該很簡單吧)
int x;
return x == (1 && x);
本題主要是關于C/C++中變量初始化的問題。
為什麼下面的代碼會傳回0而不是-1?
return ((1 - sizeof(int)) >> 32);
答案:sizeof 是一個unsigned的類型,是以……
代碼作用域是一件很詭異的事,下面這個函數傳回值是什麼?
int x = 5;
int f() {
int x = 3;
{
extern int x;
return x;
}
}
答案:5
函數和函數指針可以互相轉換。下面的語句哪些是合法的?
int (*pf)(void);
int f(void)
{
pf = &f; // 沒問題
pf = ***f; // 取址?
pf(); // 函數指針可以調用?
(****pf)(); // 這又是什麼?
(***************f)(); // 這個夠變态了吧?
答案:全部合法。
初始化可能是ISO C中最難的部分了。無論是MSVC 還是GCC 都沒有完全實作。GCC 可能更接近标準。在下面的代碼中,i.nested.y 和i.nested.z的最終值是什麼?
struct {
int x;
struct {
int y, z;
} nested;
} i = { .nested.y = 5, 6, .x = 1, 2 };
答案:2和6
下面這個示例是C語言的痛,main函數傳回值是什麼?
typedef struct
char *key;
char *value;
} T1;
long type;
} T3;
T1 a[] =
"",
((char *)&((T3) {1, (char *) 1}))
};
int main() {
T3 *pt3 = (T3*)a[0].value;
return pt3->value;
答案:1(你知道為什麼嗎?)
下面這個例就更變态了。在GCC的文檔中,這個文法是合法的,但是不知道為什麼GCC并沒有實作。下面的代碼傳回 2.
return ((int []){1,2,3,4})[1];
在下面的這個示例中,有一個“bar” 函數及其函數指針 “pbar” 的兩個拷貝(static 類型一般作用于語句塊或檔案域).
int foo() {
static bar();
static (*pbar)() = bar;
static bar() {
return 1;
static (*pbar)() = 0;
下面的這個函數傳回值是什麼?取決于編譯器是先處理unsigned long轉型,還是負号。
unsigned long foo() {
return (unsigned long) - 1 / 8;
如果是: ((unsigned long) - 1) / 8,那将是一個很大的數。
如果是: (unsigned long) (- 1 / 8 ), 那将是 0
是的,這樣使用C語言可能很奇怪,不過我們可以從另一方面了解C語言的很多我們不常注意的特性。C語言其實并不容易。