C1303

不得将自动存储对象的地址复制给在该对象不复存在后仍然存在的另一个对象

Category: Required

Decidability: Undecidable

Scope: System

说明

对象地址可能通过以下方式被复制：

登录查看完整文章