RP
Практика, в общем, одна: extern "C".
а как защититься от протекания С++ типов, к примеру, std::string?
Size: a a a
2020 April 25
AB
Статик ассертами обложить
RP
static_assert(is_pod)?
AB
а как защититься от протекания С++ типов, к примеру, std::string?
Оборачивать в экстерн целиком файл
AB
static_assert(is_pod)?
is_trivial
AB
Но проверить, объявлен ли тип в экстерн блоке, вроде нельзя
SE
clang например
warning: 'foo' has C-linkage specified, but returns user-defined type 'std::string' (aka 'basic_string<char, char_traits<char>, allocator<char> >') which is incompatible with C [-Wreturn-type-c-linkage]
AB
а как защититься от протекания С++ типов, к примеру, std::string?
Проверить в тестах, что все необходимое линкуется в си
A
Artöm Bakri Al-Sarmini
Но проверить, объявлен ли тип в экстерн блоке, вроде нельзя
Можно переррузиться и получить факап
RP
clang например
warning: 'foo' has C-linkage specified, but returns user-defined type 'std::string' (aka 'basic_string<char, char_traits<char>, allocator<char> >') which is incompatible with C [-Wreturn-type-c-linkage]
Действительно. Вернуть не получится. Но такой проверки на аргументы нет
RP
спасибо. буду думать
DF
Ещё про эксепшны на границе линкажа надо помнить
DF
Ну и , поправьте если не актуально , секции _ctors / _dtors в бинарнике если компилятор их добавляет для статических конструкторов библиотечных переменных
DF
static_assert наверное ещё надо на is_standart_layout помимо тривиала, так как в случае наличия приватных полей сишка может обосраться
DF
Дело в том , что приватные поля не превращают класс в нетривиальный сами по себе
ЮП
Artöm Bakri Al-Sarmini
Эпичный костыль
Не для релиза, типа checked build
AB
Не для релиза, типа checked build
Смысл тогда в этом checked?
AB
Проверяться должен тот же код, что в прод идет
ЮП
Artöm Bakri Al-Sarmini
Смысл тогда в этом checked?
Собрать Checked Build, прогнать тесты, на этом месте не завалится - а другие AV вылезут
ЮП
Artöm Bakri Al-Sarmini
Проверяться должен тот же код, что в прод идет
Сборки Checked Build никогда не идут в прод, т.к. они тормозят безбожно. А в будущем, конечно, как минимум надо все строки терминировать нулями.