Продвижение аргументов и параметров по умолчанию в C

До того, как C был стандартизирован (он же до C89), функции были определены по-другому. Этот стиль по-прежнему поддерживается в C11 для обеспечения обратной совместимости. Не используйте его, если вся цель - развлечься:

int add_ints(); //forward-declaration has no parameters

add_ints(a, b)
//implicit type for return and parameters is int, this only works in pre-standard C or C89/C90
//int a, b; //remove this comment in C99/C11 for it to compile (also add return type int)
{
    return a + b; //side note: old K&R compilers required parantheses around the return expression
}

В некотором смысле эти функции имеют параметры, которые ведут себя как varargs. Вызывающий не знает, какие параметры ожидает функция (как и в случае с varargs). Он может передавать ему любые параметры и любое их количество. Однако это, конечно, неопределенное поведение, если количество параметров в операторе вызова не совпадает с количеством параметров в объявлении.

Конечно, здесь возникает проблема. Если вызывающий хочет передать short, как он узнает, ожидает ли функция short (и передает его напрямую) или int (и нуждается в его преобразовании)? Не может, поэтому была достигнута точка соприкосновения. Было решено, что:

• char и short получают повышение до int
• float получает повышение до double

Это происходит для всех функций, определенных таким образом (стиль K&R), и для параметров varargs. Таким образом, функция K&R никогда не будет ожидать параметра short, поэтому компилятор всегда будет продвигать параметры short к int.

Конечно, как сказал @aschepler, вы все равно можете определить такую ​​функцию, как:

short add_shorts(a, b)
    short a, b;
{
    return a + b;
}

Это означает, что параметры сначала преобразуются в int и передаются функции, и только затем функция преобразует их в short и добавляет их.

Будьте осторожны с такими функциями, как printf():

printf("%.f", 3); //passes an int: UB and also wrong answer (my compiler prints 0)
printf("%.f", 3.0); //correct
printf("%.f", (double)3); //correct

На самом деле вы можете довольно часто видеть функции K&R, особенно если автор не обратил внимание на добавление ключевого слова void в функцию, которая не принимает параметров:

int f1() //K&R function
{
    return 0;
}
int f2(void) //Standard function
{
    return 0;
}

int main(void) //Don't forget void here as well :P
{
    int a = f1(); //Returns 0
    int b = f2(); //Returns 0
    int c = f1(100); //UB - invalid number of parameters, in practice just returns 0 :)
    int d = f2(100); //Compiler error - parameter number/types don't match

    //A good compiler would give a warning for call #3, but mine doesn't :(
}

РЕДАКТИРОВАТЬ: Не знаю, почему, но cppreference классифицирует функции, определенные как f1 (), как их собственный тип функции (без параметров без void) вместо функций K&R. У меня нет стандарта передо мной, но даже если стандарт говорит то же самое, они должны вести себя так же, и у них есть история, о которой я упоминал.

Продвижение аргументов по умолчанию

Объявления функций в C