2015年的

A brief introduction to C++’s model for type- and resource-safety
Bjarne Stroustrup (Morgan Stanley)
Herb Sutter (Microsoft)
Gabriel Dos Reis (Microsoft

这里面针对几个问题的解决方案是后来的CppCoreGuidelines的一部分，对应的支撑库是GSL，需要配套的静态分析工具（某些情况下需要静态分析工具用符号执行来分析）。MSVC应该是实现了一部分的，他家有自己开源的GSL库，但由于和静态分析工具配套用的，估计用的人不多。

你看看能不能超过这些方案。指针和引用是一样的（野引用，和野指针的后果差不多），你在顶楼的方案是处理不了引用的。

【 在 damingge 的大作中提到: 】
: 我瞎想的，大神们搞的肯定更完善，有链接么
:
--
修改:z16166 FROM 222.130.138.*
FROM 222.130.138.*