c - чайников - функциональные языки программирования список




Функциональное программирование на C с помощью генераторов с генератором «более высокого порядка» (2)

Обращайте внимание внимательно, потому что это адский вопрос ;-)

Я хочу использовать функции шаблона для общих действий коллекции (например, поиск, foreach и т. Д.) В C, сохраняя при этом проверку статического типа компилятора. Это довольно просто, когда вы используете простые обратные вызовы, как в этом примере:

#define MAKE_FOREACH(TYPE)\
void foreach_##TYPE (TYPE[n] array, int n, void(*f)(TYPE)) {\
  for(int i = 0; i < n; i++) {\
    f(array[i]);\
  }\
}

поэтому вы можете делать такие вещи, как:

MAKE_FOREACH(int)
MAKE_FOREACH(float)

void intcallback(int x){
  printf("got %d\n", x);
}

void floatcallback(float x){
  printf("got %f\n", x);
}

int main(){
  int[5] iarray = {1,2,3,4,5};
  float[5] farray = {1.0,2.0,3.0,4.0,5.0};
  foreach_int(iarray, 5, intcallback);
  foreach_float(farray, 5, floatcallback);
}

Если я хотел бы реализовать обратные вызовы с типами возврата, например, чтобы создать функцию «map», я мог бы сделать:

#define MAKE_MAP(TYPE, RTYPE)\
RTYPE* map_##TYPE (TYPE[n] array, int n, RTYPE(*f)(TYPE)) {\
  RTYPE* result = (RTYPE*)malloc(sizeof(RTYPE)*n);\
  for(int i = 0; i < n; i++) {\
    result[i]=f(array[i]);\
  }\
}

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

Идея:

#define MAKE_MAP(TYPE, RTYPE, ...)\
RTYPE* map_##TYPE (TYPE[n] array, int n, RTYPE(*f)(TYPE, __VA_ARGS__), __VA_ARGS__)
/*this would work for the declaration (because just the types would be enough)
but the  parameter names are missing :-s*/ \
{\
  RTYPE* result = (RTYPE*)malloc(sizeof(RTYPE)*n);\
  for(int i = 0; i < n; i++) {\
    result[i]=f(array[i], /*here the names of the parameters, in order*/);\
  }\
}

поэтому, как вы можете видеть, я мог бы объявить функцию карты следующим образом:

MAKE_MAP(int, float, char)

давая:

float* map_int(int[n] array, int n, float(*f)(int, char), char);

но я не могу понять, как реализовать передаваемый параметр с препроцессором. Здесь я прошу вашу помощь, идеи и предложения.

(Кстати, не говорите мне использовать вариационную функцию в качестве шаблона и передавать аргумент va_list для обратного вызова, потому что все это было из-за проверки типа: -p)


Для информации исходный код GCC 4.6 реализует аналогичные трюки для векторов. Посмотрите в свой файл gcc/vec.h


Если вы работаете в Linux / BSD Unix, посмотрите на queue(3) и проверьте в /usr/include/sys/queue.h - это было сделано раньше :)





c-preprocessor