代码改变世界

谁说C语言简单

2009-07-29 00:32  Logic0  阅读(345)  评论(0编辑  收藏  举报
我顶 字号:
  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.yi.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语言其实并不容易。


        下面是对上边的一些问题的解释:

说在前边的:

        在C语言上存在着几个标准,GNU C,ISO C,ANSI C,有人也称K&R C为一个标准,但是少有人用了。

        总体上说,变化过程为,K&R C-->ANSI C-->ISO C,GNU C 也是来源于K&R,但是,GNU C 相比其他几个协议要更为开放自由一些,这里的自由开放指的是语法方面。

       我们的讨论建立在ISO C的前提下。

1.  对于这样的问题,我们可以肯定的是,x在作为局部变量的时候,是不会进行初始化的,也就是说x的内容是一个随机值。

     理论上是存在 x 为1 的情况的,但实际中并非如此。

2.  编译的时候GCC会有警告:右移次数大于或等于类型宽度。没什么好说的,移位运算。

3.  外部变量,没什么好说的

4.  这些都是没有问题的。这涉及到函数名的转换问题,你可以这样理解:函数名就是函数指针。那么这样,pf = f 与pf = &f就是等价的,那么这样呢:pf = *f,他也是等价的,因为函数名和函数指针是等价的,函数名是会被自动转换为函数指针的(不要问我为什么,因为“规定”都是没有为什么的),那么这个也好理解,函数指针的值,自然就是函数的入口地址。

5. 有人问为什么可以用.nested.y = 5,6,这样来赋值,而我的VC为什么不行,因为MS的东西都是自成一体,大多时候他们是不遵循标准的(所以我不喜欢这样的公司,他们想搅乱这个领域,然后独断)。为什么是2,6呢?这涉及到结构体内存的问题,第一次的赋值 .nested.y = 5,6,将y = 5,z = 6,但第二次的赋值,.x = 1,2,由于x只有一个空间,继续赋值将延续到下一个内存空间(这又一次涉及到C的变量赋值方式),结构体顺序存储的方式,导致了y的值被覆盖。你可以试一下把两次赋值换一下位置,就可以看到另一种结果。

6. 这是个很复杂的问题,以至于有时间的话我必须另开一篇文章来讲述。暂时就当是看个笑话吧。

7. 又是编译器……知道就行了。不必深究。平时也不要这么用。

8. pbar和bar,执行的时候用的是哪个?怎么确定?自己实验吧……

9. 涉及到优先级的问题的时候我建议用()明确,而不是采用编译器的默认处理方式,因为出错了你都不知道怎么出错的,只是做一个示范说明这个问题。