并非所有代码路径都返回一个值 - 但它们确实

Question

以下代码摘录无法编译，导致not code paths return a value。 Test1StandardChargeCalculator 和 Test2StandardChargeCalculator 两种类型都派生自返回类型。

我知道如何解决这个问题，但我的问题是我为什么必须这样做？ bool 是一个值类型 - 因此只能表示 true 或 false，这两者都在这个 sn-p 中得到了满足。那么为什么编译失败呢？

internal StandardChargeCalculator Create()
{
      bool value = true;

      switch (value)
      {
          case true:
              return new Test1StandardChargeCalculator();
          case false:
              return new Test2StandardChargeCalculator();
      }
} //not all code paths return a value

Answer 1

当使用switch 语句时，编译器不理解当你使用布尔类型开启时只能有两个结果。

发生错误是因为您没有 default 案例。

不要使用 switch 进行布尔测试 - 使用 if 语句：

  bool value = true;

  if(value)
  {
      return new Test1StandardChargeCalculator();
  }

  return new Test2StandardChargeCalculator();

Answer 2

您为什么认为编译器应该对特殊情况布尔值进行特殊处理并检测所有可能的值都有一个 case 语句？

如果您正在编写一个编译器，您会投入开发工作并通过实现它来增加错误的风险吗？

Answer 3

在Absence of evidence is not evidence of absence Eric Lippert 中写到“证明”变量未赋值的局限性以及编译器在这方面的较弱目标：

我们不想证明 x 是未赋值的。 我们有兴趣证明 x 被赋值！如果我们可以 证明肯定，那么 x 是“肯定分配的”。如果我们不能 证明可以肯定地 x 是“未明确指定的”。

这并没有直接解释这个例子，但请注意它与：

int x;

if (a < 10) 
   x = 0;
else if (a >= 10)
   x = 1;

y = x; // x is 'unassigned'

我们可以很快看到x 将始终被分配，编译器甚至不会尝试找出。

Answer 4

据我了解，这与开关的定义不一致：

如果没有 case 表达式与 switch 值匹配，则控制权将转移到可选默认标签后面的语句。如果没有默认标签，则将控制权转移到交换机之外。

你是对的：应该没有编译器错误。所以，这可能是没有答案就是答案的情况。你将不得不忍受它。

    switch (answer)
    {
    ...
    default:
    return "It is as it is"
    }

Answer 5

也许更好的解决方案是

internal StandardChargeCalculator Create()
{
  StandardChargeCalculator result = null;
  bool value = true;

  switch (value)
  {
    case true:
      result = new Test1StandardChargeCalculator();
      break;
    case false:
      result = new Test2StandardChargeCalculator();
      break;
  }
  return result;
}