Использование массивов с Ctypes

Question

У меня есть эта функция quicksort в C, которую я хочу связать с OCaml, используя Ctypes.

Декларация выглядит следующим образом:

void quicksort(int array[], int first, int last) 

Я не знаю, какой тип поставить для массива во втором параметре иностранного:

let cquicksort = foreign 
    "quicksort" (??? @-> int @-> int @-> returning void) 
;; 

Answer 1

Вы можете использовать указатель недействительным, как в this учебник.

let cquicksort = foreign 
    "quicksort" (ptr void @-> int @-> int @-> returning void) 

let start = to_voidp (CArray.start (CArray.of_list int[1;2;3;4;3]));; 

let() = 
    let carr = CArray.of_list int [1;2;4;5;3] in 
     let start = to_voidp (CArray.start carr) in 
      cquicksort start 0 4; 

После сортировки вы можете использовать CArray.to_list, чтобы получить отсортированный список.