Обтекание класса C++ для экспорта на динамический язык с использованием вариативных шаблонов

63
7

Я решил эту проблему без вариативных шаблонов, но хотел посмотреть, есть ли более чистое решение, которое их использует. Я экспортирую большое количество классов в движок Google V8 Javascrpt и создаю DSL для компиляции, чтобы сделать работу менее болезненной.

Ключевыми вопросами являются: можно ли сопоставить пакет шаблонов со списком динамических сильных типизированных значений и вызвать соответствующий метод/конструктор c++.

Рассмотрим класс X:

struct X {
X(int32_t x=42) {cout << "X(" << x << ")" << endl; }
X(bool x, double y) {cout << "X(" << x << "," << y << ")" << endl; }

void Do1() { cout << "Do1()" << endl; }
int Do2(double x, int32_ty=0) { cout << "Do2()" << endl; return 99; }
}

Обертка выглядит так:

Wrap<X>("X")
.Constructor<Opt<int32_t>>()
.Constructor<bool_t,double>()
.Method<&X::Do1>("Do1")
.Method<int,&X::Do2,double,Opt<int32_t>>("Do2");

В приведенном выше примере Opt является структурой, которая означает, что аргументы являются необязательными. Правила для Opt те же, что и для параметров функции c++.

Это сделало бы функцию Javascript в соответствии с

function X(x,y) {
// calls C++ X constructor
// new X() if x and y are undefined
// new X(x) if x is an integer and y is undefined
// new X(x,y) if x is a boolean and y is a number
// otherwise throw exception
}

X.prototype.Do1 = function() {
// Calls X::Do1() only if no arguments are given

}
X.prototype.Do2 = function(x,y) {
// Calls X::Do2(x) if y is undefined
// Calls X::Do2(x,y) if x and y are defined
// otherwise throw exception
}

Вызов функции V8 может быть абстрагирован как

struct DynamicArguments {
DynamicValue operator[](int index);
int Length();
void Return<T>(T value);
void ThrowExcpetion(); // call if arguments do not match any method
};

где DynamicValue является строго типизированным значением dyanmic от V8 (Local, если вы знаете API V8).

Я определил следующие функции:

bool Is<T>(DynamicValue value);    // return true if value is mapping to C++ type T
T As<T>(DynmaicValue value); // returns the mapped value, assuming Is<T>(value) is true

Таким образом, есть два шаблона функций, которые настраивают datastructs времени выполнения для сопоставления динамических вызовов статическим методам класса:

template<class C, class... Args>
ClassWrapper& ClassWrapper::Constructor();

template<class C,T(C::*TFun)(), class... Args)
ClassWrapper& Method(const char* dynamicFunctionName);

и две функции, которые двигатель V8 будет вызывать для передачи управления с Javascript на c++

template <class C, class... Args>
void ClassWrapper::Construct(DynamicArguments args);

template <class C, class TRet, T(C::*TFun)(), class... Args>
void ClassWrapper::CallMethod(DynamicArguments args);

Construct и CallMethod выполните следующие действия:

Foreach defined override
foreach arg in args, Arg in Args
if Arg is Opt<T> then Is<T>(value) must be true
if Arg is T then Is<T>(value> must be true
if count<Args>() > args.Length()
all remaining args must be Opt<T>
if the above is true for this override,
do new C(As<Args...>(args...)
or TRet value = C->method<Args...>(As<Args...>(args...)

где args... - это список выполнения args, которые соответствуют шаблону пакета Args...

Надеюсь, это ясно, что я пытаюсь сделать.

спросил(а) 2014-08-09T18:57:00+04:00 5 лет, 7 месяцев назад
1
Решение
62

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

Ключевыми вопросами являются: можно ли сопоставить пакет шаблонов со списком динамических сильных типизированных значений и вызвать соответствующий метод/конструктор c++.

... нет. Когда вы DynamicValue территорию DynamicValue, она больше не может быть проверена временем компиляции и, следовательно, больше не будет строго типизирована. Вы не можете специализироваться на чем-то, что компилятор не знает, что это на самом деле может быть. Если бы это было так, это не было бы компиляцией, чтобы начать, а вместо этого быть какой-то формой RTTI.

Чтобы прояснить... не без какого-либо разветвления, такого как оператор switch или if/else if/else или условно-рекурсивный вызов (то же самое в этом отношении, как завершение, это просто листовой вызов).

ответил(а) 2017-02-18T10:19:00+03:00 3 года, 1 месяц назад
Ваш ответ
Введите минимум 50 символов
Чтобы , пожалуйста,
Выберите тему жалобы:

Другая проблема