Question

我使用cffi将我的Python模块与C库连接。

我在Linux上运行良好，但我在使用Mac OS X（Yosemite - 64位）时遇到了困难。这是我写的最小样本，显示了问题：

foo.h中

#ifndef FOO_H
#define FOO_H
#include <stddef.h>

#ifdef __cplusplus
extern "C" {
#endif

void* mymalloc(size_t);

#ifdef __cplusplus
}
#endif
#endif

Foo.cpp中

#include "foo.h"

#include <cstdlib>
#include <cstdio>

void* mymalloc(size_t size) {
    void* const result = ::malloc(size);
    printf("%p\n", result);
    return result;
}

生成文件

run: foo.py libfoo.dylib
    DYLD_LIBRARY_PATH=. LIBRARY_PATH=. python foo.py

libfoo.dylib: foo.cpp foo.h
    g++ -dynamiclib -o $@ $<

foo.py

import cffi

ffi = cffi.FFI()
ffi.cdef("""
         void* malloc(size_t);
         void* mymalloc(size_t);
         """)
api = ffi.verify("", libraries=['foo'])
result = api.malloc(4)
print "malloc", result
result = api.mymalloc(4)
print "mymalloc", result

这里没什么特别的东西：一个简单的mymalloc(size_t)函数，它们充当真实malloc(size_t)的一个包装器，并在返回之前显示生成的指针。

执行foo.py（使用make run）时，我会看到以下输出：

g++ -dynamiclib -o libfoo.dylib foo.cpp
DYLD_LIBRARY_PATH=. LIBRARY_PATH=. python foo.py
malloc <cdata 'void *' 0x7fdba0e01670>
0x7fdba0e00280
mymalloc <cdata 'void *' 0xffffffffa0e00280>

在mymalloc(size_t)的情况下，似乎cffi以某种方式截断/修改了指针积分值：我得到0xffffffffa0e00280而不是预期的0x7fdba0e00280。这基本上是指针的值，但仅存储在32位上。然而，具有完全相同原型的malloc(size_t)似乎由cffi正确处理并返回64位地址。

我正试图在这里找到我做错的事。有人会有线索吗？

Answer 1

根据official answer，我打电话verify()的方式是虚假的。

正确的代码应为：

import cffi

ffi = cffi.FFI()
code = """
    void* malloc(size_t);
    void* mymalloc(size_t);
"""
ffi.cdef(code)
api = ffi.verify(code, libraries=['foo'])
result = api.malloc(4)
print "malloc", result
result = api.mymalloc(4)
print "mymalloc", result

哪些契约产生预期结果！

如何在cffi中支持64位指针？

foo.h中

Foo.cpp中

生成文件

foo.py

1 个答案: