具有可为空参数的通用重载方法调用具体类型

Question

我希望能够调用具有 Nullable 参数的通用 foo 方法。当 Foo 方法的主体调用 Foo() 时，它会递归，导致堆栈溢出（没有 .com）。有没有办法让 if 语句中的调用使用运行时类型调用正确的重载？

我知道更改名称会做到这一点，并且我理解为什么会发生递归，但不知道另一种写法。

感谢收看。

class Program {
    static void Main(string[] args) {
        int? x = 5;
        int y = 10;
        Foo(x, y);
    }

    static void Foo<T>(Nullable<T> arg, T defaultValue) where T : struct {
        if (arg.HasValue)
            Foo(arg.Value, defaultValue);
    }

    static void Foo(int arg, int defaultValue) {
        Console.WriteLine(string.Format("I'm an int arg={0}, default={1]}", arg, defaultValue));
    }

    static void Foo(string arg, int defaultValue) {
        Console.WriteLine(string.Format("I'm an string arg={0}, default={1]}", arg, defaultValue));
    }

    static void Foo(bool arg, int defaultValue) {
        Console.WriteLine(string.Format("I'm an double arg={0}, default={1]}", arg, defaultValue));
    }
}

Answer 1

泛型是一个编译时特性，重载决议在程序运行之前就已经决定了。如您所说，如果您想强制执行运行时决策，您可以使用 dynamic 来实现该目标（在 C# 4+ 中）。除此之外，您只需转换为 int 和 bool 之间的适用类型。

  if (arg.HasValue) 
        Foo((dynamic)arg.Value, defaultValue); 

但要小心！这只解决了int 和bool 的问题。其他类型可以传递给泛型方法，这些类型将在后续调用中继续解析为泛型方法。

 Foo(5.0, 10.0); // would still overflow with your given methods

按照您的初步判断，如果您想支持int、string 和bool，只需拥有这些重载即可。如果您想支持任何给定的 T，请为 T 创建一个重载。

static void Foo<T>(T arg, T defaultValue)
{
    Console.WriteLine(string.Format("I'm a T arg={0}, default={1}", arg, defaultValue));
}

重载解决方案仍将选择int、bool、string 或T? 重载（如果它们适用基于编译时间信息）。所有其他调用，和带有arg.Value 的调用，将转到这个新的重载。