Як саме функціонує властивість „Конкретна версія” посилання на збірку у Visual Studio?

Сьогодні я детальніше ознайомився з властивістю "Специфічної версії" посилань на збирання у Visual Studio 2010. Після кількох експериментів з несподіваними результатами я поставив собі за мету дізнатися якнайбільше про те, як працює цей ресурс. Навіть ТАК, мені здається, не має всіх відповідей, тож ось моя спроба самостійно відповісти на питання:

Як саме працює властивість "Конкретна версія" збірки довідок у Visual Studio?

Це властивість часу компіляції!

Однією з найважливіших речей, яку потрібно знати, є те, що "Конкретна версія" - це властивість, яка набуває чинності під час компіляції, а не під час виконання.

Про що це все?

Коли проект будується, посилання на складання проекту повинні бути вирішені, щоб знайти фізичні збірки, якими повинна використовувати система збирання. Якщо перевірка "Конкретної версії" виконується (див. Розділ "Коли перевіряється" Конкретна версія "?"), Це впливає на результат процесу вирішення монтажу:

• Система збирання знаходить фізичну збірку, яку вона потенційно може використовувати
• Система збірки порівнює версію фізичної збірки з версією збірки, що зберігається у файлі .csproj для посилання на збірку
• Якщо дві версії збірки абсолютно однакові, процес роздільної здатності успішний, і знайдена фізична збірка використовується для збірки
• Якщо дві версії збірки не збігаються, фізична збірка відміняється, і процес роздільної здатності триває шляхом знаходження наступної потенційної збірки
• Якщо більше потенційних фізичних вузлів не може бути розміщено, процес роздільної здатності не вдається. Це призводить до попередження компілятора (попередження MSB3245), яке повідомляє, що посилання неможливо було вирішити.
• Цікаво, що збірка продовжується! Якщо в коді немає фактичних посилань на збірку, збірка вдається (з попередньо згаданим попередженням). Якщо в коді є посилання, збірка не вдається з помилкою, схожою на те, що в коді використовуються невідомі типи або простори імен. Єдине свідчення, чому збірка дійсно не вдалася, - це попередження MSB3245.

Порядок, в якому вирішуються збірки

Порядок, в якому процес роздільної здатності збирання знаходить потенційні збірки, виглядає таким:

1. Вузол , на який посилається <HintPath>елемент в файлі .csproj
2. Шлях виведення проекту
3. GAC

Зауважте, що якщо в GAC існує декілька версій збірки, процес роздільної здатності спочатку намагається вирішити цю збірку з найвищою версією. Це важливо лише в тому випадку, якщо перевірка "Конкретна версія" не робиться.

Коли перевіряється "Конкретна версія"?

Visual Studio базує своє рішення про те, чи слід перевірити "конкретну версію" на двох відомостях, знайдених у файлі .csproj:

• Наявність або відсутність <SpecificVersion>елемента та його значення (якщо він присутній)
• Наявність або відсутність інформації про версію в довідці про збірку

Ось як виглядає типова посилання на збірку з інформацією про версію:

<Reference Include="Foo, Version=1.2.3.4, Culture=neutral, processorArchitecture=MSIL">
  <SpecificVersion>True</SpecificVersion>
  <HintPath>..\..\Bar\Foo.dll</HintPath>
</Reference>

Ось так виглядає посилання на збірку без інформації про версію:

<Reference Include="Foo">
[...]

Наступна таблиця показує, коли виконується перевірка "Конкретної версії" та коли її немає.

                            |     Version information
                            |  Present       Not present
----------------------------+------------------------------
<SpecificVersion>           |
- Present, has value True   |    Yes (1)        Yes (check always fails) (2)
- Present, has value False  |    No  (3)        No (4)
- Not present               |    Yes (5)        No (6)

Дивним є те, що перевірка не виконується, якщо <SpecificVersion>і інформація про версію відсутня (випадок 6). Я б очікував, що перевірка буде виконана і завжди буде невдалою (так само, як і у випадку 2), оскільки, наскільки я розумію, відсутність <SpecificVersion>передбачає значення за замовчуванням "True". Це може бути вигадка Visual Studio 2010, де я робив свої тести.

Коли ви вивчаєте властивості посилання на збірку в інтерфейсі Visual Studio (виберіть посилання та натисніть F4), значення, яке ви бачите для властивості "Конкретна версія", повідомляє вам, чи збирається Visual Studio виконувати "Конкретну версію" перевірити. У випадку 6 користувальницький інтерфейс покаже "True", хоча <SpecificVersion>елемент відсутній у файлі .csproj.

Побічні ефекти для "Копіювати локальний"

Якщо для властивості "Copy Local" встановлено значення "True", але процес роздільної здатності збірки не вдається через перевірку "Specific Version", жодна збірка не копіюється.

Довідковий матеріал

• Що вам потрібно знати про посилання на збірки у VS2005 (стаття blogs.msdn.com)
• Що нового у .NET 2.0 для зборів та версій? (стаття codemag.com, яка відтворює вищевказану статтю MSDN, до редакції, але містить кілька знімків екрана та додаткову інформацію про версію збірки)

Коли ви додаєте посилання, Visual Studio записує [AssemblyVersion] збірки у файл проекту. Це важливо. Якщо ви, скажімо, створили виправлення помилок через рік пізніше, тоді ви хочете переконатися, що ви відновите проект із точно такою ж версією посилання, щоб це було справжньою програмою. Ви отримаєте помилку, якщо довідкова збірка змінилася.

Але це не завжди бажано. Деякі програмісти дозволяють автоматично збільшити версію збірки, генеруючи нову версію кожного разу, коли вони відновлюються. Навіть незважаючи на те, що публічний інтерфейс зборів ніколи не змінювався. Деякі налаштовують свій проект, використовуючи Nuget для отримання бібліотек, і дозволяють йому автоматично оновлювати бібліотеку, коли є новий випуск. Їм подобається встановити властивість Specific Version на False, щоб придушити помилку компіляції.

Дуже важливо, щоб зрозуміти наслідок, вам потрібно переробити всю складову програми, щоб уникнути аварій. Невідповідність версій під час виконання програми збоїв у програмі і може бути придушена лише <bindingRedirect>за допомогою файлу .config, який є ризиковим.