Встраивание функций

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

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

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

1. Слишком большой размер функции.
2. Функция является рекурсивной. (с этим понятием вы познакомитесь в следующих уроках)
3. Функция повторяется в одном и том же выражении несколько раз
4. Функция содержит цикл, switch или if.

Как видите - всё просто, но inline-функции не единственный способ встраивания.

Помимо вызова функции, для встраивания в программу повторяющегося фрагмента используют, так называемое, раскрытие макро. Для этих целей применяется директива Препроцессора #define, со следующим синтаксисом:

#define Имя_макроса(Параметры) (Выражение)

Пример.

#include <iostream>

#define SQR(X) ((X) * (X)) 
#define CUBE(X) (SQR(X)*(X)) 
#define ABS(X) (((X) < 0)? -(X) : X)

using namespace std;
void main() 
{ 
	у = SQR(t + 8) - CUBE(t - 8) ; 
	cout <<sqrt(ABS(y)) ; 
}

1. C помощью директивы #define объявляются три макроса sqr(x), cube(x) и abs(x).
2. В функции main происходит вызов вышеописанных макросов по имени.
3. Препроцессор раскрывает макро (т. е. подставляет на место вызова выражение из директивы #define) и передает получившийся текст компилятору.
4. После встраивания выражение в main выглядит для программы таким образом:

	у = ((t+8) * (t+8)) - ((((t-8)) * (t-8)) * (t-8)); 
	cout << sqrt(((y < 0)? -(y) : y));

	#define SQR(X) X * X 
	у = SQR(t + 8); //раскроет макро t+8*t+8