Чи варто навіть перевірити, чи Guid.NewGuid () є Guid.Empty?

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

var guid = Guid.NewGuid().ToString();
while (guid == Guid.Empty.ToString())
{
    guid = Guid.NewGuid().ToString();
}

Хоча я розумію, що aa GUID не гарантовано є унікальним, і відповідно до документації MSDN, створений GUID може дорівнювати нулю , чи це практичне врахування, що насправді варто відправляти на тестування циклів як в обчислювальному сенсі, так і з точки зору часу розробника на його роздуми. ?

Я б сказав, що це не варто перевіряти на Guid.Empty. Документи для Guid.NewGuid чомусь згадують про це

Шанс того, що значення нового Guid буде усіма нулями або рівним будь-якому іншому Guid, дуже низький.

Guid.NewGuid - це обгортка для Win32 API CoCreateGuid , яка не згадує про повернення всіх нулів.

Реймонд Чен іде далі , напрошуючи це

жодна дійсна реалізація CoCreateGuid не може генерувати GUID_NULL

Отже, ні, я б не переймався цим. Я не буду здогадуватися, чому документи Guid.NewGuid навіть згадують про це.

Якщо ви виявите, Guid.NewGuid() == Guid.Emptyви виграли найскладнішу лотерею на землі. Не турбуйтеся про перевірку унікальності та зіткнення. Не маючи робити це те , що ідентифікатори GUID є для . Я шкодую вас математики, вона є всюди в Інтернеті.

Також у посібниках Windows завжди є одна "цифра", що дорівнює 4. Існує якась структура для настанов.

Цей фрагмент коду, який ви опублікували, схожий на те, що один розробник забув ініціалізувати Guidзмінну і виявив, що вона є Guid.Empty. Він помилково визначив Guid.NewGuid()причину. Тепер він назавжди забобонно вірить у це.

У будь-якому випадку це неправильне запитання. Я впевнений, що ваш код залежить не тільки від того, хто колись малював, Guid.Emptyа й від унікальності. Цей whileцикл не нав'язує унікальності. Посібники є для створення унікальної цінності без узгодження. Ось такий випадок їх використання.

Подивіться на вихідний код Guid.NewGuidметоду :

public static Guid NewGuid() {
    Contract.Ensures(Contract.Result<Guid>() != Guid.Empty);
    ...
}

Бачите кодовий договір? Guid.NewGuidМетод ніколи не дає порожній GUID.

Якщо ви збираєтеся перевіряти GUID проти нульового GUID, вам за тією ж логікою також потрібно зробити належну ретельність, щоб перевірити його проти всіх інших GUID вашої програми (оскільки ймовірність отримати нуль повинна бути такою ж, як ймовірність отримання будь-якого іншого GUID у вашій програмі *). Вам потрібно зробити це, щоб довести, що аксіома, під якою ви працюєте, полягає в тому, що цей GUID буде унікальним (що насправді є тією ж аксіомою, що і тестування проти 0).

Очевидно робити це абсурдно.

TLDR; Якщо ви можете довіряти NewGuid () для отримання унікальних результатів, ви також можете довіряти йому не створювати жодного відомого GUID.

* Його фактично не така ж ймовірність, як .NET GUIDs завжди відповідає наступному, {________-____-4___-____-____________}тому NewGuid НІКОЛИ не генерує нульову орієнтир

Для розваги я запропонував удосконалити документи тут: http://feedback.msdn.com/forums/257782-msdn-feature-suggestions/suggestions/7143498-fix-documentation-for-newguid