Экспорт шаблонов или как испортить жизнь коллегам | OTUS
⚡ Подписка на курсы OTUS!
Интенсивная прокачка навыков для IT-специалистов!
Подробнее

Курсы

Программирование
Backend-разработчик на PHP Алгоритмы и структуры данных Team Lead Архитектура и шаблоны проектирования Разработчик IoT C# Developer. Professional HTML/CSS
-11%
C# ASP.NET Core разработчик
-5%
Kotlin Backend Developer
-8%
iOS Developer. Professional
-8%
Symfony Framework Unity Game Developer. Basic JavaScript Developer. Professional Android Developer. Basic JavaScript Developer. Basic Java Developer. Professional Highload Architect Reverse-Engineering. Professional Java Developer. Basic Web-разработчик на Python Framework Laravel Cloud Solution Architecture Vue.js разработчик Интенсив «Оптимизация в Java» Супер - интенсив по паттернам проектирования Супер - интенсив по Kubernetes Супер-интенсив "Tarantool" PHP Developer. Basic
Инфраструктура
Мониторинг и логирование: Zabbix, Prometheus, ELK Administrator Linux. Professional Дизайн сетей ЦОД Разработчик IoT PostgreSQL Экспресс-курс "Версионирование и командная работа с помощью Git"
-30%
Microservice Architecture Highload Architect MS SQL Server Developer Разработчик программных роботов (RPA) на базе UiPath и PIX Разработчик голосовых ассистентов и чат-ботов Administrator Linux. Advanced Infrastructure as a code Супер-практикум по использованию и настройке GIT Administrator Linux.Basic Экспресс-курс «IaC Ansible» Экспресс-курс «CI/CD или Непрерывная поставка с Docker и Kubernetes» Основы Windows Server
Корпоративные курсы
Безопасность веб-приложений IT-Recruiter Дизайн сетей ЦОД Компьютерное зрение Разработчик IoT Вебинар CERTIPORT Machine Learning. Professional
-6%
NoSQL Пентест. Практика тестирования на проникновение Java QA Engineer. Базовый курс Руководитель поддержки пользователей в IT
-8%
SRE практики и инструменты Cloud Solution Architecture Внедрение и работа в DevSecOps Супер-практикум по работе с протоколом BGP Infrastructure as a code Супер-практикум по использованию и настройке GIT Промышленный ML на больших данных Экспресс-курс «CI/CD или Непрерывная поставка с Docker и Kubernetes» BPMN: Моделирование бизнес-процессов Основы Windows Server
Специализации Курсы в разработке Подготовительные курсы
+7 499 938-92-02

Экспорт шаблонов или как испортить жизнь коллегам

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

#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.
#endif

std::shared_ptr<SomeUsefulClass> create();

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

В чем же проблема?

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

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

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

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

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

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

Что почитать подробнее:
StandardLayoutType_2
StandardLayoutType_2

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

Не пропустите новые полезные статьи!

Спасибо за подписку!

Мы отправили вам письмо для подтверждения вашего email.
С уважением, OTUS!

Автор
2 комментария
0

Бэтмен против Супермена

0

Первая ссылка погибла: страницу перенесли в https://en.cppreference.com/w/cpp/named_req/StandardLayoutType.

Для комментирования необходимо авторизоваться