为何Python ctypes直接更新C全局函数指针失效？如何直接实现？

嘿，咱们来聊聊你遇到的这个问题：同样是用in_dll修改C全局变量，字符串指针x正常生效，但函数指针f却没起作用，而且明明Python能把自己的函数转成C函数指针（比如set_f传third_f就正常）。这背后的原因和解决办法其实挺有意思的。

为什么修改x没问题，f却不行？ #

核心差异在于**ctypes对普通指针和函数指针的in_dll处理逻辑不一样**：

• 对于char*这类普通指针（也就是你的x）：x_type.in_dll(test_so, 'x')返回的是一个直接绑定到C全局变量内存地址的c_char_p对象。当你修改它的.value属性时，本质是直接改写了C进程里x变量所在内存的内容，所以C代码读取x时自然能拿到新值。
• 对于函数指针f：f_type.in_dll(test_so, 'f')返回的不是直接映射C全局变量的对象，而是一个Python层面的函数代理。你修改它的.value，只是改变了这个代理指向的函数，根本没碰到底层C进程里f变量的内存。所以C代码调用f()时，还是用的原来first_f的地址，自然输出不变。

简单说，ctypes没给函数指针的in_dll返回值提供直接修改底层C全局变量的能力，但普通指针是支持的。

不用setter，怎么直接修改f？ #

要直接改C全局变量f的内存，得绕过ctypes对函数指针的包装，直接操作内存地址。这里有两种靠谱的方法：

方法1：把f当作通用指针来修改 #

我们可以把全局变量f当成void*类型处理，先拿到它的内存地址，再把Python函数转成的C函数指针值写进去：

# 替换原来的 f.value = second_f 这段代码
# 1. 获取全局变量f的地址，用c_void_p类型表示
f_global = ctypes.c_void_p.in_dll(test_so, 'f')
# 2. 把Python函数second_f转换成C兼容的函数指针
second_f_c = f_type(second_f)
# 3. 将函数指针的数值写入f的内存地址
f_global.value = ctypes.cast(second_f_c, ctypes.c_void_p).value

test_so.do_f()  # 现在会输出 "In second function"

方法2：用memmove直接拷贝内存 #

另一种方式是直接把新函数指针的内存内容拷贝到f的地址上：

# 同样替换f.value = second_f的代码
second_f_c = f_type(second_f)
# 获取全局变量f的内存地址
f_addr = ctypes.addressof(ctypes.c_void_p.in_dll(test_so, 'f'))
# 获取转换后的C函数指针的地址
new_f_addr = ctypes.addressof(second_f_c)
# 拷贝指针大小的内存（根据系统是4或8字节）
ctypes.memmove(f_addr, new_f_addr, ctypes.sizeof(ctypes.c_void_p))

test_so.do_f()  # 一样会输出 "In second function"

修改后的预期输出 #

调整代码后，重新执行命令：

gcc -g -fPIC -shared test.c -o test.so && ./test.py

输出就会符合你的预期：

x is one
x is two
x is three
In first function
In second function
In third function

小提醒 #

• 一定要保证Python函数的签名和C函数指针完全匹配（这里都是无参数无返回值，没问题），不然会触发未定义行为（比如崩溃）。
• 转换后的C函数指针对象（比如second_f_c）要保持存活，别被Python垃圾回收了——如果需要长期用，把它存在全局变量或者其他不会被销毁的地方。

内容的提问来源于stack exchange，提问作者Joseph Sible-Reinstate Monica