检查，如果所有的枚举值被处理
假设有一段代码：
enum Directions
{
North,
South,
East,
West
}
// (...)
switch (dir)
{
case North : // Do sth
case South : // Do sth
case East : // Do sth
case West : // Do sth
}
特别注意缺少default:指令。 现在假设，稍后有人为该枚枚举增加了四个值： NorthEast ， NorthWest ， SouthEast ， SouthWest 。 在这种情况下，引用的代码很可能会影响未定义的行为，因为没有安全措施来处理Directions枚举类型的可能扩展。
我有关于这件事的一些问题。
程序员应该在这里实施安全措施，例如：
default: throw new InvalidArgumentException("Unsupported enum value!");
这个问题应该在单元测试中进行测试吗？
// Naïve implementation, for example purposes only
[ExpectedException(typeof(InvalidArgumentException))]
[Test]
void SomeTestMethod()
{
SomeFunction((Direction)-1);
}
如果是这样，你会如何实现这种类型的测试自动化（例如，找到与此枚举中的所有其他值不同的序数值，考虑枚举后备类型等）？
在静态代码分析期间是否应该验证此事？ 哪个工具可以提供这样的信息？ 我在VS 2012 Pro中编写了简单的概念验证，运行代码分析，但IDE报告说'没有检测到代码分析问题'。
代码：
namespace ManagedConsoleSketchbook
{
class Program
{
enum MyEnum
{
One,
Two,
Three
}
static void Main(string[] args)
{
MyEnum e = MyEnum.One;
switch (e)
{
case MyEnum.One:
break;
case MyEnum.Two:
break;
}
}
}
}
这个普遍问题是否有一个通用的方法？ 例如。 也许我可以在C＃中使用反射来编写复杂的测试方法，但在C ++中，确定这种潜在的代码完整性违反要比在C＃或其他更高级别的语言中困难得多。
为什么我会问在单元测试期间是否应该检查它？ 这是因为 - 据我所知 - 单元测试应该验证，如果方法的行为像它应该（记录）一样。 在这种情况下，它应该接受四个枚举元素中的任何一个，它实际上是这样做的，所以所有的测试都应该通过。 在我看来，检查潜在的问题并不是单元测试过程的问题。 如果我想验证单元测试中潜在问题的所有可能性，我最终可能会为编写3行代码的方法编写数百个测试。
另一方面，如果有人决定为枚举添加另一个值，那么它似乎是一个相当便宜（以资源消耗方式）的方式，确保该方法不会导致任何严重问题。
1：是的，我经常这样做。
2：是的。 我会补充一点：
[ExpectedException(typeof(InvalidArgumentException))]
[Test]
void SomeTestMethod()
{
Direction testValue = (Direction)-1;
Assert.IsFalse(Enum.IsDefined(typeof(Direction), testValue));
SomeFunction((Direction)-1);
}
这个问题实际上是在VS-2012中处理的。 请注意，此测试在默认情况下是禁用的。
启用警告后，您可以指示Vs将此特定警告视为错误。
最简单的方法是始终有一个默认条款。 当默认不应该做任何事情时写下如下内容：
default:
// No action required
break;
这样，程序员至少会考虑剩下的项目（如果有的话）。