如何在llvmlite中创建动态字符数组及转换静态数组指针类型？

一、创建动态字符数组 #

llvmlite没有提供直接的动态数组构造API，但可以通过LLVM的内存分配机制手动实现：

• 栈上分配：使用builder.alloca，适合生命周期随函数调用结束的临时动态数组
• 堆上分配：调用标准库的malloc/calloc函数，适合长期存在的动态数组

堆上分配示例代码 #

from llvmlite import ir

# 初始化模块和构建器
module = ir.Module(name="dyn_array_example")
builder = ir.IRBuilder()

# 定义基础类型
i8 = ir.IntType(8)
i64 = ir.IntType(64)

# 声明malloc函数类型（对应C语言的void* malloc(size_t size)）
malloc_ty = ir.FunctionType(i8.as_pointer(), [i64])
malloc_func = module.get_or_insert_function(malloc_ty, name="malloc")

# 分配100字节的动态字符数组
array_size = ir.Constant(i64, 100)
dyn_char_array_ptr = builder.call(malloc_func, [array_size])

# 转为i8**类型（二维指针）
dyn_char_array_ptr_ptr = builder.bitcast(dyn_char_array_ptr, i8.as_pointer().as_pointer())

二、静态数组转换为i8.as_pointer().as_pointer()类型 #

可以通过LLVM的bitcast指令完成类型转换，核心要求是源类型与目标类型的字节大小一致：

转换示例代码 #

from llvmlite import ir

STR_SIZE = 10
ARR_SIZE = 5
i8 = ir.IntType(8)

# 创建静态二维字符数组
array_type = ir.ArrayType(ir.ArrayType(i8, STR_SIZE), ARR_SIZE)
elements = [ir.Constant(ir.ArrayType(i8, STR_SIZE), bytearray(f"str_{i}".ljust(STR_SIZE), "utf-8")) for i in range(ARR_SIZE)]
static_arr = ir.Constant(array_type, elements)

# 两步转换：先转数组指针，再转i8**
arr_ptr = builder.bitcast(static_arr, array_type.as_pointer())
i8_double_ptr = builder.bitcast(arr_ptr, i8.as_pointer().as_pointer())

也可以直接一步完成转换（只要类型大小匹配即可）：

i8_double_ptr = builder.bitcast(static_arr, i8.as_pointer().as_pointer())

内容的提问来源于stack exchange，提问作者Eugenos_Programos