将固定大小内存边界上的本机代码与GCC/G++/AS对齐?

我知道这并不是你想要的,但这是用GCC实现字节码解释器的标准方法。

GCC的“computed goto”或“labels as values”特性允许您将标签放入数组中,并高效地跳转到不同的字节码指令。看到了吗 Fast interpreter using gcc's computed goto . 还要看看这个相关的堆栈溢出问题: C/C++ goto ,和 GCC documentation on labels as values .

执行此操作的代码如下所示:

void* jumptable[] = {&&label1, &&label2};

label:
  /* Code here... */

label2:
  /* Other code here... */

然后可以使用以下表格跳转到不同的说明:

goto *jumptable[i];

就我个人而言,我可能会在将数据加载到内存时使用数组,并且我会确保所有数据都从该数组中的有效索引开始。阵列是连续布置的,相对容易使用。克尼根和里奇的书 提到了使用 union 表示对齐,但这并不能使指针算法变得更简单。

如果您使用的是linux,请使用posix\u memalign()。我确信Windows也有类似的功能。

如果您想调整自己的代码,可以看看gcc __attribute__ 语法。