рекламные объявления по умолчанию в случае неявных деклараций функций

Question

Я попытался выполнить поиск по старым вопросам, но я не решил свою проблему.

Я стараюсь объяснить свои сомнения; Предположим, что для работы в режиме c89, если перед вызовом функции нет прототипа функции, существует неявное объявление функции, тип функции - int, и аргументы преобразуются с помощью аргументов по умолчанию:

Объекты типа char или short int (независимо от того, подписаны они или нет): , продвигаемые либо в int, либо без знака int, в зависимости от ситуации; и что объекты типа float предназначены для двойного типа.

Так что, если я пишу код, как это я согласен, что он должен работать:

int main(void){ 
    char a; 
    short b,c; 
    f(a,b,c); 
    return 0; 
} 

int f(int a,int b,int c){ 
    return 1; 
} 

То же самое здесь:

int main(void){ 
    float a; 
    short b,c; 
    f(a,b,c); 
    return 0; 
} 

int f(double a,int b,int c){ 
    return 1; 
} 

Но я не понимаю, почему следующие 2 случая работы

/*a)*/ 
int main(void){ 
    short a,b; 
    float c; 
    f(a,b,c); 
    return 0; 
} 

int f(long a,long b,long c){ 
    return 1; 
} 

/*b)*/ 

int main(void){ 
    long a,b,c; 
    f(a,b,c); 
    return 0; 
} 

int f(int a,double b,double c){ 
    return 1; 
} 

в случае а): a и b повышаются до int, c удваиваются, а затем?

в случае b): там нет DAP, что происходит?

Итак, вопрос: когда после DAP или когда DAP не выполняется, тип аргументов не относится к одному типу параметров, какое правило применяется в случае неявных деклараций функций?

Answer 1

В обоих случаях нет правила. Обе программы демонстрируют неопределенное поведение.

В частности, в программе b DAP не применяется, поскольку значения, переданные в f, имеют тип long. Только char, short и float повышены.

Чтобы увидеть, что мощь произойдет, дают значения a, b и c в main и попробуйте напечатать эти (program a, program b).