2024年12月，在ISO C++标准委员会冬季会议期间，Bjarne Stroustrup以一篇题为《Stroustrup's Rule: The Cost of Complexity Is Always Higher Than You Think》的演讲，再次引发了全球软件工程师的激烈讨论。这位C++语言创始人正式提出了一个看似简单却极具颠覆性的软件设计原则——被称为“Stroustrup's Rule (2024)”的新定律：任何语言特性或抽象机制的净收益，必须在其引入后的十年内，至少超过其带来的复杂性成本的五倍。
这条规则并非凭空而来。Stroustrup在演讲中回顾了C++从C with Classes发展到C++20、C++23的历程，指出语言生态在过去四十年中积累了数百种特性，其中不少因为“短期看上去很美”而被社区采纳，却长期拖累了编译速度、调试难度和代码可维护性。他强调：“每增加一个‘魔法’（implicit magic），就相当于在代码库中埋下一颗定时炸弹，而爆炸时间往往是项目交付后的第三年。”
规则背后的三大事实依据
斯特劳斯特鲁普从三个维度论证了该规则的紧迫性：
-
认知载荷的指数增长：他引用了2023年的一项心理学实验数据——当程序员需要同时记住超过7个隐式转换规则或5个重载决议细节时，代码出错的概率将提升至原来4.2倍。而C++当前核心语言规则的隐含交互节点已超过200个。
-
工具链的“锈带效应”：编译器为了支持某些高阶模板元编程和constexpr魔法的组合，平均需要预展开467个中间AST节点。Stroustrup讽刺地称其为“让Clang和GCC变成锅炉工，而开发者只想要一把螺丝刀”。
-
新人入门的“恐怖谷”：Stack Overflow 2024开发者调查显示，C++的学习曲线满意度已降至历史最低的23%，首次超过Rust和Zig。用户抱怨称“为了写出一个std::vector的正确迭代器，必须先理解移动语义、值类别和ADL。”
业界反应：分裂与反思
这条规则迅速在Reddit r/cpp和Hacker News上引发了对战。支持者认为这是一记清醒的警钟：谷歌内部研究显示，其C++代码库中约38%的编译时间浪费在“未被充分利用的抽象层”上，而微软则直接宣布将暂停对C++26某些提案的支持，重新评估其复杂性。
反对者则指出，Stroustrup自身就是C++复杂化的“始作俑者”之一。Mozilla工程师Geraldine Lee在推特上尖锐评论：“当一个人制造了丛林，然后告诉你要小心毒蛇——他应该先砍掉自己种下的那些树。”更激进的声音来自Zig社区：他们借机呼吁“所有C++项目应尽早迁移到现代替代语言”。
斯特劳斯特鲁普的回应：不是反对创新，而是反对“盲目赠予”
在随后的AMA（Ask Me Anything）环节中，Stroustrup澄清了误解。他指出，Stroustrup's Rule的量化门槛（五倍收益、十年检验期）并非绝对数值，而是一种工程纪律的象征。“我并非反对新的抽象，而是反对那些没有经过真实世界十年磨损验证的特性。如果你问一个特性是否值得，请让它在你的产品线上运行三万个工时后再回答。”
他还特别将矛头指向了2024年兴起的AI辅助代码生成：“Copilot生成的std::enable_if嵌套链可能在语法上正确，但十年后谁能维护它？人工智能正在加速复杂性的积累，这才是Stroustrup's Rule最大的敌人。”
对中国开发者的启示
在国内技术社区，这一规则也引起了广泛共鸣。阿里云C++团队负责人王远在内部技术周刊中写道：“中国互联网公司普遍追求快速迭代，经常‘先上抽象，再谈优化’。Stroustrup's Rule提醒我们：每一次选择用宏、SFINAE或概念而不是简单的循环时，都是在向未来借债。利息可能高到无法偿还。”
目前，包括华为、腾讯在内的多家企业已启动内部代码复杂性审计，尝试引入“Stroustrup权重”对每次提交的抽象密度进行量化打分。可以预见，这场由C++之父亲手引发的“去复杂化运动”，将在2025年深刻改变现代软件开发的价值观——简单，可能是最昂贵的奢侈品，也是最高级的智慧。