如何在C语言中无需汇编实现带本地标签与符号链接的字节码脚本语言

我正尝试用C语言创建一种字节码脚本语言，该语言以字节码格式存储，由操作码（opcode）字节及可选的参数组成，参数包含常量、指针等类型。示例格式如下：

cmd arg0, arg1 -> 0xfe 0xa0 0xa1
cmd2 symbol -> 0xde <symbol's address>

但实现过程中遇到诸多问题：

1. 指针存入uint8_t数组时的编译错误 #

尝试将指针拆分为字节存入uint8_t数组时出现编译错误，相关代码：

#define cmd2(_s) 0xde, (uint8_t)((uintptr_t)_s & 0xff), ...
// OR
#define cmd2(_s) 0xde, ((uint8_t*)&_s)[0], ...
const uint8_t my_script[] = {
  cmd2(symbol)
};

2. Union结构体导致命令占用空间过大 #

使用union结构体封装命令时，因指针的对齐要求，每个命令占用空间过大（至少8或16字节）：

struct Cmd {
  uint8_t op;
  union {
    struct Cmd2 {
      void* ptr; // 每个命令因填充至少占8或16字节
    } cmd2;
  };
};

#define op_cmd2(_s) {.op = 0xde, .cmd2={_s}}
const struct Cmd my_script[] = {
  op_cmd2(symbol),
};

3. 外部脚本生成字节码无法嵌入C符号 #

用Python等外部脚本生成字节码时，无法直接嵌入C语言中的符号地址。

已知用汇编结合宏可实现需求，但出于可移植性考虑希望使用纯C语言方案，求可行替代方案。

方案1：利用编译期宏生成指针的字节序列 #

C标准允许在编译期进行常量表达式计算，可通过宏将指针按目标平台的字节序拆分为多个uint8_t常量。需注意字节序（大端/小端）的处理，以下是跨平台兼容的实现：

实现代码 #

#include <stdint.h>
#include <stddef.h>

// 按平台自动适配指针长度的宏
#if UINTPTR_MAX == 0xffffffff
#define CMD2(_SYM) 0xde, \
    (uint8_t)((uintptr_t)(_SYM) >> 0  & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 8  & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 16 & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 24 & 0xff)
#elif UINTPTR_MAX == 0xffffffffffffffff
#define CMD2(_SYM) 0xde, \
    (uint8_t)((uintptr_t)(_SYM) >> 0  & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 8  & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 16 & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 24 & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 32 & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 40 & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 48 & 0xff), \
    (uint8_t)((uintptr_t)(_SYM) >> 56 & 0xff)
#endif

// 使用示例
extern void symbol(void);
const uint8_t my_script[] = {
    CMD2(symbol),
    // 其他命令...
};

核心原理 #

• uintptr_t是C标准定义的与指针宽度匹配的无符号整数类型，确保指针转换无截断。
• 预编译宏UINTPTR_MAX自动识别32/64位平台，生成对应长度的字节序列。
• 编译期完成指针到字节的拆分，完全符合数组初始化的常量表达式要求，无运行时开销。

方案2：C宏+辅助头文件混合方案 #

如果需要外部脚本的灵活性，可采用「外部工具生成头文件+C代码引用」的方式：

1. 用Python脚本解析C编译器输出的符号表（如nm工具），获取符号地址并转换为字节序列。
2. 将字节序列写入头文件，在C代码中直接引用。

示例流程 #

1. Python脚本（伪代码）：

import subprocess

# 从目标文件中提取符号地址
result = subprocess.run(["nm", "-g", "my_object.o"], capture_output=True, text=True)
symbol_addr = next(line.split()[0] for line in result.stdout.splitlines() if "symbol" in line)
# 转换为小端序字节（大端序需反转字节顺序）
addr_bytes = bytes.fromhex(symbol_addr.zfill(16))[::-1]

# 生成头文件
with open("bytecode_defs.h", "w") as f:
    f.write(f"#define SYMBOL_CMD2 0xde, {', '.join(map(str, addr_bytes))}\n")

2. C代码中使用：

#include "bytecode_defs.h"
const uint8_t my_script[] = {
    SYMBOL_CMD2,
    // 其他命令...
};

优势 #

• 兼顾外部脚本的灵活性与C符号的可嵌入性。
• 基于标准工具链，可移植性不受影响。

方案3：压缩结构体内存占用（C99+） #

若需保留结构体的类型安全，可使用编译扩展属性或柔性数组成员减少内存开销：

实现代码（压缩结构体） #

#include <stdint.h>

// 用packed属性取消结构体填充（GCC/Clang/ARMCC等主流编译器支持）
struct Cmd2 {
    uint8_t op;
    void* ptr;
} __attribute__((packed));

// 使用示例
extern void symbol(void);
const struct Cmd2 my_script[] = {
    {.op = 0xde, .ptr = symbol},
    // 其他命令...
};

实现代码（柔性数组成员） #

#include <stdint.h>

// 通用命令结构，用柔性数组成员存储参数字节
struct GenericCmd {
    uint8_t op;
    uint8_t args[];
};

// 生成cmd2字节序列的宏
#define MAKE_CMD2(_SYM) \
    ((const struct GenericCmd*)&(const uint8_t[]) { \
        0xde, \
        (uint8_t)((uintptr_t)(_SYM) >> 0  & 0xff), \
        (uint8_t)((uintptr_t)(_SYM) >> 8  & 0xff), \
        (uint8_t)((uintptr_t)(_SYM) >> 16 & 0xff), \
        (uint8_t)((uintptr_t)(_SYM) >> 24 & 0xff), \
        /* 64位平台追加以下四行 */ \
        (uint8_t)((uintptr_t)(_SYM) >> 32 & 0xff), \
        (uint8_t)((uintptr_t)(_SYM) >> 40 & 0xff), \
        (uint8_t)((uintptr_t)(_SYM) >> 48 & 0xff), \
        (uint8_t)((uintptr_t)(_SYM) >> 56 & 0xff) \
    })

注意事项 #

• __attribute__((packed))会取消结构体对齐优化，可能导致部分平台的运行时性能损失，需权衡空间与性能。
• 柔性数组成员需配合数组字面量使用，确保内存布局正确。

内容的提问来源于stack exchange，提问作者D. Christopher