Loading... <p class="li-enumerate">前两天,Neo写了一篇《语言的歧义》其使用C语言讨论了一些语言的歧义。大家应该也顺便了解了一下C语言中的很多不可思异的东西,可能也是你从未注意到的东西。</p> <p class="li-enumerate">是的,C语言并不简单,让我们来看看下面这些示例:</p> <ol class="enumerate list-paddingleft-2" type="1"> <li> <p><strong>为什么下面的代码会返回0?(这题应该很简单吧)</strong></p> <p></p> </li> <li> <pre class="brush:python;toolbar:false">int x; return x == (1 && x)</pre> </li> </ol> <p>本题主要是关于C/C++中变量初始化的问题。</p> <ol class="enumerate list-paddingleft-2" type="1"> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px"></p> <p><strong>为什么下面的代码会返回0而不是-1?</strong></p> <p></p> </ol> <pre class="brush:python;toolbar:false">return ((1 - sizeof(int)) >> 32)</pre> <p>答案:<tt>sizeof</tt> 是一个unsigned的类型,所以……</p> <p></p> <p><strong>代码作用域是一件很诡异的事,下面这个函数返回值是什么?</strong></p> <pre class="brush:python;toolbar:false">int x = 5; int f() { int x = 3; { extern int x; return x; } }</pre> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px">答案:5</p> <p> </p> <ol class="enumerate list-paddingleft-2" type="1"> <li> <p><strong>函数和函数指针可以相互转换。下面的语句哪些是合法的?</strong></p> </li> </ol> <pre class="brush:python;toolbar:false">int (*pf)(void); int f(void) { pf = &f; // 没问题 pf = ***f; // 取址? pf(); // 函数指针可以调用? (****pf)(); // 这又是什么? (***************f)(); // 这个够变态了吧?}</pre> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px">答案:全部合法。</p> <p> </p> <ol class="enumerate list-paddingleft-2" type="1"> <li> <p><strong>初始化可能是ISO C中最难的部分了。无论是MSVC 还是GCC 都没有完全实现。GCC 可能更接近标准。在下面的代码中,<tt>i.nested.y</tt> 和<tt>i.nested.z的最终值是什么?</tt></strong></p> </li> </ol> <pre class="brush:python;toolbar:false">struct { int x; struct { int y, z; } nested; } i = { .nested.y = 5, 6, .x = 1, 2 }</pre> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px">答案:2和6</p> <p> </p> <ol class="enumerate list-paddingleft-2" type="1"> <li> <p><strong>下面这个示例是C语言的痛,main函数返回值是什么?</strong></p> </li> <li> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px">答案:1(你知道为什么吗?)</p> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px"> </p> </li> </ol> <p> </p> <pre class="brush:python;toolbar:false">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; }</pre> <ol class="enumerate list-paddingleft-2" type="1"> <li> <p><strong>下面这个例就更变态了。在GCC的文档中,这个语法是合法的,但是不知道为什么GCC并没有实现。下面的代码返回 2.</strong></p> </li> </ol> <pre class="brush:python;toolbar:false">return ((int []){1,2,3,4})[1];</pre> <p> </p> <ol class="enumerate list-paddingleft-2" type="1"> <li> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px"> <strong style="font-family: sans-serif">在下面的这个示例中,有一个“bar” 函数及其函数指针 “pbar” 的两个拷贝(static 类型一般作用于语句块或文件域).</strong></p> <p style="padding: 0px;margin-top: 0px;margin-bottom: 10px"><strong style="font-family: sans-serif"><br /></strong></p> </li> <li> <pre class="brush:python;toolbar:false">int foo() { static bar(); static (*pbar)() = bar; } static bar() { return 1; } static (*pbar)() = 0</pre> </li> <li> <pre class="brush:python;toolbar:false">下面的这个函数返回值是什么?取决于编译器是先处理unsigned long转型,还是负号。</pre> </li> <p></p> <li> <pre class="brush:python;toolbar:false">unsigned long foo() { return (unsigned long) - 1 / 8; }</pre> </li> </ol> <p> </p> <p> </p> <ol class="enumerate list-paddingleft-2" type="1"> <p>如果是: <tt>((unsigned long) - 1) / 8,那将是一个很大的数。<br /></tt><tt>如果是:</tt> <tt>(unsigned long) (- 1 / 8 )</tt>, 那将是 0</p> </ol> 最后修改:2021 年 12 月 10 日 10 : 53 AM © 允许规范转载 赞赏 如果觉得我的文章对你有用,请随意赞赏 赞赏作者 支付宝微信