您能看出这个Double Check里的问题吗？
2009-09-02 15:11 by 老赵, 8490 visits昨天在做code review时看到一位同事写了这样的代码。这段代码的目的使用Double Check的做法来保证线程安全的延迟加载。但是我看到这代码之后发现了一个问题，这个问题不是第一次出现。因此，我打算在博客上记录一笔，希望可以给更多人提个醒吧。
假设，我们有这样一个Category类型，记录的是一个树型的分类结构：
public class Category { public int CategoryID { get; set; } public List<Category> Children { get; set; } }
然后，我们需要一个CategoryLoader，提供一个Get方法从ID获得指定的Category对象：
public class CategoryLoader { private object m_mutex = new object(); private Dictionary<int, Category> m_categories; public Category GetCategory(int id) { if (this.m_categories == null) { lock (this.m_mutex) { if (this.m_categories == null) { LoadCategories(); } } } return this.m_categories[id]; } private void LoadCategories() { this.m_categories = new Dictionary<int, Category>(); this.Fill(GetCategoryRoots()); } private void Fill(IEnumerable<Category> categories) { foreach (var cat in categories) { this.m_categories.Add(cat.CategoryID, cat); Fill(cat.Children); } } private IEnumerable<Category> GetCategoryRoots() { ... } }
代码的逻辑非常简单：使用一个字典作为容器，在GetCategory方法内部使用Double Check的方式来保证线程安全（即多个线程同时访问同一个对象的GetCategory方法不会出现问题）。如果没有加载，在使用LoadCategories方法构造并填充字典。在LoadCategories方法中会获取所有的“根分类”，并调用Fill方法填充字典。Fill方法会将传入的categories集合添加到字典中，并且递归地将它们的子分类也填充至字典中。
只可惜，上面的代码有一些问题，导致Double Check没有能够实现我们预期的效果。您能看出这个问题来吗？
当然，为了演示代码的简单，我省略了很多细节。例如Category的ID缺失或有重复，Category对象不是immutable，Children属性可能会包含null，这可能都会形成问题。不过，我们就暂时不在这方面考究了吧。
晚上我会公布结果（此处）。
我记得什么时候看过类似的帖子
clr优话会把其中一层取消
所以当时说解决办法是
static readonly private Dictionary<int, Category> m_categories =new Dictionary<int, Category> ();
反正也是延迟创建；