Может ли вызов функции отменить cons-определитель его параметра?

Question

Следующий код вызывает ошибку в компиляторе Green Hills C (ошибка: тип int * несовместим с типом аргумента const int *), тогда как он выдает предупреждение и компилируется с помощью gcc (предупреждение: передается аргумент 1 из «func» disards 'const' от целевого типа указателя).

void func1(int* a) 
{ 
    (*a)++; 
} 

const int g = 100; 

void func2(void) 
{ 
    func1(&g); 
} 

Какое поведение соответствует стандарту C?

Answer 1

Which behavior is according to C standard?

Оба поведения в компиляторах соответствуют стандарту. Поскольку @AnT уже объяснил, вызов func1(&g) нарушает языковое ограничение. Требование Стандарта на компилятор в таком случае выражается в пункте 5.1.1.3/1:

A conforming implementation shall produce at least one diagnostic message (identified in an implementation-defined manner) if a preprocessing translation unit or translation unit contains a violation of any syntax rule or constraint [...]

Как вы можете видеть, @Olaf правильно, что стандарт не различает разные категории диагностики. Это изобретение и con vention реализаций, которые обычно различают эти два на основе того, является ли ситуация фатальной для процесса компиляции. В стандарте нечего сказать о том, что компилятор должен делать, когда обнаружено нарушение ограничения, однако, ни вообще, ни в данном конкретном случае, поэтому он даже косвенно не указывает, должно ли быть «предупреждение» или «ошибка» излучается.

Если компилятор выполняет, он продолжает и в конечном итоге производит исполняемый файл, то вся полученная в результате программа обнаруживает неопределенное поведение, если в любой момент ее выполнения она вычисляет вызов проблемной функции. Это является причиной того, почему компилятор может не выбрасывать такой двоичный файл (например, может считаться, что нарушение ограничений является «ошибкой»), но, опять же, стандарт не предоставляет никаких указаний.

Answer 2

Неверный звонок в func1(&g). Это нарушение ограничений на языке C, то есть это то, что в повседневной терминологии обычно называют «ошибкой». Язык C не поддерживает неявное преобразование значения const int * в int *.

Тот факт, что это «просто предупреждение» в GCC, ничего не значит. Используйте переключатель -pedantic-errors в GCC, чтобы сделать его нарушениями ограничений отчетов как «ошибки». Компилятор Green Hills C, как вы заметили, сообщает об этом как «ошибку» без какой-либо помощи со своей стороны.