gcc对C语言的扩展：标签变量（Labels as Values）

你可以使用一元操作符&&得到在当前函数（或包含函数）中定义的标签的地址.得到的值的类型是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 ]);
这种方式在编写共享库中代码的时候显得更为友好，因为它减少了必须的动态地址重定位的次数从而运行这些（地址）值是只读的。

转载于:https://blog.51cto.com/nathanxu/56661

gcc对C语言的扩展：标签变量（Labels as Values）相关推荐

gcc对C语言的扩展：局部标签声明（Locally Declared Labels）
每个语句内嵌表达式都是一个可以声明局部跳转标签的域.一个局部标签只是一个标识符:你可以使用通常的goto语句跳到它--但是只能在它所属的域内这么做. 一个局部标签的申明如下: __label__ la ...
gcc对C语言的扩展：语句内嵌表达式（statement-embedded expression）
在gnu c 中,用括号将复合语句括起来也形成了表达式.他允许你在一个表达式内使用循环,跳转和局部变量. 一个复合语句是用大括号{}括起来的一组语句.在包含语句的表达式这种结构中,再用括号( )将大括 ...
(转)C语言家族扩展
(转)C语言家族扩展翻译: 5.1--5.6 林峰 5.7--5.20 董溥 5.21--5.26 王聪 5.27--5.34 刘洋 5.35--5.43 贾孟树致谢:感谢陈老师指出其中的一些错误 ...
GNU C 对标准C语言的扩展(转载懵懵懂懂)
GNU C 对标准C语言的扩展为了方便使用,GNU C在标准C语言的基础上进行了部分方便开发的扩展.这里讲解一些开发中可能会用到的,或者使用频率比较高的内容. 1 零长度数组和变量长度数组 GNU ...
【Groovy】Groovy 语言特点简介 ( 支持 Java 语法 | 支持 Java 虚拟机 | Groovy 语言是动态语言 | Groovy 扩展 JDK | 编译时元编程 )
文章目录一.Groovy 支持 Java 语法二.Groovy 支持 Java 虚拟机三.Groovy 语言是动态语言四.Groovy 扩展 JDK 五.Groovy 编译时元编程一.Gr ...
linux c语言编程内嵌汇编,gcc编译c语言中内嵌汇编
gcc编译c语言中内嵌汇编 --AT&T and Intel 汇编语法对照寄存器命名: AT&T: %eax Intel: eax AT&T 语法源地址在左侧,目的地址在右 ...
PL/0语言编译器扩展编译原理课程实践（1）
转眼大学生活就要结束,编译原理课程学的东西很多都忘记了.当时我们编译原理课程实践是PL/0语言编译器扩展,在原有PL/0语言文法进行扩展.我写这次博文一是为了回忆以前学的知识,加深记忆:二是和大家分享 ...
GCC 编译 C 语言文件
GCC 编译 C 语言文件题目要求请编写一个主程序文件 main1.c 和一个子程序文件 sub1.c 要求:子程序sub1.c 包含一个算术运算函数 float x2x(int a,int b) ...
【C】C语言函数中的变量（包括：作用域、存储类型）
局部变量和全局变量 C语言中变量按其作用域分,可分为局部变量和全局变量,具体的解释为: 局部变量(内部变量):在定义它的函数内有效,但是函数返回后失效: 全局变量(外部变量):在所有源文件内均有效.在 ...
单片机c51语言变量,单片机c语言教程：C51变量
上课所提到变量就是一种在程序执行过程中其值能不断变化的量.要在程序中使用变量必须先用标识符作为变量名,并指出所用的数据类型和存储模式,这样编译系统才能为变量分配相应的存储空间.定义一个变量的格式如下: ...

gcc对C语言的扩展：标签变量（Labels as Values）

gcc对C语言的扩展：标签变量（Labels as Values）相关推荐

最新文章

热门文章