В C # 8.0 мы можем иметь обнуляемые ссылочные типы. Документы утверждают, что существует 4 типа обнуляемости. Первые 3 довольно понятны, но я не понимаю смысла «неизвестного». В документах говорится, что он используется с обобщениями, но когда я пытаюсь вызвать метод для неограниченной переменной типа T в обобщениях, он просто предупреждает, что тип обнуляемый. Я не вижу разницы между неизвестным и обнуляемым. Почему существует неизвестное? Как это проявляется?
Ответы:
Возьмите следующий общий метод:
public static T Get<T>(T value)
{
return value;
}Если мы называем это как Get<string>(s), возврат не обнуляемый, и если мы делаем Get<string?>(s), это обнуляемый.
Однако, если вы вызываете его с универсальным аргументом, подобным Get<T>(x)и Tне разрешенным, например, это универсальный аргумент для вашего универсального класса, как показано ниже ...
class MyClass<T>
{
void Method(T x)
{
var result = Get<T>(x);
// is result nullable or non-nullable? It depends on T
}
}Здесь компилятор не знает, будет ли он в конечном итоге вызываться с типом NULL или NULL.
Существует новое ограничение типа, которое мы можем использовать для сигнализации, который Tне может быть нулевым:
public static T Get<T>(T value) where T: notnull
{
return value;
}Однако там, где нет Tограничений и все еще открыто, обнуляемость неизвестна.
Если эти неизвестные были обработаны как обнуляемые, вы можете написать следующий код:
class MyClass<T>
{
void Method(T x)
{
var result = Get<T>(x);
// reassign result to null, cause we we could if unknown was treated as nullable
result = null;
}
}В случае, если Tне было обнуляемым, мы должны были получить предупреждение. Таким образом, с неизвестными типами обнуляемости мы хотим получать предупреждения при разыменовании, а также предупреждения о возможном назначении null.