警惕 C++ 中的隐式类型转换
  z0Lr3p4aE7p5 2023年11月02日 62 0


今天文章的主题灵感来自客户的一个问题:

我在研究一个代码中的栈溢出问题。为了减小栈帧的大小,我尽可能多地删除了局部变量,但仍有很多栈空间无法解释。除了局部变量、参数、保存的寄存器和返回地址之外,栈上还有什么其他的东西呢?

我的回答是,嗯,还有结构化(SEH)的异常处理信息,但这通常不会占用太多栈空间,因此不会成为”大量”神秘栈使用的来源。

我的猜测是,代码正在生成大量大型 C++ 临时对象。请考虑以下程序片段:

警惕 C++ 中的隐式类型转换_系统设计

>> 请移步至 topomel.com 以查看图片 <<

有人会问了:”这段代码是如何编译的?函数Foo想要一个BigBuffer,而不是一个整数!” 然而编译它确实如此。

这是因为编译器使用 BigBuffer 构造函数作为转换器。换句话说,编译器插入了以下临时变量:

>> 请移步至 topomel.com 以查看图片 <<

警惕 C++ 中的隐式类型转换_windows_02

这样做是因为,只接受一个参数的构造函数有两个目的:它可以用作传统的构造函数(正如我们在 BigBuffer temp(3) 中看到的那样),或者它可以用来提供从参数类型到构造类型的隐式转换。在本例中,BigBuffer(int) 构造函数被用作从 int 到 BigBuffer 的转换。

若要防止这种情况发生,请使用 explicit 关键字:

>> 请移步至 topomel.com 以查看图片 <<

警惕 C++ 中的隐式类型转换_ci_03

通过此更改, 对 Foo(3) 的调用会引发编译器错误:

>> 请移步至 topomel.com 以查看图片 <<

警惕 C++ 中的隐式类型转换_构造函数_04

总结

通过今天的文章,我终于理解了在何种情况下需要在构造函数上加 explicit 。
你呢?

最后

Raymond Chen的《The Old New Thing》是我非常喜欢的博客之一,里面有很多关于Windows的小知识,对于广大Windows平台开发者来说,确实十分有帮助。
本文来自:《Beware the C++ implicit conversion》

警惕 C++ 中的隐式类型转换_构造函数_05

警惕 C++ 中的隐式类型转换_构造函数_06

 

【版权声明】本文内容来自摩杜云社区用户原创、第三方投稿、转载,内容版权归原作者所有。本网站的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如果您发现本社区中有涉嫌抄袭的内容,欢迎发送邮件进行举报,并提供相关证据,一经查实,本社区将立刻删除涉嫌侵权内容,举报邮箱: cloudbbs@moduyun.com

  1. 分享:
最后一次编辑于 2023年11月08日 0

暂无评论

推荐阅读
  anLrwkgbyYZS   2023年12月30日   28   0   0 i++iosi++ioscici
  anLrwkgbyYZS   2023年12月30日   33   0   0 ideciciMaxideMax
z0Lr3p4aE7p5