類型&#39;T&#39;必須是非可空值類型，以便在泛型類型或方法&#39;System.Nullable中將其用作參數&#39;T&#39; <T> “

Question

為什么我在以下代碼中收到此錯誤？

void Main()
{
    int? a = 1;
    int? b = AddOne(1);
    a.Dump();
}

static Nullable<int> AddOne(Nullable<int> nullable)
{
    return ApplyFunction<int, int>(nullable, (int x) => x + 1);
}

static Nullable<T> ApplyFunction<T, TResult>(Nullable<T> nullable, Func<T, TResult> function)
{
    if (nullable.HasValue)
    {
        T unwrapped = nullable.Value;
        TResult result = function(unwrapped);
        return new Nullable<TResult>(result);
    }
    else
    {
        return new Nullable<T>();
    }
}

Answer 1

代碼有幾個問題。 第一個是你的類型必須是可空的。 您可以通過指定where T: struct來表達它。 您還需要指定where TResult: struct因為您也將其用作可空類型。

一旦你修復了where T: struct where TResult: struct你還需要改變返回值類型（這是錯誤的）和其他一些東西。

在解決了所有這些錯誤並簡化之后，你最終得到了這樣的結論：

static TResult? ApplyFunction<T, TResult>(T? nullable, Func<T, TResult> function)
                where T: struct 
                where TResult: struct
{
    if (nullable.HasValue)
        return function(nullable.Value);
    else
        return null;
}

請注意，您可以將Nullable<T>重寫為T? 這使事情更具可讀性。

你也可以把它寫成一個語句使用?:但我不認為它是可讀的：

return nullable.HasValue ? (TResult?) function(nullable.Value) : null;

---

您可能希望將其放入擴展方法中：

public static class NullableExt
{
    public static TResult? ApplyFunction<T, TResult>(this T? nullable, Func<T, TResult> function)
        where T: struct
        where TResult: struct
    {
        if (nullable.HasValue)
            return function(nullable.Value);
        else
            return null;
    }
}

然后你可以寫這樣的代碼：

int? x = 10;
double? x1 = x.ApplyFunction(i => Math.Sqrt(i));
Console.WriteLine(x1);

int? y = null;
double? y1 = y.ApplyFunction(i => Math.Sqrt(i));
Console.WriteLine(y1);

Answer 2

正如錯誤所示，編譯器無法保證T不會是可空的。 您需要向T添加約束：

static Nullable<T> ApplyFunction<T, TResult>(Nullable<T> nullable, 
    Func<T, TResult> function) : where T : struct 
                                 where TResult : struct