排查Cython代码中的未定义行为（UB）问题

问题根源：悬空指针与Python GC导致的未定义行为 #

你的猜测完全正确——这个问题确实是未定义行为，核心原因是你在Cython里直接存储了Python bytes对象的底层指针，但没有保留对这些bytes对象的引用，导致Python的垃圾回收（GC）可能在你使用指针前就回收了对应的内存。

具体来说：

• 在to_cstring_array中，result[i] = item只是把bytes对象内部的char*指针存到了C数组里，但并没有增加bytes对象的引用计数。
• 循环结束后，局部变量item被销毁，这些bytes对象的引用计数就降到了0（毕竟你是通过str(strings[i]).encode生成的全新bytes对象，没有其他引用持有它们）。
• 当后续执行json.dumps(options or {}).encode("utf-8")这类操作时，Python可能触发GC，回收那些无人引用的bytes对象，对应的内存被释放或覆盖。此时args数组里的指针就变成了悬空指针，访问它的内容自然会出现随机变化，这就是典型的未定义行为。

两种可行的解决方案 #

方案1：复制字符串到堆内存（推荐给需要长期持有指针的场景） #

既然Python会管理bytes的内存，那我们可以手动把字符串内容复制到C堆内存中，这样指针指向的内存不受Python GC控制。需要注意最后要手动释放这些内存，避免泄漏：

cdef char** to_cstring_array(strings):
    cdef char** result = <char**>malloc(len(strings) * sizeof(char*))
    cdef bytes item
    nelements = len(strings)
    i = 0
    while i < nelements:
        s = str(strings[i]).encode("utf-8")
        item = s
        # 使用strdup复制字符串到堆内存，返回独立的char*指针
        result[i] = strdup(item)
        i += 1
    return result

然后在pykubectl_get中，释放指针数组前要先释放每个复制的字符串：

cpdef object pykubectl_get(object items, object options=None):
    cdef size_t nargs = len(items);
    cdef bytes message
    cdef char** args = to_cstring_array(items);
    json_opts = json.dumps(options or {}).encode("utf-8")
    cdef char* opts = json_opts
    print("items: {}".format(items))
    message = args[0]
    print("2 items encoded: {}".format(message))
    cdef ResourceGet_return result = kubectl_get(
        opts, len(json_opts), <const char**>args, nargs
    )
    # 先释放每个strdup出来的字符串内存
    for i in range(nargs):
        free(args[i])
    # 再释放指针数组本身
    free(args)
    if result.r0.n == 0:
        message = result.r1.p
        raise Exception("kubectl failed: '{}'".format(message.decode("utf-8")))
    message = result.r0.p
    return json.loads(message.decode("utf-8"))

方案2：保留Python对象引用（适合临时使用指针的场景） #

如果你确定kubectl_get只会在函数执行期间使用指针，不会长期持有，那可以保留对每个bytes对象的引用，让Python GC不会回收它们：

# 修改函数返回指针数组和引用列表的元组
cdef tuple to_cstring_array(strings):
    cdef char** result = <char**>malloc(len(strings) * sizeof(char*))
    cdef bytes item
    cdef list refs = []  # 用这个列表持有bytes对象的引用
    nelements = len(strings)
    i = 0
    while i < nelements:
        s = str(strings[i]).encode("utf-8")
        item = s
        refs.append(item)  # 添加引用，防止GC回收
        result[i] = item
        i += 1
    return (result, refs)

然后在调用函数时持有这个引用列表，直到用完指针：

cpdef object pykubectl_get(object items, object options=None):
    cdef size_t nargs = len(items);
    cdef bytes message
    cdef char** args
    cdef list refs
    args, refs = to_cstring_array(items);  # 接收引用列表，保持持有
    json_opts = json.dumps(options or {}).encode("utf-8")
    cdef char* opts = json_opts
    print("items: {}".format(items))
    message = args[0]
    print("2 items encoded: {}".format(message))
    cdef ResourceGet_return result = kubectl_get(
        opts, len(json_opts), <const char**>args, nargs
    )
    free(args)
    # 函数结束后refs会被销毁，此时bytes对象才会被GC回收
    if result.r0.n == 0:
        message = result.r1.p
        raise Exception("kubectl failed: '{}'".format(message.decode("utf-8")))
    message = result.r0.p
    return json.loads(message.decode("utf-8"))

补充说明 #

你提到的强制转换<const char**>args其实没问题，因为kubectl_get只是读取这些字符串，不会修改它们，这个转换不会导致UB，和你遇到的问题无关。

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