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

作者：漫漫开发路 2023-08-14 08:35:36开发 前端 我在研究一个代码中的栈溢出问题。为了减小栈帧的式类大小，我尽可能多地删除了局部变量，型转但仍有很多栈空间无法解释。警惕除了局部变量、式类参数、型转保存的警惕寄存器和返回地址之外，栈上还有什么其他的式类东西呢？

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

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

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

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

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

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

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

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

通过此更改， 对 Foo（3） 的调用会引发编译器错误：

总结

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

责任编辑：武晓燕 来源： 今日头条 C++隐式类型

(责任编辑：时尚)