【发布时间】:2011-07-22 04:01:20
【问题描述】:
有时,作为安全检查,我想检查变量 v 是否未在代码的某些部分或某些函数的其余部分中使用,即使它在范围内仍然可见这个函数/部分代码的。例如:
int x;
// do something with x
DEACTIVATE(x);
// a portion of code which should not use x
ACTIVATE(x);
// do something else with x
有没有在编译时执行这种类型验证的好方法?
注意:我知道应该始终为每个变量使用尽可能小的范围,但在某些情况下,将这种做法推向极端可能会变得很麻烦,而这样的工具会很有用的。
谢谢!
【问题讨论】:
-
这没什么用...但是您为什么不实际编写代码,以便所有内容都正确确定范围并且您一开始就没有问题?
-
@Mark:这只是为了执行安全检查:当出现问题时,它们会非常有用。当然,如果你从一开始就编写完美的代码,你就不需要它们。但我猜你没有。