Насколько детерминированный.Net GUIDs?

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

существует несколько вещей как это, что я уже встретился:

• Атрибуты, не бывшие способные быть универсально
• Неспособность для X для получения из X.Y (вложенный класс в X)
• поля общественности использования блоков Итератора в сгенерированных классах

В каждом из этих случаев, было бы возможно получить немного больше свободы, за счет дополнительной сложности в компиляторе. Команда сделала прагматический выбор, за который я хвалю их - у меня был бы немного более строгий язык с точным компилятором на 99,9% (да, существуют ошибки; я столкнулся один на ПОЭТОМУ просто на днях), чем более выразительный язык, который не мог скомпилировать правильно.

РЕДАКТИРОВАНИЕ: вот псевдодоказательство того, как это, почему это выполнимо.

Полагают что:

• можно удостовериться, что сама часть возврата урожая не выдает исключение (предварительно вычислите значение, и затем Вы просто устанавливаете поле и возвращаете "true")
• , Вам разрешают попытку/выгоду, которая не использует возврат урожая в блоке итератора.
• Все локальные переменные в блоке итератора являются переменными экземпляра в сгенерированном типе, таким образом, можно свободно переместиться, код к новым методам

Теперь преобразуйте:

try
{
    Console.WriteLine("a");
    yield return 10;
    Console.WriteLine("b");
}
catch (Something e)
{
    Console.WriteLine("Catch block");
}
Console.WriteLine("Post");

в (вид псевдокода):

case just_before_try_state:
    try
    {
        Console.WriteLine("a");
    }
    catch (Something e)
    {
        CatchBlock();
        goto case post;
    }
    __current = 10;
    return true;

case just_after_yield_return:
    try
    {
        Console.WriteLine("b");
    }
    catch (Something e)
    {
        CatchBlock();
    }
    goto case post;

case post;
    Console.WriteLine("Post");


void CatchBlock()
{
    Console.WriteLine("Catch block");
}

единственное дублирование находится в установке блоков попытки/выгоды - но это - что-то, что компилятор может, конечно, сделать.

я, возможно, пропустил что-то здесь - если так, сообщите мне!