Как достигнуть стабильности ABI?

Question

[egor_spk]

Здравствуйте, коллеги!
Последнее время плотно занялся изучением вопроса стабильности ABI. Для себя выработал два основных подхода:

• придерживаться некоторых рекомендаций для выбранного компилятора, например, Itanium C++ ABI;
  
• заложить стабильность в дизайн приложения, например, использовать идиому pimpl.
  

По поводу 2 подхода появилось несколько вопросов, на которые хотелось бы получить ответы. Далее вопросы подразумевают, что публичный интерфейс не изменяется и требуется совместимость в рамках одного компилятора.

1. Динамическая загрузка библиотеки (dlopen, LoadLibrary, Boost.DLL). Актуальны ли для этого случая проблемы (как минимум отсутствует искажение имен) ABI?
   
2. Pimpl:
   
   • Влияет ли добавление абстрактного интерфейса на стабильность ABI (появление vtable)?
     
   • Как обыграть шаблонные методы/шаблонный класс?
     
   
   

Извиняюсь за некоторый сумбур. Старался написать кратко.

Answer 1

[Kamil Khamitov]

1 -- в boost.dll есть mangled import
2 -- если не экономиим каждый байт то нет
шаблонные классы используем только на стороне клиента.
Наружу из DLL торчит либо C interface либо классы с PIMPL
А шаблонные хелперы наворачиваются поверх них.
Экспорт/импорт шаблонов из dll зло и не поддерживается вроде никем кроме MSVC

Comments

[egor_spk]

Спасибо за ответ. Немного по первому пункту остались вопросы. Если перефразировать вопрос: при динамической загрузке библиотеки также нужно думать о ABI, как при загрузке через экспортируемые символы (в msvc через .lib)? Если да, то хотелось бы немного пояснения.

[Kamil Khamitov]

ну вообще да, т.к. по сути это тоже поиск в таблице экспорта функции с каким то именем, если у вас dll собрана с 1 msvcrt а вызывающей с другой, и abi какого нибудь std::string который будет в input параметрах отличается то boost.dll вам функциюю то найдет только вот dll код при чтении такого параметра с большой вероятностью навернется

Answer 2

[Vitaly]

По-моему, самый стабильный способ -- это сделать простой C интерфейс у либы и предоставить обёртки на C++, которые пользователь вышей либы уже сам будет компилять. После этого, все ваши проблемы решаться :)
Другое решение -- дождаться 23го стандарта, где, по слухам, ABI C++ стандартизуют. Но это очень оптимистичное ожидание.

Comments

[egor_spk]

Спасибо за ответ.