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

无心人

http://nathanxu.blog.51cto.com/50836/56661
gcc对C语言的扩展：标签变量（Labels as Values）
2006-03-22 22:38:36
　标签：gcc 语言 C 扩展 变量　　　[推送到技术圈]

版权声明：原创作品，如需转载，请与作者联系。否则将追究法律责任。
你可以使用一元操作符&&得到在当前函数（或包含函数）中定义的标签的地址.得到的值的类型是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 ]);
这种方式在编写共享库中代码的时候显得更为友好，因为它减少了必须的动态地址重定位的次数从而运行这些（地址）值是只读的。