Является ли это сомнительным использование объявления не-прототипа функции?

Question

Действительно ли это код C (C99)?

int f(); 
int g(int x) 
{ 
    if (x<0) return f(x); 
    else return f(x,x); 
} 

Очевидно, что программа имеет неопределенное поведение, если g когда-либо вызывается с отрицательным аргументом и f не функция, которая принимает один int аргумента, или если g когда-либо вызывается с неотрицательным аргументом и f является не функция, которая принимает два аргумента int. Но иначе?

Рассмотрим в качестве примера этот отдельный исходный файл, который вызывает g из вышеизложенного и обеспечивает f:

int g(); 
#ifdef FOO 
int f(int a, int b) { return a+b; } 
int main() { return g(1); } 
#else 
int f(int a) { return a; } 
int main() { return g(-1); } 
#endif 

Answer 1

Давайте попробуем наоборот: Зачем ему не?. Я действительно не могу найти никаких аргументов или правил, запрещающих вышеуказанный код. Вызов функции в соответствующей другой ветке никогда не выполняется (хотя обсуждение в комментариях указывает, что это не так просто!).

Answer 2

Что делать, если это f(int x, ...) и смотрит на знак своего первого аргумента, чтобы узнать, сколько (0 или 1) varargs он получил?

Answer 3

Действительно (это зависит от того, какой стандарт вы используете). Вы должны прочитать что-нибудь около calling conventions.

В принципе, если f принимает один или никаких аргументов, я бы не ожидал никаких проблем.
Если f принимает два или более аргумента, можно ожидать, что другие аргументы (отличные от первого) будут иметь нежелательные (по-видимому, случайные) значения.

Рассмотрим этот кусок кода:

int f(int x, int y); 
int g(int x) 
{ 
    int k; //No value 
    if (x<0) return f(x, k); 
    else return f(x, x); 
} 

Конечно, это плохая идея. Вы должны явно указать все аргументы.

Вы также можете использовать int f(void);, чтобы явно объявить, что f не принимает аргументов.

Помните, что функция перегрузки функций C++ может вызвать проблемы, но я предполагаю, что это не проблема, поскольку вы отметили свой вопрос c. Кроме того, некоторые соглашения о вызовах могут вызвать серьезные проблемы.

Answer 4

C99 (6.5.2.2 Функциональные вызовы, пункт 8) говорит, что количество и типы параметров и аргументов «не сравниваются», если определение функции не имеет прототипа.

Я видел это (ab), используемое в дикой природе с указателями функций. Массив из void (*)() содержал как указатели функций void (*)(struct Client *), так и void (*)(struct Client *, int parc, char *parv[]). На основе индекса массива код передал дополнительные параметры или нет.

В этом случае у компилятора нет (разумного) способа проверить количество параметров заранее, даже если у него есть все соответствующие коды.

Я думаю, что это грязный код, и я исправил этот конкретный экземпляр.

Answer 5

Я бы согласился с тем, что он действителен до тех пор, пока неправильный вызов функции никогда не будет оцениваться абстрактной машиной C.

Существует другой, более простой, способ прийти к вашему выводу о линкере, хотя: Так как это разрешено:

int f(); 
int (*fp)() = f; 

линкер должен быть в состоянии найти адрес f(), не зная его фактическое определение , Поэтому его символ должен быть определен без знания фактического определения.