длинные двойные возвращения и типы - PullRequest
Новая
       14

длинные двойные возвращения и типы

9 голосов
/ 08 января 2009

У меня есть функция c, которая возвращает long double. Я хотел бы вызвать эту функцию из Python с использованием ctypes, и это в основном работает. установка so.func.restype = c_longdouble делает свое дело - за исключением того, что тип с плавающей запятой в Python равен c_double, поэтому, если возвращаемое значение больше двойного, но в пределах длинного двойного, питон все равно получает inf в качестве возвращаемого значения. я на 64-битном процессоре и sizeof(long double) составляет 16.

есть ли идеи обойти это (например, используя десятичный класс или numpy) без изменения кода c?

Ответы [ 3 ]

1 голос
/ 11 марта 2015

Если у вас есть функция, возвращающая подкласс из c_longdouble, она вернет объект обернутого поля ctypes вместо преобразования в питон float. Затем вы можете извлечь байты из этого (например, memcpy в массив c_char) или передать объект в другую функцию C для дальнейшей обработки. Функция snprintf может отформатировать ее в строку для печати или преобразования в высокоточный числовой тип Python. 

import ctypes
libc = ctypes.cdll['libc.so.6']
libm = ctypes.cdll['libm.so.6']

class my_longdouble(ctypes.c_longdouble):
    def __str__(self):
        size = 100
        buf = (ctypes.c_char * size)()
        libc.snprintf(buf, size, '%.35Le', self)
        return buf[:].rstrip('\0')

powl = libm.powl
powl.restype = my_longdouble
powl.argtypes = [ctypes.c_longdouble, ctypes.c_longdouble]

for i in range(1020,1030):
    res = powl(2,i)
    print '2**'+str(i), '=', str(res)

Выход: 

2**1020 = 1.12355820928894744233081574424314046e+307
2**1021 = 2.24711641857789488466163148848628092e+307
2**1022 = 4.49423283715578976932326297697256183e+307
2**1023 = 8.98846567431157953864652595394512367e+307
2**1024 = 1.79769313486231590772930519078902473e+308
2**1025 = 3.59538626972463181545861038157804947e+308
2**1026 = 7.19077253944926363091722076315609893e+308
2**1027 = 1.43815450788985272618344415263121979e+309
2**1028 = 2.87630901577970545236688830526243957e+309
2**1029 = 5.75261803155941090473377661052487915e+309

(Обратите внимание, что моя оценка 35 цифр точности оказалась чрезмерно оптимистичной для long double вычислений на процессорах Intel, которые имеют только 64 бита мантиссы. Вам следует использовать %a вместо %e / f / g, если вы собираетесь конвертировать в формат, не основанный на десятичном представлении.)

1 голос
/ 08 января 2009

Я не уверен, что вы можете сделать это без изменения кода C. У ctypes действительно плохая поддержка long double s - вы не можете манипулировать ими как числами, все, что вы можете сделать, это конвертировать их назад и вперед между собственным float типом Python.

Вы даже не можете использовать байтовый массив в качестве возвращаемого значения вместо c_longdouble, потому что ABI - значения с плавающей запятой не возвращаются в регистр %eax или в стек, как нормальные возвращаемые значения они передаются через аппаратные регистры с плавающей запятой.

0 голосов
/ 08 января 2009

Если вам нужна высокоточная плавающая точка, взгляните на GMPY.

GMPY - это модуль расширения Python на C-коде, который оборачивает библиотеку GMP для предоставления в код Python быстрой мультиточной арифметики (целочисленных, рациональных и с плавающей точкой), генерации случайных чисел, расширенных теоретических функций числа, и больше.

GMP содержит высокоуровневые арифметические функции с плавающей точкой (mpf). Эта категория функций GMP используется, если тип C `double 'не дает достаточной точности для приложения. В этой категории около 65 функций.

...