主页 / coding / 问题 / 79156800
Accepted
msheridan
Asked: 2024-11-05 03:49:49 +0800 CST

C#：可空泛型类型，意外行为

  • 772

我想知道为什么会出现这种情况，因为它与我的预期相反。这与 C# 中如何解释通用可空类型有关。

  public static int? MyFunction(){
    return default;
  }

  public static T MyFunctionGeneric<T>() {
    return default;
  }

  public static T? MyFunctionGenericNullable<T>(){
    return default;
  }

  public static void main(string[] args){
    Console.WriteLine(MyFunction());
    Console.WriteLine(MyFunctionGeneric<int?>());
    Console.WriteLine(MyFunctionGenericNullable<int>());
  }

正如预期的那样，当我将返回类型定义为int?默认返回值时null。

当我定义一个返回自身类型的泛型时也是这样的，因为int?传入了，所以默认返回值是null。

然而，在第三种情况下，即使返回类型从技术上讲是int?，默认返回值也是0。我必须传入int?作为我的类型参数才能获得null响应。请注意，即使我明确声明return default(T?)

这有点出乎意料，有人可以解释一下吗？

c#

3 个回答

  1. Best Answer

    这一切都非常令人困惑，因为正如文档所述：

    由于历史以及 可空值类型和可空引用类型的不同实现，这些规则必然是详细的。

    继续阅读文档，您会看到问题的答案（以粗体显示）：

    如果 T 的类型参数是引用类型，则 T? 引用相应的可空引用类型。例如，如果 T 是字符串，则 T? 是字符串？。

    如果 T 的类型参数是值类型，则 T? 引用相同的值类型T。例如，如果 T 是 int，则 T? 也是 int。

    如果 T 的类型参数是可空引用类型，则 T? 引用相同的可空引用类型。例如，如果 T 是字符串？，则 T? 也是字符串？。

    如果 T 的类型参数是可空值类型，则 T? 引用相同的可空值类型。例如，如果 T 是 int?，则 T? 也是 int?。

    如果我们想要不同的行为，我们需要使用通用约束。文档没有列出所有有用的约束，在你的情况下应该是where T:struct

    如果与as一起使用，则将使用int?as 返回类型进行编译intT

    public static T? MyFunctionGenericNullable<T>()
where T : struct {
    return default;
}

    并且您将会得到null与前两种情况类似的结果。

    • 4

  2. 在 C# 中，T?根据是T值类型还是引用类型，是两种不同事物的简写。

    T?对于值类型（例如int?，double?）

    当 T 是值类型时，T?是 的简写Nullable<T>。

    T?对于引用类型（可空引用类型）

    从 C# 8.0 开始，当是引用类型（例如 、）T?时，也用于可空引用类型。此功能允许您指示引用类型可以保留空值（无需实际装入包装器）。示例：Tstring?MyClass?Nullable<T>

    string? myString = null; // This is a nullable reference type, not `Nullable<string>`

    在此上下文中，string?表示可空引用类型字符串，该字符串可能包含空值。 T?引用类型的注释仅为编译时注释，提供可空性警告和检查。它不会影响运行时行为或引入Nullable<T>包装器。

    那么通用的呢T？

    一切都与限制有关。

    由于您的示例中没有约束T，因此编译器会default根据T实例化的内容进行不同的处理：

    如果T是引用类型，default将会null因为default对于引用类型 是null。

    如果T是值类型，default将是该类型的默认值（例如，0对于int）。

    您可以约束您的MyFunctionGenericNullable<T>，以便这T是一个具有通用约束的值类型：

    public static T? MyFunctionGenericNullableValueType<T>() where T: struct {
    return default;
}

    ...您将看到最初可能预期的行为。（不返回0。）

    • 3

  3. 原因是将函数标记为返回T?只是意味着它可以返回 null。但此函数中的 类型T仍然int与类型参数中传递的类型相同，但int?转换为完全不同的类型：Nullable<int>。

    • 0

相关问题