Блог

Мне было интересно, есть ли простой способ использовать определения как встроенные внутри общей библиотеки, но при этом экспортировать символы для импорта другим приложением.

В соответствии с буквой стандарта это невозможно.

[dcl.inline]
6. Встроенная функция или переменная должна быть определена в каждой единице перевода, в которой она используется с использованием odr, и должна иметь точно такое же определение в каждом случае […] Если функция или переменная с внешней связью объявлена встроенной в одной единице перевода, она должна быть объявлена встроенной во всех единицах перевода, в которых она появляется; диагностика не требуется.

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

у gcc есть способ экспортировать inline функции. Попробуйте -fkeep-inline-functions или __attribute__((used)) . Неясно, насколько это полезно в контексте C , поскольку в соответствии с правилами вы должны экспортировать определения встроенных функций для всеобщего обозрения, а затем они будут встроены клиентом вашей разделяемой библиотеки. Clang поддерживает только __attribute__((used)) .

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

1. Встроенная функция или переменная должна быть определена в каждой единице перевода, в которой она используется odr — игнорируйте это. Просто не определяйте это, когда вы не компилируете библиотеку. Пометьте его __attribute__((used)) , чтобы выдавался символ.

    class X {
      inline void foo();
   };
   
   #ifdef BUILDING_SHARED_LIB
      void __attribute__((used)) X::foo() {}
   #endif
     

2. оно должно быть объявлено встроенным во всех единицах перевода, в которых оно появляется — игнорируйте это. Просто не объявляйте это inline (и, конечно, не определяйте его), когда вы не компилируете библиотеку. Пометьте его __attribute__((used)) , чтобы выдавался символ.

    class X {
      void foo();
   };
   
   #ifdef BUILDING_SHARED_LIB
      inline void __attribute__((used)) X::foo() {}
   #endif
     

Похоже, что оба метода работают для меня, однако, как я уже сказал, никаких гарантий быть не может, поскольку это UB в соответствии со стандартом. Однако Itanium ABI не заботится о том, объявлена ли функция встроенной или нет, поэтому, возможно, можно рассматривать ABI как дающий гарантию в случае 2. Я не могу ручаться за это.

Вы можете использовать оболочку для экспорта:

 // public header
MY_DLL_INTERFACE void foo(void);

// private header
inline void foo_impl(void) { … }

// impl
void foo(void) { foo_impl(); }