C 에서 다음이 가능한 겁니까??

파라메터 갯수도 안세준단 말입니까 -_-

어떤 환경에서 어떤 컴파일러를 쓰시나요?

저는 분명히

too few arguments to function `a'

라고 나옵니다.

gcc (GCC) 3.3 20030304 (Apple Computer, Inc. build 1671)
Copyright (C) 2002 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

인자가 하나인 함수 포인터에다가...
두개짜리 함수를 넣어준다거나 거꾸로인 상황을 만들었을땐 모르겠지만...

프로토타입을 선언하고 함수 본체를 정의한 경우라면 gcc에선 컴파일이 안되었던 것 같은데요 ;)

물론 함수포인터에 캐스팅해서 넣었을 경우엔 컴파일도 되고 돌기도 합니다... 결과가 원하는 대로 나올지는 미지수지만요 ;)

c는... arguments 개수 등을 체크하는데 인스트럭션을 낭비하지는 않는 걸로 알고 있습니다 :) .... (컴파일러 레벨에서 말구요..)

가능하지요.
C 이므로 가능합니다.

3.x를 쓰신다면 다음 코드를 컴파일 해보세요.

$ more a.cc
#include <stdio.h>

int func( const char *, const char * )
{
        printf("Hello, world?\n");
        return 0;
}

$ more b.c

int _Z4funcPKcS0_();

int main()
{
        _Z4funcPKcS0_();
        return 0;
}

$ gcc a.cc b.c -o a
$ ./a

확장자가 .cc 이면 c++이고 .c 이면 c 이므로 gcc는 각각에 맞게 컴파일하여 링크하게됩니다.

이분야를 좀더 공부하고 싶으시다면, nm, c++filt, objdump, readelf 등을 연구해보시고
검색 키워드로는 function mangling, decoration 등을 찾아 보시면 됩니다.