带有非常量表达式的Switch语句-扩展了C#/IDE的功能

在开始批评和指责我C#规范的§8.7.2之前，请仔细阅读：）

我们都知道C#中的switch是什么样子的。好的，所以考虑具有"讨厌"Bar方法的类MainWindow

static int barCounter = 0;
public static int Bar()
{
    return ++barCounter;
}

在这个类的某个地方，我们有这样的代码

Action switchCode = () =>
{
    switch (Bar())
    {
        case 1:
            Console.WriteLine("First");
            break;
        case 2:
            Console.WriteLine("Second");
            break;
    }
};
switchCode();
switchCode();

在控制台窗口中，我们将看到

First
Second

使用C#中的表达式，我们可以做同样的事情——编写几乎相同的代码

var switchValue = Expression.Call(typeof(MainWindow).GetMethod("Bar"));
var WriteLine = typeof(Console).GetMethod("WriteLine", new Type[] { typeof(String) });
var @switch = Expression.Switch(switchValue,
    Expression.SwitchCase(
        Expression.Call(WriteLine, Expression.Constant("First")),
        Expression.Constant(1)
        ),
    Expression.SwitchCase(
        Expression.Call(WriteLine, Expression.Constant("Second")),
        Expression.Constant(2)
        )
    );
Action switchCode = Expression.Lambda<Action>(@switch).Compile();
switchCode();
switchCode();

在DebugView中，我们可以看到这个表达式背后的"代码"

.Switch (.Call WpfApplication1.MainWindow.Bar()) {
.Case (1):
        .Call System.Console.WriteLine("First")
.Case (2):
        .Call System.Console.WriteLine("Second")
}

嗯，如果我们用Expression.Call代替Expression.Constant呢？

public static bool foo1() { return false; }
public static bool foo2() { return true; }
// .....
var foo1 = Ex.Call(typeof(MainWindow).GetMethod("foo1"));
var foo2 = Ex.Call(typeof(MainWindow).GetMethod("foo2"));
var switchValue = Ex.Call(typeof(MainWindow).GetMethod("Bar"));
var WriteLine = typeof(Console).GetMethod("WriteLine", new Type[] { typeof(String) });
var @switch = Ex.Switch(Ex.Constant(true),
    Ex.SwitchCase(
        Ex.Call(WriteLine, Ex.Constant("First")),
        foo1
        ),
    Ex.SwitchCase(
        Ex.Call(WriteLine, Ex.Constant("OK!")),
        Ex.Equal(switchValue, Ex.Constant(2))
        ),
    Ex.SwitchCase(
        Ex.Call(WriteLine, Ex.Constant("Second")),
        foo2
        )
    );
Action switchCode = Ex.Lambda<Action>(@switch).Compile();
switchCode();
switchCode();

控制台窗口显示，正如我们预期的

Second
OK!

和DebugView

.Switch (True) {
.Case (.Call WpfApplication1.MainWindow.foo1()):
        .Call System.Console.WriteLine("First")
.Case (.Call WpfApplication1.MainWindow.Bar() == 2):
        .Call System.Console.WriteLine("OK!")
.Case (.Call WpfApplication1.MainWindow.foo2()):
        .Call System.Console.WriteLine("Second")
}

因此，可以在case语句中使用非常量表达式：）

好吧，我知道这是一个小"混乱"的代码。但我的问题来了（最后：P）：
有没有任何方法可以扩展IDE/VVisualStudio/编译器的功能来做到这一点，但要使用更优雅的代码
像这样的

switch (true)
{
    case foo1():
        Console.WriteLine("First");
        break;
    case Bar() == 2:
        Console.WriteLine("OK!");
        break;
    case foo2():
        Console.WriteLine("Second");
        break;
}

我知道这将是一些扩展，代码将不一样（性能不一样）。但我想知道这是否有可能在动态中"更改"代码——比如匿名函数或yield return is转换为嵌套类。

我希望有人仔细阅读上面的文字并留下一些线索。

Switch.Value(true)
    .Case(() => Foo(), () => Console.WriteLine("foo"))
    .Case(() => Bar() == 2, () => Console.WriteLine("bar == 2"));

Switch.Value(true)
    .Case(Foo(), () => Console.WriteLine("foo"))
    .Case(Bar() == 2, () => Console.WriteLine("bar == 2"));

SELECT
  Column1, Column2,
  CASE
    WHEN SomeCondition THEN Column3
    WHEN SomeOtherCondition THEN Column4
  END AS CustomColumn
FROM ...