Вопросы о «двоичной совместимости между Visual Studio 2015 и Visual Studio 2017»

https://docs.microsoft.com/en-us/cpp/porting/binary-compat-2015-2017?view=vs-2017 говорит, что двоичная совместимость C ++ между Visual Studio 2015 и Visual Studio 2017 гарантирована, за исключением:

1) Когда статические библиотеки или объектные файлы компилируются с помощью параметра компилятора / GL.

2) При использовании библиотек, созданных с использованием набора инструментов, версия которого больше, чем набор инструментов, использованный для компиляции и компоновки приложения. Например, программа, скомпилированная и связанная с версией компилятора 19.12, может использовать библиотеки, скомпилированные с 19.0 до 19.12. Кроме того, двоичная совместимость существует только между Visual Studio 2015 и Visual Studio 2017; связывание программ 19.x с библиотеками, созданными Visual Studio 2013 или более ранней версии, не поддерживается.

Исключение 2 сбивает меня с толку. Почему двоичная совместимость не может быть гарантирована в этом случае?

Давайте сделаем это более конкретным. Предоставляется папка, которая содержит пользовательский исполняемый файл, пользовательскую библиотеку DLL и часть библиотеки DLL vc_toolset (v140 или v141). И пользовательский exe, и пользовательский dll динамически связаны с частью dll vc_toolset, которая включает в себя CRT dll, msvcp140.dll, vcruntime140.dll. Кроме того, опция / GL не включена.

Я перечислю несколько комбинаций ниже. Я удивляюсь бинарной совместимости каждого из них.

1) exe, собранный vs2015 + dll, собранный vs2015 + v140, набор инструментов dll из vs2015

Я думаю, что двоичная совместимость может быть гарантирована в этом случае.

2) exe, созданный vs2015 + dll, созданный vs2015 + v141 dll из vs2017

на основании случая 1, кроме того, dll набора инструментов были заменены более новой версией, которая поставляется с vs2017.

Кроме того, я думаю, что двоичная совместимость может быть гарантирована в этом случае.

3) exe построен на vs2015 + dll перестроенный vs2017 + v140 инструментарий dlls vs2015

Основываясь на случае 1, пользовательская библиотека DLL была перестроена с использованием vs2017. Тогда есть два варианта:

а) просто замените dll, и exe не будет перестроен с использованием новой библиотеки импорта dll

б) заменить DLL и перестроить исполняемый файл с использованием новой библиотеки импорта DLL.

Согласно исключению 2 вышеупомянутой ссылки, двоичная совместимость не может быть гарантирована в a) и b) случае. Но почему ? Все интерфейсы и зависимости пользовательского dll не изменены, и это не зависит от новой функции v141.

4) exe построен на vs2015 + dll перестроенный vs2017 + набор инструментов dll vs2017 vs1

На основании случая 3, кроме того, dll набора инструментов были заменены более новой версией, которая поставляется с vs2017.

5) EXE перестроенный vs2017 + dll, построенный vs2015 + набор инструментов dll vs2015 v140

основанный на случае 1, пользовательский exe-файл был перестроен с использованием vs2017 и связан с импортом lib пользовательского dll, который был ранее собран vs2015

По приведенной выше ссылке, я думаю, что двоичная совместимость может быть гарантирована в этом случае.

6) EXE перестроенный vs2017 + dll, созданный vs2015 + набор инструментов dll из vs2017 vs2017

на основании случая 5, кроме того, dll набора инструментов были заменены более новой версией, которая поставляется с vs2017.
если случай 5 и случай 2 могут быть гарантированы, я думаю, что это также гарантировано в этом случае.

Правильно ли мое понимание?