C function called from Python via ctypes returns incorrect value

前端 未结 1 1037
鱼传尺愫
鱼传尺愫 2020-11-22 05:36

I have written a simple function in C that raises a given number to a given power. The function returns the correct value when I call it in C, but when I call it in Python i

相关标签:
1条回答
  • 2020-11-22 06:05

    Listing [Python 3.Docs]: ctypes - A foreign function library for Python.

    In order for everything to be properly converted (Python <=> C) when calling the function (residing in a .dll (.so)), 2 things need to be specified (leaving x86 calling convention (Win) aside):

    1. Argument types
    2. Return type

    In CTypes, this is achieved by specifying:

    1. argtypes - a list (actually a sequence) containing each argument (CTypes) type (in the order they appear in the function header)
    2. restype - a single CTypes type

    Side note: an alternative to the above, is prototyping foreign functions (CFUNCTYPE, WINFUNCTYPE, PYFUNCTYPE - check the Function prototypes section (in the URL at the beginning)).


    Anyway:

    • Failing to specify
    • Misspelling (basically, same thing as previous bullet)

    any of them (where required (1)), will result in defaults being applied: all are treated (C89 style) as ints, which (on most systems) are 32 bits long.
    This generates Undefined Behavior (2)
    (also applies when incorrectly specifying them), especially on 64bit CPU / OS, where values of larger types (e.g. pointers) could be truncated.
    The displayed errors can be numerous and sometimes misleading.

    You misspelled argtype (lacking an s at the end).

    Correct that, and you should be fine

    Example:

    For a function func00 exported by libdll00.dll (libdll00.so) with the following header:

    double func00(uint32_t ui, float f, long long vll[8], void *pv, char *pc);
    

    The Python equivalent would be:

    func00 = libdll00.func00
    func00.argtypes = [ctypes.c_uint32, ctypes.c_float, ctypes.c_longlong * 8, ctypes.c_void_p, ctypes.POINTER(ctypes.c_char)]
    '''
    It would be a lot easier (nicer, and in most cases recommended)
      the last element to be ctypes.c_char_p,
      but I chose this form to illustrate pointers in general.
    '''
    func00.restype = ctypes.c_double
    

    Some (more destructive) outcomes of the same (or very similar) scenario (there are many others):

    • [SO]: Python ctypes cdll.LoadLibrary, instantiate an object, execute its method, private variable address truncated (@CristiFati's answer)
    • [SO]: python ctypes issue on different OSes (@CristiFati's answer)

    Footnotes

    • #1: Technically, there are situations where it's not required to specify them. But even then, it's best to have them specified in order to eliminate any possible confusion:

      • Function with no arguments:

          function_from_dll.argtypes = []
        
      • Function returning void:

          function_from_dll.restype = None
        
    • #2: Undefined Behavior ([Wikipedia]: Undefined behavior) as the name suggests, is a situation when the outcome of a piece of code can't be "predicted" (or guaranteed). The main cases:

      • Works as expected
      • Doesn't work as expected
        • Has some funny outputs / side effects
        • Crashes


      The "beauty" of it is that sometimes it seems totally random, sometimes it "only reproduces" under some specific circumstances (different machines, different OSes, different environments, ...). Bottom line is that all of them are purely coincidental! The problem lies in the code (can be the current code (highest chances) or other code it uses (libraries, compilers)).

    0 讨论(0)
提交回复
热议问题