Головоломка по C

2)

int test1(void * a){
return 1;
}
main(){
int (*test)(void *a) = &test1;
test();
}

Немного попридираюсь. Либо уж int (*test)(void *a) = test1; либо (*test)(); безобразно, зато однообразно. ;)

Можно, хотя в полном объеме довольно непросто. Ключевые слова - libffi и __builtin_apply

2ival :

Первое -- не понял.

Второе -- нельзя (компиляторнонезависимо) без компиляции "на лету". Но последнее обычно не является ограничением, поскольку все ПОЗИКС операционки имеют хотя бы зачаточный Це компилятор.

Как было замечено vnp (*) (11.05.2006 22:52:29), возможно также извращение на уровне хаков для известных компиляторов, но Це тут, конечно, не при чем.

>Первое -- не понял.

Имелось ввиду что-то типа delegate в c# или lambda в python,


в c# можно сделать что-то вроде:

//синтаксис точно не помню
typedef int func_t delegate(int x);

func_t get_func(int n) {
    return (
        func_t {
           return n+x;
        }
    );
)

Т.е бог с ними, что они anonymous methods (ну разве что
лишние пара строк кода), но они могут зависеть от внешних
параметров. По существу задача сводится к тому, что бы
сгенерить в run_time функцию, которая просто подставляет 
недостающие внешние параметры. 

IMHO в "портабельном высокоуровнем ассемблере" этих 
примитивов не хватает. 

> > Первое -- не понял.

> Имелось ввиду что-то типа delegate в c# или lambda в python,

Скорее, имелся ввиду function currying. Который из статические типизированных языков есть, имхо, только в хаскелле, и то потому, что там допускается неявная типизация.

На С можно, но придется писать "curryer" для каждого типа функций.

Это называется "замыкания" (closures). И нет, в стандартном C этого не сделаешь.

Есть не только в Haskell. Уж про ML, Miranda, Clean не нужно забывать. Про ML в особенности.

> и то потому, что там допускается неявная типизация.

не поэтому.

Да, прогнал, не поэтому. Из-за того, что функции не first-class.

Но, однако, если требовать полного указания типов а-ля C++ - то такие конструкции очень-очень громоздкие будут.