func () vs func (void) в c99

TL; DR

в декларациях,

void func1();     // obsolescent
void func2(void);

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

на определения

void func1() { }     // obsolescent

и

void func2(void) { }

• первый объявляет и определяет функцию func1, который не имеет параметров и нет прототипа

• последний объявляет и определяет функцию func2с прототипом, который не имеет параметров.

эти два ведут себя отчетливо в том, что тогда как компилятор C должны печатаем диагностическое сообщение при вызове прототип функцию с неверным числом аргументов, она не нужно сделайте это при вызове функции без прототип.

то есть, учитывая определения выше

func1(1, 2, 3); // need not produce a diagnostic message
func2(1, 2, 3); // must always produce a diagnostic message 
                // as it is a constraint violation

и вызовы являются незаконными в строго соответствующих программах, поскольку они явно неопределенное поведение в соответствии с 6.5.2.2p6.

кроме того, пустые скобки считаются устаревшей функцией:

использование деклараторов функций с пустыми скобками (не деклараторы типа параметров прототип-формат) является устаревшим особенность.

и

использование определений функций с отдельными списками идентификаторов параметров и деклараций (а не деклараторов типов параметров и идентификаторов прототипов) является устаревшей функцией.

есть 2 связанных, но различных понятия: параметры и аргументы.

• аргументы-это значения, переданные в функцию.

• параметры-это имена / переменные внутри функции, которые устанавливаются в значения аргументов при вводе функции

в следующем фрагменте:

int foo(int n, char c) {
    ...
}

...

    foo(42, ch);

n и c параметры. 42 и ch аргументы.

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

---

The декларацияvoid func1() означает, что функция func1 можно назвать любое число аргументы, т. е. информация о количестве аргументов не указана (как отдельное объявление, C99 указывает это как " функция без спецификации параметров), тогда как объявление void func2(void) означает, что функция func2 не принимаются аргументы на всех.

цитата в вашем вопросе означает, что в течение определение функции,void func1() и void func2(void) оба сигнализируют им, что нет параметры, т. е. имена переменных, которые установлены в значения аргументов при вводе функции. Элемент void func() {} контрастирует с void func(); первый заявляет, что func действительно не принимает параметров, тогда как последний является объявлением для функции func для чего ни параметры , ни их типы указаны (объявление без прототипа).

однако они все же отличаются определением-Мудрым в этом

• определение void func1() {} не объявляет прототип, тогда как void func2(void) {}, потому что () не является списком типов параметров, тогда как (void) - это список типов параметров (6.7.5.3.10):

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

  и далее 6.9.1.7

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

  Декларатор определения функции для func1 тут не содержат список типов параметров, и, следовательно, функция не имеет прототипа.

• void func1() { ... } еще может вызывается с любым количеством аргументов, в то время как это ошибка времени компиляции для вызова void func2(void) { ... } С любыми аргументами (6.5.2.2):

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

  (выделено мной)

  это ограничения, который согласно стандарту говорит, что соответствующая реализация должны выведите хотя бы одно диагностическое сообщение об этой проблеме. Но так как func1 не имеет прототипа, соответствующая реализация не требуется для производства какой-либо диагностики.

---

однако, если количество аргументов не соответствует равное количество параметров, то поведение не определено6.5.2.2p6:

если выражение, обозначающее вызываемую функцию, имеет тип, который делает не имеется прототип, [...]если число аргументов не равно числу параметров, поведение не определено.

таким образом, теоретически соответствующий компилятор C99 также может ошибаться или диагностировать предупреждение в этом случай. рассказчик при условии, чтолязг может диагностировать это; однако мой GCC, похоже, не делает этого (и это также может потребоваться для того, чтобы он был совместим с каким-то старым неясным кодом):

void test() { }

void test2(void) { }

int main(void) {
    test(1, 2);
    test2(1, 2);
}

когда вышеуказанная программа компилируется с gcc -std=c99 test.c -Wall -Werror вывод:

test.c: In function ‘main’:
test.c:7:5: error: too many arguments to function ‘test2’
     test2(1, 2);
     ^~~~~
test.c:3:6: note: declared here
 void test2(void) { }
      ^~~~~

то есть аргументы вообще не проверяются по параметрам функции, объявление которой в определении не является прототипом (test), тогда как ССЗ считает это-ошибка времени компиляции, чтобы указать аргументы к прототип функции (test2); любая соответствующая реализация должны диагностировать это, как это нарушение ограничений.