Встраивание кода C++

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

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

Гуру недели №33 Саттера отвечает на некоторые ваши вопросы и многое другое.

http://www.gotw.ca/gotw/033.htm

VC++ поддерживает директивы __forceinline и __declspec (noinline), если вы думаете, что знаете лучше, чем компилятор. Подсказка: скорее всего, нет!

Inline - это подсказка компилятора, которая не заставляет компилятор встраивать код (по крайней мере, в C++). Итак, краткий ответ - это компилятор и, вероятно, зависит от контекста, что произойдет в вашем примере. Большинство хороших компиляторов, вероятно, встроили бы оба, особенно из-за очевидной оптимизации постоянного возврата от обеих функций.

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

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

Конкретные приложения и архитектуры также могут привести к встраиванию в качестве оптимизации.

class Foo  
{
  inline int SomeFunc() { return 42; }
  int AnotherFunc() { return 42; }
};

Верно, что оба способа гарантированно компилируют одно и то же. Однако предпочтительнее не использовать ни один из этих способов. Согласно FAQ по C++ вы должны обычно объявлять его внутри определения класса, а затем определять его вне определения класса, внутри заголовка, с явным ключевым словом в соответствии. Как описано в FAQ, это связано с тем, что вы хотите разделить декларацию и определение для удобства чтения других (декларация эквивалентна «что» и определение «как»).

Does inline actually make any difference?

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

Are there any rules on when you should or shouldn't inline code?

Я не знаю каких-либо жестких и быстрых правил, но рекомендуется использовать встроенный код только в том случае, если он вызывается часто и относительно небольшой. Сеттеры и геттеры обычно встроены. Если он находится в особенно требовательной к производительности области кода, следует рассмотреть возможность встраивания. Всегда помните, что вы меняете скорость исполнения на размер исполняемого файла с помощью встраивания.

Я обнаружил, что некоторые компиляторы C++ (например, SunStudio) жалуются, если встроенный в строку опущен, как в

int AnotherFunc() { return 42; }

Поэтому в этом случае я бы рекомендовал всегда использовать ключевое слово inline. И не забудьте удалить ключевое слово inline, если позже вы реализуете метод как фактический вызов функции, это действительно испортит связывание (в SunStudio 11 и 12 и Borland C++ Builder). Я бы посоветовал минимально использовать встроенный код, потому что при пошаговом прохождении кода с помощью отладчика он будет «входить» во встроенный код даже при использовании команды «step over», это может быть довольно раздражающим.

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

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

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

(Я полагаю, что компилятор будет умным, если ему потребуется не встроенный рендеринг функции, как для шаблонных функций, но ...)

Кроме того, чтобы добавить к тому, что сказал Грег, при предварительной оптимизации (например, inline-ing) компилятор обращается не только к ключевым словам в коде, но и к другим аргументам командной строки, чтобы указать, как компилятор должен оптимизировать код.