Средство проверки правил помечает ситуации, когда параметр функции или тип возврата не задан явным образом. Чтобы включить проверку этого правила, используйте значение c90 для опции C standard version (-c-version).

В некоторых случаях можно опускать типы из стандарта C90. В этих случаях int неявно задан тип. Однако пропуск явного типа может привести к путанице. Для примера в декларации extern void foo (char c, const k);, тип k является const intНо вы можете ожидать const char.

Возможно, вы используете неявный тип в:

static foo(int a);  /* Non compliant */
static void bar(void);      /* Compliant */

В этом примере правило нарушается, потому что тип возврата foo неявный.

Проблема возникает при вызове функции перед объявлением или определением.

Неявное объявление происходит, когда вы вызываете функцию перед объявлением или определением ее. Когда вы объявляете функцию явным образом перед вызовом, компилятор может соответствовать типам аргументов и возвращений с типами параметров в объявлении. Если происходит неявное объявление, компилятор делает предположения о типах аргументов и возвратах. Например, он принимает тип возврата int. Допущения могут не совпадать с ожидаемым и вызывать нежелательные преобразования типов.

#include <math.h>

extern double power3 (double val, int exponent);
int getChoice(void);

double func() {
    double res;
    int ch = getChoice();
    if(ch == 0) {
        res = power(2.0, 10);    /* Non-compliant */
    }
    else if( ch==1) {
        res = power2(2.0, 10);   /* Non-compliant */
    }
    else {
        res = power3(2.0, 10);   /* Compliant */
        return res;
    }
}

double power2 (double val, int exponent) {
    return (pow(val, exponent));
}

В этом примере правило нарушается, когда в коде вызывается функция, которая не объявлена. Даже если определение функции существует позже в коде, происходит нарушение правила.

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