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

C++ анализируется на токены предварительной обработки. Любые пробелы между такими токенами не имеют значения.

int — токен (ключевое слово). f, x и y — токены (идентификаторы). &, (, ,, ) и { — токены (операторы/пунктуация).

Итак, все нижеследующее полностью идентично и имеет один и тот же смысл:

int&f(int&x, int&y) {

int &f(int &x, int &y) {

int& f(int& x, int& y) {

int & f(int & x, int & y) {

Я думаю, что третий случай вам, вероятно, знаком больше всего. &, о котором вы спрашиваете, является частью возвращаемого типа, объявляя его «ссылкой на int».

Символ & перед объявлением функции в C++ указывает, что функция возвращает ссылку. В предоставленном коде:

#include <simplecpp>

int &f(int &x, int &y) {
    if (x > y) return x;
    else return y;
}

main_program{
    int p=5, q=4;
    f(p,q) = 2;
    cout << p << ' ' << q << endl;
    cout << f(p, q) << endl;
}

Здесь int &f(int &x, int &y) означает, что функция f возвращает ссылку на целое число. Параметры int &x и int &y также означают, что x и y передаются в функцию по ссылке.

Цель возврата ссылки из функции — позволить функции вернуть ссылку на одну из переданных ей переменных, чтобы вызывающая сторона могла изменить ее напрямую. Это демонстрируется в следующей строке:

f(p, q) = 2;

В этой строке f(p, q) возвращает ссылку либо на p, либо на q, в зависимости от их значений. Поскольку p больше q (5 > 4), f(p, q) возвращает ссылку на p. Следовательно, f(p, q) = 2; фактически устанавливает p равным 2.

Давайте разберем вывод шаг за шагом:

1. Изначально p — это 5, а q — 4.
2. f(p, q) возвращает ссылку на p (поскольку p > q).
3. f(p, q) = 2; устанавливает p на 2.
4. cout << p << ' ' << q << endl; печатает значения p и q, которые теперь равны 2 4.
5. cout << f(p, q) << endl; снова вызывает f(p, q), и поскольку p (теперь 2) не больше q (4), он возвращает ссылку на q. Таким образом, он печатает значение q, то есть 4.

Итак, вывод программы будет:

2 4
4

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