Экспорт шаблона в функцию C

Question

Экспорт шаблона в функцию C

0

Я создаю привязки Haskell для библиотеки C. Тем не менее, я хочу адаптировать вызывающие соглашения библиотеки к чему-то более подходящему для Haskell, поэтому я создал класс шаблонов, который имеет статический метод, который вызывает правильный метод, когда вы используете его следующим образом:

Wrap<decltype(&libraryFunction), &libraryFunction>::call(...);

Где ... обозначает аргументы. Это здорово, компилятор создал для меня код оболочки. Я даже могу взять адрес этой функции с помощью оператора & поэтому, по-видимому, это просто регулярная функция.

Тем не менее, Haskell не может использовать шаблоны C++, поэтому я хотел бы явно создать этот шаблон для требуемых функций и экспортировать их как обычную функцию C, которую я могу ссылаться на Haskell. Я знаю, что могу просто сделать заглушки, которые вручную вызывают эту статическую функцию-член, но пусть говорят, что мне это действительно не нравится.

Есть идеи, как это сделать? Портативный или не портативный, я хотел бы знать, если это возможно.

Emil Eriksson 16 апр. 2014, в 17:16

Источник

1

Каким будет название функции?
Jarod42 16 апр. 2014, в 14:40
0

Вы пробовали extern "C" ?
Yifu Wang 16 апр. 2014, в 14:43
0

@ Jarod42: Я бы хотел назвать экспортируемую функцию как угодно.
Emil Eriksson 16 апр. 2014, в 14:45
0

@ user2912836: Это не имеет смысла для определения шаблона, и я не знаю, как бы вы использовали это для конкретной интуиции. Кроме того, как бы это имя было?
Emil Eriksson 16 апр. 2014, в 14:46
2

"и экспортируйте их как обычную функцию C, на которую я могу ссылаться из Haskell" Тогда вам нужно обычное имя C, а не что-то с < template-arguments > которое каким-то образом искажено. [temp] / 4 «Шаблон, явная специализация шаблона и частичная специализация шаблона класса не должны иметь связи С». Так что это возможно только как расширение языка C ++.
dyp 16 апр. 2014, в 15:00
1

@dyp Поместите это в ответ, чтобы мы могли проголосовать за него.
Mark B 16 апр. 2014, в 15:14
0

Возможно, этот ответ близок к тому, что вы хотите достичь?
jxh 16 апр. 2014, в 15:55
0

Вы читали haskell.org/haskellwiki/Cxx_foreign_function_interface ?
dyp 16 апр. 2014, в 16:15

Показать ещё 6 комментариев

Теги:

c++

c

c++11

templates

shared-libraries

1 ответ

Ещё вопросы

@ Jarod42: Я бы хотел назвать экспортируемую функцию как угодно.
@ user2912836: Это не имеет смысла для определения шаблона, и я не знаю, как бы вы использовали это для конкретной интуиции. Кроме того, как бы это имя было?
"и экспортируйте их как обычную функцию C, на которую я могу ссылаться из Haskell" Тогда вам нужно обычное имя C, а не что-то с < template-arguments > которое каким-то образом искажено. [temp] / 4 «Шаблон, явная специализация шаблона и частичная специализация шаблона класса не должны иметь связи С». Так что это возможно только как расширение языка C ++.
@dyp Поместите это в ответ, чтобы мы могли проголосовать за него.
Возможно, этот ответ близок к тому, что вы хотите достичь?
Вы читали haskell.org/haskellwiki/Cxx_foreign_function_interface ?

dyp · Answer 1 · 2014-04-16T13-08-00.000Z

Это невозможно сделать портативно:

[Temp]/4

Шаблон, явная специализация шаблона и частичная специализация шаблона шаблона не должны иметь C-ссылки.

Обратите внимание, что это также мешает вам использовать указатель на эту функцию, позволяя Haskell вызывать функцию через этот указатель: не гарантируется, что, например, соглашение о вызове функции C++ (в программе C++) совпадает с Haskell предполагает для указателя функции, который он получает.

Что можно сделать портативно - это экспортировать одну внешнюю функцию extern "C" которая переводит между языковыми связями между C и C++. Вы можете передавать указатели функций или другие типы идентификаторов в Haskell, а Haskell называет эту единственную функцию C, передающую идентификатор функции, которую он фактически хочет вызвать:

std::map<int, void(*)(int32_t)> functions;

extern "C" interface_fct(int id, int32_t arg)
{
    functions[id](arg);
}

Это, конечно, не очень полезно для функций с разными наборами параметров.

Вы можете написать что-то похожее на va_args (но более безопасное), чтобы передать произвольные аргументы, но было бы более полезно писать что-то непереносимое.

Я был довольно уверен, что это нельзя сделать мобильно, поэтому я искал что-то непереносимое. В любом случае это не имеет значения, поскольку рассматриваемая библиотека является системной библиотекой OS X.