Rivalry2

HTML Diff

0 added 0 removed

Original 2026-01-01

Modified 2026-03-10

1 Теги: с++, экспорт шаблонов, shared library, dll, std::shared_ptr<someusefulclass>, std::shared_ptr, standart-layout, двойное инстанцирование шаблона, бинарная совместимость

2 Предположим, вам требуется написать разделяемую библиотеку (DLL в терминологии Windows и shared library в мире *nix). Допустим, в библиотеке реализована некоторая фабричная функция, которая создаёт очень полезные для пользователей объекты. Примерно так:

3 #if defined(_MSC_VER) // Microsoft #define EXPORT __declspec(dllexport) #define IMPORT __declspec(dllimport) #elif defined(__GNUC__) // GCC #define EXPORT __attribute__((visibility("default"))) #define IMPORT #else // do nothing and hope for the best? #define EXPORT #define IMPORT #pragma warning Unknown dynamic link import/export semantics. #endifstd::shared_ptr&lt;SomeUsefulClass&gt; create();

4 Если вы действительно написали подобный код, то вы на пороге больших проблем. Вернее, даже не вы, а пользователи библиотеки.

5 <h2>В чем же проблема?</h2>

6 Проблема в двойном инстанцировании шаблонаstd::shared_ptr<SomeUsefulClass>. Первое произойдёт непосредственно при компиляции вашей библиотеки, а второе - в момент компиляции пользовательского кода, который будет использовать библиотеку.

7 А теперь самое главное - никто не может гарантировать, что эти две результирующие версии, казалось бы, одного и того же шаблона будут одинаковыми. Стандарт C++ описывает только интерфейс классаstd::shared_ptr, но не детали реализации.

8 Если библиотека и пользовательский код были собраны разными компиляторами (или даже разными версиями одного и того же компилятора), могут возникнуть проблемы. Можно подумать, что основная проблема - недостаточно полная формулировка стандарта в части описания деталейstd::shared_ptr. Но это не совсем так.

9 Ещё одна проблема заключается в том, что бинарная совместимость гарантируется только дляstandart-layoutтипов данных. Только такие типы можно без опаски использовать на стыке между кодом, который может быть собран разными компиляторами (или разными версиями).

10 <h2>Почему бы стандарту C++ не дать больше гарантий?</h2>

11 Причина всё та же - эффективность. Чем меньше ограничений накладывает стандарт языка, тем больше оптимизаций может выполнить компилятор.

12 Что почитать подробнее:<a>StandardLayoutType_2</a><a>StandardLayoutType_2</a>

13 Остались вопросы? Пишите в комментариях!