Проблема

Средство проверки правила отмечает ситуации, куда параметр функции или возвращается, тип явным образом не задан. Чтобы позволить проверять этого правила, используйте значение 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));
}

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

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