3

使用 VisualStudio 的一个常见问题是对属性 getter 的神秘调用。如果这些有副作用(最常见的形式是if (foo == null) foo = new foo(); return foo;),那么调试器 Locals 和 Watch 窗口调用属性的事实 - 甚至没有遇到任何断点 - 可能会在调试时导致意想不到的效果。

有一个简单的解决方案:只需用属性标记属性

        [DebuggerBrowsable(DebuggerBrowsableState.Never)]

那么如何在大型代码库中找到可能有副作用的 getter 呢?

NDepend是此类事情的首选工具:使用它的 CQL 语言,我可以找到所有属性,例如,直接更改其包含实例的状态:

         SELECT METHODS FROM ASSEMBLIES "FOO" 
         WHERE IsPropertyGetter AND ChangesObjectState 

这只会找到那些直接改变字段的getter:我怎样才能找到间接改变它的getter,例如通过调用一个Initialize()方法?

4

1 回答 1

2

Joel,这要归功于通过 LINQ 功能进行代码查询(CQLinq)。这是一个 CQLinq 查询,用于检测属性 getter 的深度可变性。对于每个引起可变性的 getter,代码查询显示分配的字段集。

// Restrict the iteration only on property getters
// that are changing states or that call a method that changes state
let propertyGetters = Application.Methods.Where(m => m.IsPropertyGetter)

let methodsThatChangeState = 
  Application.Methods.Where(m => m.ChangesObjectState || m.ChangesTypeState)

from m in propertyGetters.DepthOfIsUsingAny(methodsThatChangeState).DefinitionDomain
          .Union(propertyGetters.Intersect(methodsThatChangeState))

// Find all methods called directly or indirectly by the property getter
let methodsCalledIndirectly = 
        m.MethodsCalled.FillIterative(
           methods => methods.SelectMany(m1 => m1.MethodsCalled))
        .DefinitionDomain
        .Union(m.ToEnumerable())

// Gather all field assigned that are not generated by the compiler
let fieldsAssigned = methodsCalledIndirectly
                     .SelectMany(m1 => m1.FieldsAssigned)
                     .Where(f => !f.IsGeneratedByCompiler)

where fieldsAssigned.Any()
orderby fieldsAssigned.Count() descending 
select new { m, fieldsAssigned }

这个查询很复杂,主要是因为我优化了它,首先只保留自己改变状态的getter,或者直接或间接调用改变状态的方法(调用DepthOfIsUsingAny())。

然后,对于每个 getter,我们构建直接或间接调用的所有方法的集合(感谢对FillIterative()的调用),并收集由所有此方法分配的所有字段。

具体查询结果如下:

在此处输入图像描述

于 2010-07-21T14:50:30.330 回答