[Source/wheels]foreach()函数

我最近喜欢上函数式编程了.JS里的匿名函数,Python中的列表推导都让我大呼过瘾.

可是C语言却不适合函数式编程,毕竟既没有闭包,也没有匿名函数.

但我还是想写一些C语言的函数式编程工具.

我能不能写得了呢?

先写了一个foreach().不过,这个跟函数式编程好像没啥关系…?

一.源代码

源代码: https://github.com/tjytlxwxhyzqfw/hdoj/blob/master/Source/wheels.c

void *foreach(const void *first, const int size, const int elementsize,
void * (*f)(const int, const void *),
void *result[], const int ressize) {

int i = 0;
const void *current = first;

if (result) {
while (i < size && i < ressize) {
result[i] = f(i, current);
current += elementsize;
++i;
}
}

while (i < size) {
f(i, current);
current += elementsize;
++i;
}

return (void *)result;
}

二.说明

-遍历一个数组.将给定的函数应用到数组中的每个元素,并存储返回值.

三.参数

first

指向数组中第一个元素的指针.

size

数组中元素的个数

elementsize

数组中元素的大小

f(const int index, const void *current)

这个函数会被应用到数组中的每个元素上.

index是元素在数组中的下标.

current是指向当前元素的指针.

result, ressize

f的所有返回值都会被存储到result中,最多存储ressize个返回值.

多余的返回值会被丢弃.

四.小笔记

1. void *

void *

这种指针,它在+1的时候和”char *”是一样的,都是一个字节一个字节的移动.

2. const

对于下面这两个形参:

const void * array[]

void * const array[]

实参void *array[]可以向第二个形参赋值,却无法向第一个形参赋值.

原因在”C专家编程”上有讲.简单来说就是:

不带const的实参可以向带有const的形参赋值.

但是,const T和T被认为是两种不同类型

于是第一个形参的数组元素是

const void *

而形参的数组元素却是

void *

,因此不能赋值.

五.后记

我知道这有些傻.

因为对于:

int array[] = {1, 2, 3};

你明明可以:

int i;
for (i = 0; i < 3; ++i)
print("%d: %d\n", i, array[i]);

而现在却要:

void *printint(const int i, const void *ip)
{
int n = *((int *)ip);
printf("%d: %d\n", i, n);
return NULL;
}

foreach(array, 3, sizeof(int), printint, NULL, 0);

可是我依然觉得第二个用起来舒服.

因为不用重复写无聊的for循环了,而且现在我可以把精力集中在处理数组元素本身,而不是控制数组遍历.

作为一个函数式编程界的菜鸟,我感觉这好像不算是函数式编程,毕竟连个纯函数都不是.

然而,这并不能阻止我成为FP的脑残粉:P