誰說C語言很簡單？

前兩天，Neo寫了一篇《語言的歧義》其使用C語言討論了一些語言的歧義。大家應該也順便了解了一下C語言中的很多不可思異的東西，可能也是你從未注意到的東西。

是的，C語言並不簡單，讓我們來看看下面這些示例：

1. 爲什麼下面的代碼會返回0？(這題應該很簡單吧)
   

    

     int x;
     return x == (1 && x);
   

   本題主要是關於C/C++中變量初始化的問題。

    

2. 爲什麼下面的代碼會返回0而不是-1？

    return ((1 - sizeof(int)) >> 32);
   

   答案：sizeof 是一個unsigned的類型，所以……

3. 代碼作用域是一件很詭異的事，下面這個函數返回值是什麼？
   

    

   int x = 5;
   int f() {
     int x = 3;
     {
       extern int x;
       return x;
     }
   }
   

   答案：5

4. 函數和函數指針可以相互轉換。下面的語句哪些是合法的？
   

    

   int (*pf)(void);
   int f(void)
   {
   
      pf = &f; // 沒問題
      pf = ***f; // 取址？
      pf(); // 函數指針可以調用？
      (****pf)();  // 這又是什麼？
      (***************f)(); // 這個夠變態了吧？
   }
   

   答案：全部合法。

5. 初始化可能是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

6. 下面這個示例是C語言的痛，main函數返回值是什麼？

   typedef struct
   {
     char *key;
     char *value;
   } T1;
   
   typedef struct
   {
     long type;
     char *value;
   } T3;
   
   T1 a[] =
   {
     {
       "",
       ((char *)&((T3) {1, (char *) 1}))
     }
   };
   int main() {
      T3 *pt3 = (T3*)a[0].value;
      return pt3->value;
   }
   

   答案：1（你知道爲什麼嗎？）

7. 下面這個例就更變態了。在GCC的文檔中，這個語法是合法的，但是不知道爲什麼GCC並沒有實現。下面的代碼返回 2.

    return ((int []){1,2,3,4})[1];
   

    

8. 在下面的這個示例中，有一個“bar” 函數及其函數指針 “pbar” 的兩個拷貝(static 類型一般作用於語句塊或文件域).

     int foo() {
        static bar();
        static (*pbar)() = bar;
   
     }
   
     static bar() {
       return 1;
     }
   
     static (*pbar)() = 0;
   

    

9. 下面的這個函數返回值是什麼？取決於編譯器是先處理unsigned long轉型，還是負號。

     unsigned long foo() {
       return (unsigned long) - 1 / 8;
     }
   

   如果是： ((unsigned long) - 1) / 8，那將是一個很大的數。
   如果是： (unsigned long) (- 1 / 8 ), 那將是 0

是的，這樣使用C語言可能很奇怪，不過我們可以從另一方面瞭解C語言的很多我們不常注意的特性。C語言其實並不容易。