c# – 检查是否处理了所有枚举值
作者:互联网
假设有一段代码:
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);
}
标签:c,security,enums,unit-testing,static-analysis 来源: https://codeday.me/bug/20190620/1245942.html