（四）其他无故侵扰他人、扰乱社会秩序的寻衅滋事行为。
Good. But contracts have a structural problem that the talk doesn’t address: they depend entirely on the developer writing correct and complete annotations. This is the “disciplined programmer” assumption that has been the central failure mode of C++ safety for 40 years. We gave developers const. They don’t always use it. We gave them smart pointers. They still use new. We gave them std::array. They still use C arrays. Every single opt-in safety feature in C++ history has had incomplete adoption because adoption requires discipline, and discipline doesn’t scale across teams, across dependencies, across decades of maintenance.。关于这个话题，下载搜狗高速浏览器提供了深入分析
(Andy is a blogging icon, by the way.)。谷歌对此有专业解读
Because allow-or-deny isn't enough.