3

Является ли функция, определённая вне класса, используя спецификатор inline, inline? Можно ли в объявлении не использовать inline, а в определении - использовать?

struct S {
    void foo();
};

inline void S::foo() {}

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

12
  • а Вам не кажется, что В первой строке содержится логическое противоречие?
    – KoVadim
    5 мая 2022 в 7:44
  • @KoVadim вне класса vs inline? inline же не строго означает "внутри класса", так что нет, не кажется
    – jason
    5 мая 2022 в 7:47
  • я думаю, все зависит от того, что Вы понимаете под inline.
    – KoVadim
    5 мая 2022 в 7:49
  • @KoVadim то, что по ссылке приведено - The inline specifier, when used in a function's decl-specifier-seq, declares the function to be an inline function. Первый inline - спецификатор/ключевое слово, а второй - inline-функция
    – jason
    5 мая 2022 в 7:50
  • ну вот собственно Вы сами и ответили на свой вопрос - есть спецификатор inline - это inline функция.
    – KoVadim
    5 мая 2022 в 7:52

2 ответа 2

1

Метод может быть inline в 5 случаях:

  1. Объявлен c inline, затем определен без inline:
struct S
{
    inline void foo();
};

void S::foo() {}
  1. Объявлен c inline, затем определен c inline:
struct S
{
    inline void foo();
};

inline void S::foo() {}
  1. Объявлен без inline, затем определен c inline:
struct S
{
    void foo();
};

inline void S::foo() {}
  1. Объявлен c inline и сразу определен в теле класса:
struct S
{
    inline void foo() {}
};
  1. Объявлен без inline и сразу определен в теле класса, который не экспортируется:
struct S
{
    void foo() {}
};

Если класс экспортируется из модуля, то метод уже не будет inline, это стоит иметь ввиду при переводе существующего кода на модули:

export module test;

export struct S
{
    void foo() {}
};

ЗЫ еще есть шаблоны, но это другая история

-1

Если определение функции_члена выполняется в той же области видимости, что и объявление класса, то она автоматически легко встраивается. Так что:

{
    struct S {
        void foo();
    };
    inline void S::foo() {}
}

или

{
    struct S {
        void foo();
    };
    void S::foo() {}
}

или

{
    struct S {
        void foo(){}
    };        
}

ничем не отличаются.

12
  • Ну 2 и 3 случай точно отличаются из документации
    – jason
    5 мая 2022 в 8:37
  • 1
    2 случай - это точно не inline
    – KoVadim
    5 мая 2022 в 8:39
  • компиляторы могут свободно использовать встроенную подстановку для любой функции, которая не помечена как встроенная, и могут генерировать вызовы функций для любой функции, помеченной как встроенная. @KoVadim, докажите, что для второго случая не разрешено несколько определений, и я соглашусь, По какой логике она не может быть встроенная, я не пойму. 5 мая 2022 в 8:50
  • 1
    Вы путаете две штуки - модификатор inline и факт встраивания. Они хоть и рядом, но нет. А вот вызвать виртуальный метод не выйдет (в ввиду отсутствия такого в с++). Но вот вызов вирутальной функции-члена - почему нет.
    – KoVadim
    5 мая 2022 в 9:20
  • 2
    м, я понимаю Ваше негодование, но автор спрашивал о том, как применяется спецификатор inline. А Ваш ответ заключается в том, может ли функция встраиваться вообще. Подумайте об этом и поймете, что Вы обижаетесь на придуманную собой же проблему.
    – KoVadim
    5 мая 2022 в 15:07

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.