Python调用C实现的逆波兰表达式计算函数结果异常问题

问题根源 #

核心问题在于Python与C之间的字符串内存生命周期不匹配，叠加可能的C端内存越界操作：

• 直接传递bytes或encode()结果给c_char_p参数时，Python的字节对象可能被垃圾回收（GC），导致C端访问到已释放的无效内存，出现字符串篡改、错误结果甚至死循环。
• C端函数若假设输入是NULL结尾的C风格字符串，但传递的内存未正确添加终止符，或存在数组越界、栈溢出等操作，会破坏内存布局引发异常。

修复步骤 #

1. 修正Python端的字符串传递方式 #

使用ctypes.create_string_buffer创建持久化的C风格NULL结尾字符串缓冲区，确保在C函数执行期间内存始终有效：

import ctypes

# 定义输入表达式
input_expr = "39.9 - 52.0"
# 创建带NULL终止符的C字符串缓冲区，内存由Python管理
input_buffer = ctypes.create_string_buffer(input_expr.encode('utf-8'))
# 调用C函数
result = self.model.functions['equal'](input_buffer)
# 直接使用结果（c_double会自动转为Python float）
print(result)

2. 验证C端函数的内存安全性 #

• 若parseInput需要修改输入字符串，必须在C端先复制一份，避免原内存被回收或篡改：

  double equal(char *input) {
      // 复制输入字符串，独立管理内存
      char *input_copy = strdup(input);
      if (!input_copy) {
          return 0.0; // 处理内存分配失败
      }
      stack S = parseInput(input_copy);
      stack polish = toReversePolishNotation(&S);
      double res = calculate(&polish);
      // 释放复制的内存
      free(input_copy);
      // 确保栈结构的内存也被正确释放
      freeStack(&S);
      freeStack(&polish);
      return res;
  }
  

• 检查parseInput、toReversePolishNotation、calculate中是否存在数组越界、栈溢出等问题，比如栈的容量是否足够，字符串处理时是否严格限制在输入长度内。

3. 确认ctypes函数签名正确性 #

你的init_functions代码是正确的，可再次确认：

def init_functions(self):
    equal = self.c_lib.equal
    equal.restype = ctypes.c_double
    equal.argtypes = [ctypes.c_char_p]
    self.functions['equal'] = equal

为什么之前的方式无效？ #

• bytes(memoryview("xxx".encode()))或直接encode()：生成的字节对象可能被GC回收，C端指针变为悬空指针，访问无效内存导致随机错误。
• ctypes.c_char_p("xxx".encode())：仅创建指针，未确保底层字节对象的存活时间，同样存在悬空指针风险。

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