в чем разница между объявлением функции и подписью?

Объявление функции является прототипом функции (или оно может исходить из определения функции, если компилятор не видел прототипа на тот момент) — оно включает тип возвращаемого значения, имя функции и типы параметров ( опционально в С).

Сигнатура функции — это части объявления функции, которые компилятор использует для разрешения перегрузки. Поскольку несколько функций могут иметь одно и то же имя (т. е. они перегружены), компилятору нужен способ определить, к какой из нескольких возможных функций с определенным именем должен обращаться вызов функции. Сигнатура — это то, что компилятор рассматривает в этом разрешении перегрузки. В частности, стандарт определяет «подпись» как:

информация о функции, участвующей в разрешении перегрузки: типы ее параметров и, если функция является членом класса, cv-квалификаторы (если есть) самой функции и класса, в котором объявлена ​​функция-член.

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

Стандарт определяет два термина: объявление и определение. Определение — это предварительная декларация. Однако стандарты C99 и C++03 имеют немного разные определения.

Из черновика С++ 0x:

Приложение C

8.3.5 Изменение: в C++ функция, объявленная с пустым списком параметров, не принимает аргументов. В C пустой список параметров означает, что количество и тип аргументов функции неизвестны.

Определения

1.3.11 подпись

имя и список типов параметров (8.3.5) функции, а также класс, понятие, карта понятий или пространство имен, членом которого она является. Если функция или шаблон функции является членом класса, его сигнатура дополнительно включает квалификаторы cv (если есть) и квалификатор ref (если есть) в самой функции или шаблоне функции. Сигнатура ограниченного элемента (9.2) включает в себя требования к шаблону. Сигнатура шаблона функции дополнительно включает тип возвращаемого значения, список параметров шаблона и требования к шаблону (если таковые имеются). Сигнатура специализации шаблона функции включает в себя сигнатуру шаблона, специализацией которого она является, и его аргументы шаблона (независимо от того, указаны они явно или выведены). [Примечание: подписи используются в качестве основы для искажения имен и ссылок. — примечание в конце]

Сигнатура функции не включает возвращаемый тип или тип связи функции.

Хорошо, Википедия не согласна со мной по поводу включенного типа возвращаемого значения. Однако я знаю, что возвращаемый тип не используется компилятором при принятии решения о том, соответствует ли вызов функции сигнатуре. Этот предыдущий вопрос StackOverflow, кажется, согласен: Является ли возвращаемый тип частью подпись функции?

Также обратите внимание, что const верхнего уровня и volatile для аргумента не являются частью подписи согласно стандарту. Но некоторые компиляторы ошибаются.

e.g.

void f(const int, const char* const);

имеет ту же подпись, что и

void f(int, const char*);

Объявление функции является прототипом. Сигнатура функции указывает тип возвращаемого значения и используемые параметры, составляющие сигнатуру. Учти это:

int foo(int, int);  /* Function Declaration */


/* Implementation of foo 
** Function signature
*/
int foo(int a, int b){
}

Теперь рассмотрим такой сценарий: программиста спрашивают, какова сигнатура функции для foo:

• Он возвращает тип данных int
• Два параметра также имеют тип данных int, названные a и b соответственно.

С другой стороны, прототип функции должен подсказать компилятору C/C++, чего ожидать, и если подпись не совпадает с прототипом, компилятор выдаст ошибку в контексте «ошибка объявления функции» или «несоответствие прототипа».