如何使用没有约束的类型参数调用具有泛型约束的方法？

Question

假设我有一个方法：

public void ExampleMethod<T>(T x) where T : struct // or new()
{
    // example usage, similar to what's actually happening
    var z = (T)Enum.Parse(typeof(T), privateFieldOfTypeString);

    // do something depending on values of x and z
    // possibly using other methods that require them being enums

    // or in case of the new() constraint:
    // var t = new T() and do something together with x
}

我想按如下方式使用它：

public void CallerMethod<S>(S y)
{
    if (typeof(S).IsEnum) // or some other invariant meaning that `S` is "new()able"
    {
        ExampleMethod(y); // won't compile
    }
}

所以，在运行时我知道S 满足ExampleMethod<T> 的约束。我知道可以使用反射来调用它，类似于：

this
    .GetType()
    .GetMethod(nameof(ExampleMethod<object>))
    .MakeGenericMethod(typeof(S))
    .Invoke(this, new object[] { y });

没有反射可以吗？

注意：这是来自真实示例的简化代码，显然我无法控制这些方法的签名，因此答案是“将约束添加到 CallerMethod”和“从ExampleMethod中删除约束是无效的。

是的，整个事情都应该重新设计，这样整个问题就不会出现了。但在现实生活中，“整个事情”往往太大、太耦合、太冒险而无法重写。一些需求以一种意想不到的方式发生了变化 - 因此明显的代码异味，我试图通过将其隐藏在一个看起来很讨厌的地方来最小化它。

Answer 1

你可以使用dynamic:

if (typeof(S).IsEnum)
{
    ExampleMethod((dynamic)y);
}

Answer 2

您可以利用运算符重载；定义CallerMethod 的多个显式版本，它们都可以成功地对ExampleMethod 进行后续调用

CallerMethod(Enum1 value) { ExampleMethod(value); }
CallerMethod(Enum2 value) { ExampleMethod(value); }
CallerMethod(Enum3 value) { ExampleMethod(value); }

等等

如果有大量增长类型需要CallerMethod 的版本，您可以编写T4 template 来生成具有所有实现的partial 类。

Answer 3

如果枚举类型是已知的，一种可能性（虽然很冗长）是转换为已知类型。

例如，作为起点，

public void CallerMethod<S>(S y) {
    if (typeof(S).IsEnum) {
        if (y is KnownEnum) {
            var z = (KnownEnum)Enum.Parse(typeof(S), y.ToString());
            ExampleMethod(z);
        }
        if (y is KnownEnum2) {
            var z = (KnownEnum2)Enum.Parse(typeof(S), y.ToString());
            ExampleMethod(z);
        }
        //...
    }
}

Answer 4

在您的特定情况下，您可以只转换为 int。

public void CallerMethod<S>(S y)
{
    if (typeof(S).IsEnum)
    {
        ExampleMethod((int)y);
    }
}