gcc对C语言的扩展:标签变量(Labels as Values…

2008-02-23 05:41:25来源:互联网 阅读 ()

新老客户大回馈,云服务器低至5折

您能够使用一元操作符&&得到在当前函数(或包含函数)中定义的标签的地址.得到的值的类型是void*。这个值是个常量,能够在任何使用这个类型的常量的地方使用。例如:
void *ptr;
...
ptr = &&foo;
这个变量可用于跳转到某个位置--例如使用goto语句 go *exp. 例如:
goto *ptr;
在这里 任何void *类型的表达式都是合法的。标签常量的一种用法是用于初始化一个静态数组,他能够被当作跳转表。
static void *array[] = { &&foo, &&bar, &&hack };
这样您就能够通过索引来选择一个标签,如:
goto *array[ i ];
注意这句语句中没有检查下标是否越界--在C语言中数组下标从来不会检查是否越界
这里的标签数组的使用目的和switch语句十分类似。switch语句的表达要比标签数组更为清楚,所以除非碰到switch语句实在无法适用的场合再考虑使用标签数组。
标签量的另外一种用法是用在线程代码的解释器程式(interpreter)中。解释器函数中的标签能够被存储到线程代码中来获得极高的线程转换效率。
您可能不能使用这种机制来跳到另一个函数中的代码中,假如您这么做的了,结果完全不可预料。避免这种情况最好的办法就是只将标签地址存储在automatic变量中并且永远不要把他作为参数传递。上面的例子的另外一种写法是:
static const int array[] = { &&foo - &&foo,&&bar - &&foo,&&hack - &&foo };
goto *(&&foo array[ i ]);
这种方式在编写共享库中代码的时候显得更为友好,因为他减少了必须的动态地址重定位的次数从而运行这些(地址)值是只读的。

标签:

版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有

上一篇: gcc对C语言的扩展:局部标签声明(Locally Declared Labels)

下一篇: C 的底层机制