c# 8 switch 表达式：没有找到 switch 表达式的最佳类型

Question

我在我的启动类（.net core 3.1）中添加了一个代码来返回基于参数的类型，我得到了编译时错误。

我在sharplab 中创建了一个运行示例。如果 switch 表达式包含字符串或其他对象，它运行良好。

工作示例 1：

var x = key switch
            {
                "myhandler1" => "something",
                "myhandler2" => "something else",
                _ => "default case"
            };

工作示例 2：

object obj =  s switch {
            "a" => new object(),
            "b" => new DateTime(),
            _ => throw new NotImplementedException()
        };

错误示例：

interface IHandler { }
public class BaseHandler { }
public class MyHandler1: BaseHandler, IHandler { }
public class MyHandler2: BaseHandler, IHandler { }

class Program
{
    static void Main(string[] args)
    {

        var key = "myhandler1";

        var handler = key switch
        {
            "myhandler1" => new MyHandler1(),
            "myhandler2" => new MyHandler2(),
            _ => throw new NotImplementedException()
        };

        var x = key switch
        {
            "myhandler1" => "something",
            "myhandler2" => "something else",
            _ => "default case"
        };

        Console.WriteLine("Hello World!");
    }
}

原始问题（需要修复）：

serviceCollection.AddTransient<Func<string, IHandler>>(sp => key =>
            {
                return key switch
                {
                    Constants.Brand => sp.GetService<Handler1>(),
                    Constants.Series => sp.GetService<Handler2>(),
                    _ => throw new NotImplementedException()

                };
}

找到此链接：https://github.com/dotnet/csharplang/issues/2728

感谢 Pavel 和 Marc，以下是修复：

serviceCollection.AddTransient<Func<string, IHandler>>(sp => key =>
            {
                return key switch
                {
                    Constants.Brand => (sp.GetService<Handler1>() as IHandler),
                    Constants.Series => (sp.GetService<Handler2>() as IHandler),
                    _ => throw new NotImplementedException()

                };
}

Answer 1

您应该显式声明一种处理程序，而不是var

IHandler handler = key switch //or BaseHandler handler = key switch
{
    "myhandler1" => new MyHandler1(),
    "myhandler2" => new MyHandler2(),
    _ => throw new NotImplementedException()
};

在您的sharplab 示例中，两个处理程序都实现IHandler 接口并继承BaseHandler 类，编译器根本不知道要使用哪种类型，您应该明确告诉他

interface IHandler { }
public class BaseHandler { }
public class MyHandler1 : BaseHandler, IHandler { }
public class MyHandler2 : BaseHandler, IHandler { }

依赖注入示例也是如此，你应该显式声明一个类型（假设Handler1和Handler2实现IHandler）

return key switch
{
    Constants.Brand => sp.GetService<Handler1>(),
    Constants.Series => (IHandler) sp.GetService<Handler2>(),
    _ => throw new NotImplementedException()
};

您只能为一个常量执行此操作，编译器足够聪明，可以为您完成其余的工作

Answer 2

您正在处理协方差问题。您已指定Func 的返回类型应为IHandler，但此类型参数是不变的。因此，您必须实际返回 IHandler，而不仅仅是实现它的类。

serviceCollection.AddTransient<Func<string, IHandler>>(sp => key =>
{
    return key switch
    {
        Constants.Brand => (IHandler)sp.GetService<Handler1>(),
        Constants.Series => (IHandler)sp.GetService<Handler2>(),
        _ => throw new NotImplementedException()
    };
}

Answer 3

var 很挑剔 - 它希望事情明确，并且由于MyHandler1 和MyHandler2 是不同的类型，因此handler 应该在这里是什么类型并不明显；基本上，从MyHandler1 和MyHandler2 中选择一些通用的基本类型或实现的接口，并使用它来代替var。在最坏的情况下，object 就足够了：

object handler = key switch
{
    "myhandler1" => new MyHandler1(),
    "myhandler2" => new MyHandler2(),
    _ => throw new NotImplementedException()
};

编译器不会自己尝试这样做。