经验首页 前端设计 程序设计 Java相关 移动开发 数据库/运维 软件/图像 大数据/云计算 其他经验
当前位置:技术经验 » 其他 » 职业生涯 » 查看文章
抓的是周树人,与我鲁迅有什么关系?
来源:cnblogs  作者:博客猿马甲哥  时间:2023/8/21 8:57:16  对本文有异议

单独拎出这个题目,是因为昨天看到一线码农大佬公众号的分享Dictionary.Clear 和 new Dictionary() 有什么不同?

无心插画

  1. void Example1()
  2. {
  3. var newDict = new Dictionary<string, string>();
  4. newDict.Add("key1", "value1");
  5. newDict.Add("key2", "value2");
  6. foreach (var item in newDict)
  7. {
  8. newDict = new Dictionary<string, string>();
  9. Console.WriteLine($"new : {item}");
  10. }
  11. }
  12. void Example2()
  13. {
  14. var newDict= new Dictionary<string, string>();
  15. newDict.Add("key1", "value1");
  16. newDict.Add("key2", "value2");
  17. foreach (var item in newDict)
  18. {
  19. newDict.Clear(); // 这里修改了原引用的数据,为啥不报错?
  20. Console.WriteLine($"clear : {item}");
  21. }
  22. }

这个栗子输出的是:

  1. new : [key1, value1]
  2. new : [key2, value2]
  3. clear : [key1, value1]

这个输出是不是也很奇怪:

(1) 重新new赋值难道不是修改了原字典对象newDict吗? foreach字典为什么不报InvalidOperation异常?

(2) 都肉眼可见的Clear字典了,foreach字典为什么还不报InvalidOperation异常?

Example1: 抓的是周树人,与我鲁迅何干?

这个问题是我大意了,没有闪。

这个问题与foreach倒是没有深入的关系,其实就是多引用指向同一片内存的问题。

稍微聊一下流程吧。

(1) 对字典做foreach, 内部会利用原对象newDict产生一个Enumerator迭代器。 IDictionaryEnumerator IDictionary.GetEnumerator() => new Enumerator(this, Enumerator.DictEntry);

https://github.com/dotnet/runtime/blob/45acd380b37c9ee883070a70a2ef2cb7eca77683/src/libraries/System.Private.CoreLib/src/System/Collections/Generic/Dictionary.cs#L1331

有关foreach本质,强烈推荐看这个:2021年了,IEnumeratorIEnumerable还傻傻分不清楚?

(2) 关键是迭代器使用的新的readonly Dictionary<TKey, TValue> _dictionary;字段指向了原newDict指向的对象。

https://github.com/dotnet/runtime/blob/45acd380b37c9ee883070a70a2ef2cb7eca77683/src/libraries/System.Private.CoreLib/src/System/Collections/Generic/Dictionary.cs#L1367

(3) 于是在外部尝试重置newDict,与_dictionary无关,故会出现上面看似诡异的效果。

抓的是周树人,与我鲁迅何干。


Example2:.Net Core3.0+ breakChange

Example2肉眼可见地 在foreach内变更了原迭代对象,竟然不报InvalidOperationException

这个问题说来话长,是真的说来话长。

循着源码查看[迭代器报InvalidOperationException异常的时机、查看字典Clear方法]:

  1. // https://github.com/dotnet/runtime/blob/64243bbf5e9ee53c0c4c5678f2cd8c7f1c9b4f6f/src/libraries/System.Private.CoreLib/src/System/Collections/Generic/Dictionary.cs#L1385
  2. if (_version != _dictionary._version)
  3. {
  4. ThrowHelper.ThrowInvalidOperationException_InvalidOperation_EnumFailedVersion();
  5. }
  6. // https://github.com/dotnet/runtime/blob/cf258a14b70ad9069470a108f13765e0e5988f51/src/libraries/System.Private.CoreLib/src/System/Collections/Generic/Dictionary.cs#L223C5-L238C10
  7. public void Clear()
  8. {
  9. int count = _count;
  10. if (count > 0)
  11. {
  12. Debug.Assert(_buckets != null, "_buckets should be non-null");
  13. Debug.Assert(_entries != null, "_entries should be non-null");
  14. Array.Clear(_buckets, 0, _buckets.Length);
  15. _count = 0;
  16. _freeList = -1;
  17. _freeCount = 0;
  18. Array.Clear(_entries, 0, count);
  19. }
  20. }

静态分析源码,貌似Dictionary认定字典正在变更的关键是verison字段发生变化Clear()字典清空了原键值对、count、空闲空间等字段,确实没引起version字段变化。

看微软官方Dictionary信源

属性 Count 设置为 0,并且也会释放对集合元素中其他对象的引用。 容量保持不变。

此方法是 O (n) 操作,其中 n 是字典的容量。

仅限 .NET Core 3.0+ :可以安全地调用此可变方法,而不会使实例上的 Dictionary<TKey,TValue> 活动枚举器失效。 这并不表示线程安全。


画外音: 食之无用弃之可惜

ok, That'all, 这是看一线大佬昨日分享DictionaryClear和newDictionary有什么不同的一点补充,[把原文给出的字典Example改成List Example]那又是一个有意思的话题,暂时不表,读者自行尝试。

最后总结技能点, 食之无用弃之可惜。
一个是多引用指向同一区域、另一个是程序逻辑的breakChange。

预告:今日既然聊到了C#字典,字典也是必考八股文,我会抽时间温习C# Dictionary的实现并给出自己的理解。

原文链接:https://www.cnblogs.com/JulianHuang/p/17642511.html

 友情链接:直通硅谷  点职佳  北美留学生论坛

本站QQ群:前端 618073944 | Java 606181507 | Python 626812652 | C/C++ 612253063 | 微信 634508462 | 苹果 692586424 | C#/.net 182808419 | PHP 305140648 | 运维 608723728

W3xue 的所有内容仅供测试,对任何法律问题及风险不承担任何责任。通过使用本站内容随之而来的风险与本站无关。
关于我们  |  意见建议  |  捐助我们  |  报错有奖  |  广告合作、友情链接(目前9元/月)请联系QQ:27243702 沸活量
皖ICP备17017327号-2 皖公网安备34020702000426号