Switch + Enum =并非所有代码路径都返回一个值

Question

我只是好奇为什么这个代码......

    enum Tile { Empty, White, Black };
    private string TileToString(Tile t)
    {
        switch (t)
        {
            case Tile.Empty:
                return ".";
            case Tile.White:
                return "W";
            case Tile.Black:
                return "B";
        }
    }

抛出那个错误.它不可能t承担任何其他价值,是吗？难道编译器不应该足够聪明地弄明白吗？

Answer 1

不,您可以使用int转换为的任何值Tile.试试这个:

Tile t = (Tile) 5;
string s = TileToString(t);

枚举是数字的一组名称,实际上......但是编译器和CLR都没有强制枚举类型的值具有名称.这是一种痛苦,但它存在......

我会建议抛出ArgumentException(或可能ArgumentOutOfRangeException)的默认情况.

Answer 2

Jon当然完全正确,枚举可以具有其基础类型的任何值,因此切换不是详尽的,因此存在不返回的代码路径.但是,这不是对问题的完整分析.即使转换是详尽的,你仍然会得到错误.

试试吧:

int M(bool b) 
{
    switch(b)
    {
        case true : return 123;
        case false: return 456;
    } 
}

要么

int M(byte b) 
{
    switch(b)
    {
        case 0: case 1: case 2: ... all of them ... case 255: return 123;
    } 
}

在这两种情况下,您将获得相同的"非void方法中的可到达终点"错误.

这只是C#规范"可达性检查"部分的疏忽.如果switch语句的端点没有默认的section,则将它们的端点定义为可达.对于彻底消耗其输入的每个可能值的开关,没有特别的分配.这是语言设计师错过的一个极端案例,并且从来没有达到过高的优先级来解决它.

有关switch语句分析的其他三个有趣事实,请参阅:

http://ericlippert.com/2009/08/13/four-switch-oddities/