Некоторое время назад Я спросил , потребует ли добавление полей в struct общей библиотеки значительного или незначительного изменения в строке версии в соответствии с семантическим версионированием.Несколько участников были склонны предлагать серьезные изменения.
Прошли месяцы, и я еще не добавил ни одного поля в свои struct.Но сейчас это может быть подходящее время для этого.
Однако в то же время я также думал о том, как это может нарушить бинарную совместимость с программами, скомпилированными с предыдущими версиями моей библиотеки, и, честно говоря, на столько жекак я думал, я не нашел ни одного возможного сценария, где бинарная совместимость нарушается.
Новые поля добавляются в конец структуры, и тот, кто использует мою библиотеку, обычно не выделяет этот struct ему-/ самой, но получает указатель на него в качестве аргумента функции обратного вызова.Это все, что моя библиотека делает с этим, пользователю никогда не нужно вызывать библиотеку, используя этот struct.
Возможны два сценария, когда старая программа запускается с новой версией библиотеки:
- При нормальных обстоятельствах (т. Е. Старая программа получает указатель на этот
struct и считывает необходимые поля), теперь моя библиотека будет отправлять указатель на больший struct, ностарая программа не знает об этом и не заботится. - Если старая программа по неизвестным причинам выделяет это
struct для себя, она все равно выделяет меньшую структуру (это то, что программаЯ знал, когда это было действительно скомпилировано), но моя библиотека не знает об этом и не заботится, так как ей никогда не нужно получать этот struct от пользователя, он только отправляет его как указатель.
В предыдущем обсуждении кто-то также опубликовал эту цитату из Linux Program Library HOWTO - §3.6.Несовместимые библиотеки :
Когда новая версия библиотеки несовместима со старой в двоичном формате, сонама должна быть изменена.В C есть четыре основные причины, по которым библиотека перестает быть двоично-совместимой:
Поведение функции изменяется так, что она больше не соответствует своей первоначальной спецификации,
Изменение экспортируемых элементов данных (исключение: добавление необязательных элементов к концам структур разрешено, , если эти структуры размещены только в библиотеке ).
Экспортируемая функция удаляется.
Интерфейс экспортируемой функции изменяется.
Случайнет.2, кажется, говорит о непрозрачных структурах.Мой struct не непрозрачен, но ситуация очень похожа.Но реальная суть в том, что, как я уже сказал, мне не удалось найти ни одного сценария, в котором двоичная совместимость будет нарушена после этого изменения.
Таким образом, вопрос остается прежним: это незначительный илиизменение основной версии?