Dlaczego w niebezpiecznych sekcjach oczekuje się zabronienia?

Question

Zgodnie z http://blogs.msdn.com/b/pfxteam/archive/2012/04/12/async-await-faq.aspx słowo kluczowe await jest zabronione wewnątrz bloku unsafe, wspominając jedynie o "trudnościach związanych z zachowaniem niezarządzanych wskaźników". Czy istnieje dobre wyjaśnienie na temat tych trudności?

Answer 1

Dwie podstawowe rzeczy, które musisz wiedzieć. Metoda asynchroniczna zostaje przepisana przez kompilator C# na małą klasę z niewypowiedzianą nazwą, która otacza automat stanów. Zmienne lokalne metody asynchronicznej stają się polami tej klasy.

Niebezpieczny kod często polega na możliwości tworzenia wskaźników do zmiennych lokalnych. Stwierdzenie ustalone jest taka, tworzy ukrytą zmienną lokalną, które garbage collector może zobaczyć i tym samym aktualizuje się, gdy pojawia się kolekcja śmieci, która przenosi tablicę, która jest naprawiana. Tworzenie wskaźników na zmienne lokalne jest w porządku, zmienne te nie podlegają przeniesieniu przez garbage collector. Stos wątku zawsze znajduje się w stałej lokalizacji w przestrzeni adresowej pamięci wirtualnej.

Połączyć dwa i zobaczysz problem, zmienna lokalna może zamienić się w pole klasy, pole, którego adres zmienia się, gdy nastąpi wywóz śmieci. Nagle przekierowanie niebezpiecznego kodu do łamania kodu.

fragment kodu, który demonstruje problem:

class Example { 
    int field; 
    unsafe void Method() { 
     int local = 42; 
     int* p = &local; // fine 
     int* q = &field; // CS0212 
    } 
} 

C# zespół mógłby podjęły starania, aby dokładnie przeanalizować przypadki, w których kod jest nadal niebezpieczny porządku po przepisywanie. Ale niektóre przypadki po prostu nie dają się naprawić, jak na przykład poprawiona instrukcja. Mnóstwo pracy, aby dać programistom niezadowalającą wiadomość, często z oszałamiającego powodu. Przy zdrowych zmysłach wystarczyło po prostu ogłosić niebezpieczny kod poza limitami.