Почему я могу вызвать функцию через указатель со слишком большим количеством аргументов? - PullRequest
Новая
       28

Почему я могу вызвать функцию через указатель со слишком большим количеством аргументов?

22 голосов
/ 21 августа 2011

Скажите, у меня есть эта функция: 

int func2() {
    printf("func2\n");
    return 0;
}

Теперь я объявляю указатель: 

int (*fp)(double);

Это должно указывать на функцию, которая принимает аргумент double и возвращает int.

func2 НЕ имеет аргументов, но все же, когда я пишу: 

fp = func2;
fp(2);

(с 2 - просто произвольное число), func2` вызывается правильно.

Почему это? Разве нет смысла в количестве параметров, которые я объявляю для указателя функции?

Ответы [ 2 ]

46 голосов
/ 21 августа 2011

Да, в этом есть смысл.В C (но не в C ++) функция, объявленная с пустым набором скобок, означает, что она принимает неопределенное количество параметров.Когда вы делаете это, вы не позволяете компилятору проверять количество и типы аргументов;это пережиток до того, как язык C был стандартизирован ANSI и ISO.

Неудачный вызов функции с правильным числом и типами аргументов приводит к неопределенному поведению .Если вы вместо этого явно объявите, что ваша функция принимает нулевые параметры, используя список параметров void, то компилятор выдаст вам предупреждение, когда вы назначите указатель функции неправильного типа: 

int func1();  // declare function taking unspecified parameters
int func2(void);  // declare function taking zero parameters
...
// No warning, since parameters are potentially compatible; calling will lead
// to undefined behavior
int (*fp1)(double) = func1;
...
// warning: assignment from incompatible pointer type
int (*fp2)(double) = func2;
0 голосов
/ 21 августа 2011

Вам нужно явно объявить параметр, иначе вы получите неопределенное поведение:) 

int func2(double x)
{
    printf("func2(%lf)\n", x);
    return 0;
}
...