如何检查是否使用可为空的泛型参数调用泛型函数

问题描述

我正在尝试编写一个泛型函数，该函数的行为取决于是否使用允许空值的参数调用它。 在 C#8 之前的世界中，我使用的是这样的东西：

T MyFunc<T>()
{
  object value = SomeExternalFunctionCall();
  if (value == null)
  {
    if (typeof(T).AcceptsNulls())
    {
      return null;
    }
    else
    {
      throw new Exception($"{typeof(T).Name} does not support nulls");
    }
  }
  return (T)value;
}

其中AcceptsNulls()是这样的：

public static bool IsAcceptNulls(this Type type)
{
  if (type.IsValueType)
  {
    if (Nullable.GetUnderlyingType(type) != null)
    {
      return true;
    }
    return false;
  }
  return true;
}

因此， MyFunc对引用类型和值类型都能很好地工作，并适当支持可为空值类型。

但现在我想将它放在一个启用可空引用类型的代码中。 而且我希望它能够区分MyFunc<object>()和MyFunc<object?>()情况，因此在前一种情况下处理空值时会抛出，但在后一种情况下不会。

很明显，我无法通过类型检查来检查这一点，因为引用类型可为空性是一个编译时功能。

我怎么能这样做？ 有可能吗？

更新

似乎我的意图不清楚，所以我会更详细地介绍。

我有一些产生值的代码。 有时它可能会产生空值。 我想让我的代码用户能够决定他是否想从我的代码中获取空值。

对于可为空的结构，它确实可以正常工作：

int noNullsForThisVariable = MyFunc<int>();

int? nullsAreOkHere = MyFunc<int?>();

我现在想为引用类型提供相同的行为。

让我解释一下为什么您的方法根本不适用于引用类型。 （至少在 c# 8 之前。这种行为可能会在未来的 c# 版本中改变）

因为引用类型在运行时总是可以为空的，所以 Type 本身没有区别。

这可能就是你不能这样做的原因： typeof(string?) 你会得到一个错误，比如：“typeof cannot be used for nullable reference types”

但这并不一定意味着编译不会添加可区分的属性或类似的东西。 （确实可能是）

但是我们可以说，如果两种类型的字符串的 GetType() 都会产生相同的类型实例，那么这根本不可能是不同的类型。

使用以下代码自行检查。

    string nonNullableString = "3434";
    string? nullableString = "3434";

    var nnStringType = nonNullableString.GetType();
    var stringType = nullableString.GetType();

    var isEqual = nnStringType == stringType; // true
    if(object.ReferenceEquals(nnStringType, stringType)) // true
        Debug.Print("it's the same object");

可为空和不可为空的字符串属于同一类型。