正确标题：浅度剖析

深度剖析至少应该涉及多重继承、虚拟继承、虚拟析构的问题。

@idyu #58 因为 https://github.com/yikeke/zh-style-guide/issues/27#issuecomment-784925592

@v2webdev #22 我并不在意这个词的意思，而是觉得很好玩，因为我一开始以为额这个例子是已经写好的例子，但看其他页面可以发现这是占位符，于是这是一个巧合地自我指涉的例子。

https://i.loli.net/2021/02/24/xXWPv2MAVtkqYdJ.png

不推荐使用只有特定人群才了解的词语……“TW 们”是什么？

#3 可能是在对 a 操作之前 master 已经领先 origin/master 了

看一下 git 的历史图不就知道了么 😅

除了不小心提交到了主分支上，也可能是有人让远程分支倒流，然后本地也意识到了远程的倒流。

@goldiorl #9 另外 C++/WinRT 有 co_await resume_background{}; 这种构造，而 .NET 的 awaiter 也可以选择是否返回原来线程，所以并不是必然回到原来的线程。

@goldiorl #9 如果（任何 making sense 的）语言有协程的语言构造（即 async-await ），你是可以马上看出来一段代码中间是否可能被打断的。这里没有 await，所以不可能发生这种事情。

如果代码里有 await，那你是知道线程和协程无配对关系的，自然不会期待 ThreadLocal 能够保护多个协程，因为它不叫 CoroutineLocal 。

如果是 Internet Explorer （或者任何实现了 IWebBrowser2 的浏览器）可以用 IWebBroswer2.LocationURL 属性。
其他设计良好的浏览器可以通过 UI Automation 定位地址栏得到 URL 。

ThreadLocal 在那个语言里的意思很可能是 受那个语言托管的线程-local，而不是 操作系统线程-local，就像是操作系统线程也不是指处理器线程。在这种定义下你的问题不存在。

async-await 这个语法很可能本来就没有规定每次 await 之后所在的（被语言托管的）线程。比如 UI 相关的代码里，由于 UI 只可以在 UI 线程操作，await 通常会回到原来的线程进行。

更好的问题是：知道数组长度有什么用？

既然是 C string，那必然是 null-terminated，知道数组长度无意义，反正都需要通过遍历找到正确长度。如果数组长度内没有出现空字符，说明传入的不是 C string，根据 garbage-in garbage-out 原则此时直接定义为未定义行为即可。

任何实际做出来的递归本来就是迭代，CPU 自己执行这些命令的时候就是循环运行每个指令完成的。

第二个网址里 q 也是明文写出来的啊

第一个问题的隔离账户解法 https://geelaw.blog/entries/isolate-app/

Invariant 的意思和并行、并发关系不大。不变量就是说“数据的组织形式符合该数据结构的要求”，比如一个双向链表里任何非尾节点 x 都有 x.next.prev 等于 x 且任何非头节点 x 都有 x.prev.next 等于 x 。

当编辑链表时，要对多个对象的 prev 、next 分别重新赋值，几个赋值操作之间的时刻，不满足不变量。编辑操作保证：操作前符合不变量，则操作完成后还是符合。

如果链表被并行修改则可能出问题，这是因为有的时候，编辑开始的时候链表不满足它的不变量（例如另一个人也在编辑它）。于是你可以用一个 mutex 保护链表，设原先的不变量是命题 P，则新的不变量改成：当 mutex 未锁定时，P 成立。

如果 mutex 不可重入，则上述命题的简单推论是：当 mutex 刚被获取时，P 成立。
如果 mutex 可重入，则上述推论不成立，因为重入时 P 不一定成立。

那段教程就是在说，大家都希望该推论成立（从而验证正确性会更简单），所以我们设计的 mutex 不可重入。

你可以重新编译 Chromium 实现，因为是 Chromium 的代码在网页正在播放媒体时建议操作系统继续运行的。

另一种方式是定时休眠，例如 PowerShell 里运行命令行

Start-Sleep 3600; shutdown /h

则 3600 秒后休眠，这不受有程序建议系统持续运行的影响，因为是用户主动要求休眠的。

Tip 的单数是 tip，不是 tips 。

Hmmm 我更新了文章。