Как передать массив из .Net в C? - PullRequest
Новая
       27

Как передать массив из .Net в C?

0 голосов
/ 16 сентября 2018

Я пытаюсь использовать библиотеку с открытым исходным кодом , написанную на C , оборачивая ее и открывая .Net. Я ни в коем случае не эксперт по Си.

Пока мне удалось вызвать демонстрационный код, написанный на C, из F #. Мне удалось добиться этого, следуя этому руководству , а затем заполняя пропуски. Я адаптировал код C так, чтобы ожидать, что ему будет передано int, поэтому я могу, по крайней мере, взять скалярное значение из F # в C. Однако никакого возвращаемого значения нет.

Но работать с массивами гораздо сложнее.

Мой код C 

extern "C"
{
    __declspec(dllexport) void DisplayHelloFromDLL(int i)
    {
        //printf("Hello from DLL !\n");
        cout << "You gave me ... an int: " << i << endl;

        // Load problem data
        c_float P_x[4] = { 4., 1., 1., 2., }; //covariance matrix
        c_int   P_nnz = 4; //number of non-zero elements in covar
        c_int   P_i[4] = { 0, 1, 0, 1, }; //row indices?
        c_int   P_p[3] = { 0, 2, 4}; //?
        c_float q[2] = { 1., 1., }; //linear terms
        c_float A_x[4] = { 1., 1., 1., 1., }; //constraint coefficients matrix
        c_int   A_nnz = 4; //number of non zero elements in constraints matrix
        c_int   A_i[4] = { 0, 1, 0, 2, }; //row indices?
        c_int   A_p[3] = { 0, 2, 4}; //?
        c_float l[3] = { 1., 0., 0., }; //lower bounds
        c_float u[3] = { 1., 0.7, 0.7, }; //upper bounds
        c_int n = 2; //number of variables (x)
        c_int m = 3; //number of constraints


        // Problem settings
        OSQPSettings *settings = (OSQPSettings *)c_malloc(sizeof(OSQPSettings));

        // Structures
        OSQPWorkspace *work; // Workspace
        OSQPData *data;      // OSQPData

        // Populate data
        data = (OSQPData *)c_malloc(sizeof(OSQPData));
        data->n = n;
        data->m = m;
        data->P = csc_matrix(data->n, data->n, P_nnz, P_x, P_i, P_p);
        data->q = q;
        data->A = csc_matrix(data->m, data->n, A_nnz, A_x, A_i, A_p);
        data->l = l;
        data->u = u;


        // Define Solver settings as default
        osqp_set_default_settings(settings);

        // Setup workspace
        work = osqp_setup(data, settings);

        // Solve Problem
        osqp_solve(work);

        // Clean workspace
        osqp_cleanup(work);
        c_free(data->A);
        c_free(data->P);
        c_free(data);
        c_free(settings);
    }
}

и мой код C # 

class Program
    {
        [DllImport("TestLibCpp.dll")]
        public static extern void DisplayHelloFromDLL(int i);
        static void Main(string[] args)
        {
            Console.WriteLine("This is F# program");
            DisplayHelloFromDLL(52);
        }
    }

Чтобы сосредоточить внимание на этом вопросе: как сделать P_x параметром, передаваемым из F #?

1 Ответ

0 голосов
/ 17 сентября 2018

Прочитав ссылку AlexF и заставив что-то работать, я подумал, что выложу здесь ответ для любого с подобной проблемой. Я могу ошибаться в некоторых понятиях, но код работает. Если я ошибаюсь в деталях, дайте мне знать, и я отредактирую.

Концепции, которые необходимо знать: Blittable типы: это типы, которые имеют одинаковое внутреннее представление в .Net (управляемые) и в C (неуправляемые). Типы Blittable «закрепляются» маршалером, что, по-видимому, означает, что указатель передается из .Net в C, а не копируемые значения. Расположение в памяти типа Blittable блокируется до тех пор, пока не будет возвращена неуправляемая функция. Не уверен, как это влияет на сборку мусора.

Атрибуты In / Out: Blittable массивы передаются как параметры In. Вы должны явно пометить их как Out, если хотите использовать их в качестве возвращаемого значения.

В любом случае, вот код, который работает.

неуправляемый: 

extern "C"
{
    __declspec(dllexport) void DisplayHelloFromDLL(c_float* P_x)
    {
        //printf("Hello from DLL !\n");
        //cout << "You gave me ... an int: " << i << endl;

        // Load problem data
        //c_float P_x[4] = { 4., 1., 1., 2., }; //covariance matrix
        c_int   P_nnz = 4; //number of non-zero elements in covar
        c_int   P_i[4] = { 0, 1, 0, 1, }; //row indices?
        c_int   P_p[3] = { 0, 2, 4}; //?
        c_float q[2] = { 1., 1., }; //linear terms
        c_float A_x[4] = { 1., 1., 1., 1., }; //constraint coefficients matrix
        c_int   A_nnz = 4; //number of non zero elements in constraints matrix
        c_int   A_i[4] = { 0, 1, 0, 2, }; //row indices?
        c_int   A_p[3] = { 0, 2, 4}; //?
        c_float l[3] = { 1., 0., 0., }; //lower bounds
        c_float u[3] = { 1., 0.7, 0.7, }; //upper bounds
        c_int n = 2; //number of variables (x)
        c_int m = 3; //number of constraints


        // Problem settings
        OSQPSettings *settings = (OSQPSettings *)c_malloc(sizeof(OSQPSettings));

        // Structures
        OSQPWorkspace *work; // Workspace
        OSQPData *data;      // OSQPData

        // Populate data
        data = (OSQPData *)c_malloc(sizeof(OSQPData));
        data->n = n;
        data->m = m;
        data->P = csc_matrix(data->n, data->n, P_nnz, P_x, P_i, P_p);
        data->q = q;
        data->A = csc_matrix(data->m, data->n, A_nnz, A_x, A_i, A_p);
        data->l = l;
        data->u = u;


        // Define Solver settings as default
        osqp_set_default_settings(settings);

        // Setup workspace
        work = osqp_setup(data, settings);

        // Solve Problem
        osqp_solve(work);

        // Clean workspace
        osqp_cleanup(work);
        c_free(data->A);
        c_free(data->P);
        c_free(data);
        c_free(settings);
    }
}

Управляется (F #) 

open System.Runtime.InteropServices

module ExternalFunctions =
    [<DllImport("TestLibCpp.dll")>]
    extern void DisplayHelloFromDLL(float[] i)

[<EntryPoint>]
let main argv = 
    let P_x = [|4.; 1.; 1.; 2.|]
    ExternalFunctions.DisplayHelloFromDLL(P_x);
    0 // return an integer exit code
...