Существуют ли какие-либо компиляторы, которые соответствуют стандарту IGNORE C++ о встроенных функциях по умолчанию?

Question

стандарт

C++ ISO говорит, что:

"A function defined within a class definition is an inline function." 

Есть ли компиляторы, игнорирующие это правило?
(пожалуйста, не путайте рядный с встраиваемыми - мой вопрос, если есть компилятор, что привычка ставить там рядный предположение, что он должен)

Answer 1

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

Edit: Просто чтобы прояснить - спрашивающий игнорирует это, из предыдущего пункта в стандарте к тому, что он процитировал:

Реализация не требуется, чтобы выполнить эту инлайн замену в точка вызова

Answer 2

Вы, кажется, неправильно понимаете, что означает «встроенный». Это не означает, что функции будут автоматически встроены; в соответствии с п. 7.1.2-2 это указывает на то, что предпочтительным является встроенное замещение.

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

Answer 3

Компилятор обычно встроен в зависимости от количества вызовов функции, количества псевдо-команд в функции и множества других вещей. Взгляните на GCC documentation on optimization options, чтобы понять, как это происходит. В принципе, ключевое слово inline - это всего лишь подсказка, которая повышает вероятность того, что компилятор будет встроен. Фактическое решение inline обычно сложное.

Answer 4

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

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

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

Answer 5

Смотрите мой ответ на очень похожий вопрос: When is "inline" ineffective? (in C)

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