Стенли Липпман - Язык программирования C++. Пятое издание

Содержимое функции, объявленной встраиваемой (inline) при компиляции, как правило, встраивается по месту вызова. Предположим, что функция shorterString()объявлена встраиваемой, а ее вызов имеет такой вид:

cout << shorterString(s1, s2) << endl;

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

cout << (s1.size() < s2.size() ? s1 : s2) << endl;

Таким образом, во время выполнения удастся избежать дополнительных затрат, связанных с вызовом функции shorterString().

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

// встраиваемая версия функции сравнения двух строк

inline const string &

shorterString(const string &s1, const string &s2) {

return s1.size() <= s2.size() ? s1 : s2;

}

Объявление функции встраиваемой является только рекомендацией компилятору. Компилятор вполне может проигнорировать эту рекомендацию.

На самом деле механизм встраивания применяется в процессе оптимизации объектного кода, в ходе которого код небольших функций, вызов которых происходит достаточно часто, встраивается по месту вызова. Большинство компиляторов не будет встраивать рекурсивные функции. Функция на 75 строк также, вероятно, не будет встроена.

Функция constexpr— это функция, которая может быть применена в константном выражении (см. раздел 2.4.4). Функция constexprопределяется как любая другая функция, но должна соответствовать определенным ограничениям: возвращаемый тип и тип каждого параметра должны быть литералами (см. раздел 2.4.4), тело функции должно содержать только один оператор return:

constexpr int new_sz() { return 42; }

constexpr int foo = new_sz(); // ok: foo - константное выражение

Здесь функция new_szопределена как constexpr, она не получает никаких аргументов. Компилятор может проверить (во время компиляции), что вызов функции new_sz()возвращает константное выражение, поэтому ее можно использовать для инициализации переменной constexprпо имени foo.

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

Тело функции constexprможет содержать другие операторы, если они не выполняют действий во время выполнения. Например, функция constexprможет содержать пустые операторы, псевдонимы типа (см. раздел 2.5.1) и объявления using.

Функции constexprпозволено возвратить значение, которое не является константой:

// scale(arg) - константное выражение, если arg - константное выражение

constexpr size_t scale(size_t cnt) { return new_sz() * cnt; }

Функция scale()возвратит константное выражение, если ее аргумент будет константным выражением, но не в противном случае:

int arr[scale(2)]; // ok: scale(2) - константное выражение

int i = 2; // i - неконстантное выражение

int a2[scale(i)]; // ошибка: scale(i) - неконстантное выражение

Если передать константное выражение (такое как литерал 2), возвращается тоже константное выражение. В данном случае компилятор заменит вызов функции scale()результирующим значением.

Если происходит вызов функции scale()с выражением, которое не является константным (например, объект iтипа int), то возвращается неконстантное выражение. Если использовать функцию scale()в контексте, требующем константного выражения, компилятор проверит, является ли результат константным выражением. Если это не так, то компилятор выдаст сообщение об ошибке.

Функция constexprне обязана возвращать константное выражение.

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