Nielegalne typy odniesienia (jeszcze raz)

Question

Było wiele pytań dotyczących obsługi typów odniesienia nieululujących w .NET. Wielką nadzieją były umowy kodowe, ale ogranicza się to do sprawdzania czasu pracy dla tych, którzy mają ograniczony budżet.

Co do podejść innych niż umowy kodowe, Jon Skeet napisał o tym kilka lat temu blog post, a jeden z komentatorów dostarczył przydatnego wyglądu NonNull struct, który zmodyfikował IL, aby wyłączyć domyślny konstruktor. Wydaje się, że jest to doskonałe podejście i mogę sobie wyobrazić rozszerzenie go tak, aby zapewniał wszelkiego rodzaju nie-nullable microtypes. Manipulacja IL może być etapem następującym po uruchomieniu wywołanym przez atrybut na struct, np.

//Microtype representing a non-zero age, so we want to disable the default ctor 
[NoDefaultConstructor] 
public struct Age 
{ 
    public Age(int age) 
    { 
     // Implementation (including validation) elided 
    } 
} 

Zanim przejdę do dalszych rozważań, chciałbym zapytać, czy ktoś wie o jakichkolwiek problemach z tym związanych? Nie byłem w stanie wymyślić żadnego.

Answer 1

Można to łatwo pokonać - czas wykonywania nie próbuje wywołać konstruktora bez parametrów struktury (jeśli jest obecny) w każdym scenariuszu.

W szczególności nie zostanie wywołany podczas tworzenia tablicy typu struct.

Age[] ages = new Age[3]; 

// This guy skips your "real" ctor as well as the "invalid" parameterless one. 
Age age = ages[0]; 

... lub default(structType) wyrażenia:

// Invalid state here too. 
Age age = default(Age); 

Od Jon Skeet na empirical research do tych rzeczy, oto lista innych operacji, które nie wywołać konstruktor:

• Po prostu deklarowanie zmiennej, lokalnej, statycznej lub instancji
• Boks
• Korzystanie default(T) w ogólnej metody
• Korzystanie new T() w ogólnej metody

teraz sytuacja, która pozostawia cię w to, że trzeba jakoś przetestować dla każdego Age przykład, czy instancja został stworzony przez obejście ogrodzenia - co nie jest dużo lepsze niż brak wzniesienia ogrodzenia w pierwszej kolejności.