如何将 goto 标签存储在数组中然后跳转到它们？

Question

我想声明一个“jumplabels”数组。

然后我想跳转到这个数组中的一个“jumplabel”。

但我不知道该怎么做。

它应该类似于以下代码：

function()
{
    "gotolabel" s[3];
    s[0] = s0;
    s[1] = s1;
    s[2] = s2;

    s0:
    ....
    goto s[v];

    s1:
    ....
    goto s[v];

    s2:
    ....
    goto s[v];
}

有谁知道如何执行此操作？

Answer 1

使用称为“标签作为值”的 GCC 功能是可能的。

void *s[3] = {&&s0, &&s1, &&s2};

if (n >= 0 && n <=2)
    goto *s[n];

s0:
...
s1:
...
s2:
...

它仅适用于 GCC！

Answer 2

goto 需要一个编译时标签。

从这个例子来看，您似乎正在实现某种状态机。 最常见的是，它们被实现为 switch-case 结构：

while (!finished) switch (state) {
  case s0:
  /* ... */
  state = newstate;
  break;

  /* ... */
}

如果您需要它更加动态，请使用函数指针数组。

Answer 3

在 C 中没有直接的方法来存储要跳转到的代码地址。
使用开关怎么样。

#define jump(x)  do{ label=x; goto jump_target; }while(0)
int label=START;
jump_target:
switch(label)
{
    case START:
        /* ... */
    case LABEL_A:
        /* ... */
}

您可以找到每个无堆栈解析器/状态机生成器生成的类似代码。
这样的代码不容易理解，所以除非它是生成的代码，否则你的问题是最严重的
很容易用状态机描述我建议不要这样做。

Answer 4

你能用函数指针代替 goto 吗？

这样您就可以创建一组函数来调用并调用适当的函数。

Answer 5

据我所知，在普通标准 C 中这是不可能的。 然而，GCC 编译器中有一个扩展，记录在案在这里，这使得这成为可能。

该扩展引入了新的运算符 &&，用于获取标签的地址，然后可以将其与 goto 语句一起使用。

Answer 6

这就是 switch 语句的用途。

switch (var)
{
case 0:
    /* ... */
    break;
case 1:
    /* ... */
    break;
default:
    /* ... */
    break;  /* not necessary here */
}

请注意，编译器不一定将其转换为跳转表。

如果您确实想自己构建跳转表，可以使用函数指针数组。

Answer 7

您可能想查看 setjmp/longjmp。

Answer 8

你不能用 goto 来做到这一点 - 标签必须是标识符，而不是变量或常量。 我不明白为什么你不想在这里使用开关 - 如果这是你所关心的，它可能会同样有效。

Answer 9

对于一个简单的答案，不要强迫编译器做真正愚蠢的事情，而是学习良好的编程实践。

Answer 10

分词器？ 这看起来就像 gperf 的用途。 实在不行，看一下吧。

Answer 11

如果满足以下条件，优化编译器（包括 GCC）会将 switch 语句编译到跳转表中（使 switch 语句与您尝试构造的内容一样快）：

您的 switch 情况（状态编号）从零开始。

您的开关盒正在严格增加。

您不会跳过 switch case 中的任何整数。

有足够多的情况表明跳转表实际上更快（处理 switch 语句的检查每种情况方法中的几十个比较和跳转实际上比跳转表更快。）

这样做的优点是允许您使用标准 C 编写代码，而不是依赖编译器扩展。 它在 GCC 中的运行速度同样快。 它在大多数优化编译器中也能同样快速地工作（我知道英特尔编译器可以做到这一点；不确定微软的东西）。 尽管速度较慢，但​​它可以在任何编译器上运行。