Не нарушает ли добавление конструктора перемещения двоичную совместимость?
Если я добавлю конструктор перемещения (или оператор присваивания) в свою библиотеку, нарушу ли я бинарную совместимость? Может ли это дополнение каким-либо образом нарушить код пользователя?
class Foo {
public:
Foo();
Foo(Foo const&);
Foo& operator=(Foo const&);
// new methods:
Foo(Foo&&);
Foo& operator=(Foo&&);
};
Решение
По моему мнению, до тех пор, пока вы не добавите член или виртуальную функцию, это не должно влиять на двоичную совместимость, поскольку компоновка объекта не изменяется.
Если один компонент (скажем, общая библиотека, .dll на окнах или .so в Linux) использует старую версию библиотеки, затем она скопирует все экземпляры объекта (даже значения) независимо от того, был ли он создан компонентом, использующим новую библиотеку (и наоборот).
Пока семантика перемещения используется для повышения производительности и, следовательно, полученные перемещенные объекты ведут себя так же, как и скопированные объекты, проблем не должно быть. Единственным отличием будет повышение производительности, вызванное меньшим количеством обращений к памяти [de] и копий (и т. Д.). Если операции перемещения используются для создания другой семантики (перемещенный объект отличается от скопированного объекта), тогда все ставки отключены, но я не думаю, что кто-то сделал бы это специально (кроме, возможно, для обеспечения безопасности работы).
Пока бинарное расположение объекта не меняется, я не вижу, как можно представить какую-либо поломку.
Другие решения
Это определенно нарушает бинарную совместимость в одном направлении: код, скомпилированный для вашей новой библиотеки, не может работать со старой, так как конструктор перемещения не будет найден при компоновке.
Другое направление сложнее. Как правило, это не большая проблема, но код мог Наблюдайте, по крайней мере, наличие нового оператора присваивания с хитростями SFINAE, и в итоге вы получите программу, в которой некоторые части считают, что оператор существует, а другие нет. Это может даже привести к нарушениям ODR, если один и тот же код скомпилирован дважды (один и тот же экземпляр шаблона в разных единицах перевода). И эти нарушения ODR могут снова вызвать ошибки соединения.