blocks|key|1995343|text|堆栈不能重叠。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1995344|考虑到参数可以是全局的、堆对象，或者即使存储在堆栈中，它也可能不是最后一个元素。根据调用约定，可能会将其他元素放在一个堆栈帧和传递给函数的参数(即返回地址)之间。|1995345|请注意，即使堆栈中没有添加任何内容，也不能在编译函数时做出决定，而是在编译器处理调用函数时做出决定。一旦编译了函数，它将不会根据调用它的位置而改变。|1995346|entityMap^0|0|0|0^^$0|@$1|2|3|4|5|6|7|H|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|I|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|J|8|@]|9|@]|A|$]]|$1|F|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|G|$]]

The stacks cannot be made to overlap. 

Consider that the argument could be a global, a heap object, or even if stored in the stack it could be not the very last element. Depending on the calling convention, other elements might be placed in between one stack frame and the parameters passed into the function (i.e. return address)...

And note that even if nothing was added in the stack, the decision cannot be made while compiling the function, but rather when the compiler is processing the calling function. Once the function is compiled, it will not change depending on where it is called from.

blocks|key|692141|text|这两个调用应该生成完全相同的代码，除非你有某种奇怪的编译器。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|692142|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

Those two calls should generate exactly the same code, unless you have some kind of weird compiler.

blocks|key|852454|text|那得看情况。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|852455|如果编译到库中，在大多数平台上生成的代码即使不完全相同，也是相同的。|852456|任何好的编译器都会内联这样一个小函数，所以很有可能的是，它不会获得堆栈上某个东西的地址来递增指向的值，而是直接递增该值。任何内联函数的堆栈框架都嵌入到调用者的堆栈框架中，因此在这种情况下会重叠。|852457|entityMap^0|0|0|0^^$0|@$1|2|3|4|5|6|7|H|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|I|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|J|8|@]|9|@]|A|$]]|$1|F|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|G|$]]

It depends.

The code generated for both will be equivalent if not identical on most platforms if compiled to a library.

Any good compiler will inline such a small function, so it is quite possible that rather than getting the address of something on the stack incrementing the pointed-to value, it will instead increment the value directly. Any inlined function's stack frame is embedded in the caller's stack frame, so the will overlap in that case.

blocks|key|1992805|text|关于堆栈框架的重叠，我找到了以下信息：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1992806|在某些情况下，子例程的栈帧和它的调用者的栈帧可以被认为是重叠的，这种重叠由参数从调用者传递到被调用者的区域组成。在某些环境中，调用方将每个参数推送到堆栈上，从而扩展其堆栈框架，然后调用被调用方。在其他环境中，调用方在其堆栈帧的顶部有一个预先分配的区域，用于保存它提供给它调用的其他子例程的参数。此区域有时称为传出参数区域或标注区域。在这种方法下，编译器将区域的大小计算为任何被调用的子例程所需的最大值。|1992807|因此，在您的例子中，如果只将调用者函数的局部作用域中的变量传递给foo2，那么重叠的事情可能会发生！|1992808|entityMap^0|0|0|0^^$0|@$1|2|3|4|5|6|7|H|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|I|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|J|8|@]|9|@]|A|$]]|$1|F|3|-4|5|6|7|K|8|@]|9|@]|A|$]]]|G|$]]

regarding overlapping of stack frames I found the following info <a href="http://en.wikipedia.org/wiki/Call_stack#Overlap" rel="nofollow">here</a>
 :

For some purposes, the stack frame of a subroutine and that of its caller can be considered to overlap, the overlap consisting of the area where the parameters are passed from the caller to the callee. In some environments, the caller pushes each argument onto the stack, thus extending its stack frame, then invokes the callee. In other environments, the caller has a preallocated area at the top of its stack frame to hold the arguments it supplies to other subroutines it calls. This area is sometimes termed the outgoing arguments area or callout area. Under this approach, the size of the area is calculated by the compiler to be the largest needed by any called subroutine.

So in your case if only variables in local scopes of caller functions are passed to foo2 overlapping thing may be possible!

Will the compiler produce the same code for both of these statements?

<pre><code>foo1(int* val){(*val)++;}

foo2(int &amp;val){val++;}
</code></pre>

Will it simply write a pointer into the parameter part of foo's stack frame? Or, in the second case, will the callers' and foos' stack frames somehow overlap such that the callers' local variable takes the same memory on the stack as the parameter for foo?

c/c++ passing argument by pointer/argument by reference stack frame layout

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

编译器会为这两个语句生成相同的代码吗？foo1(int* val){(*val)++;}foo2(int &val){val++;}它会简单地将一个指针写入foo的栈帧的参数部分吗？或者，在第二种情况下，调用者和foos的栈帧是否会以某种方式重叠，使得调用者的局部变量在堆栈上占用与foo的参数相同的内存？

问c/c++按指针传递参数/按引用传递参数堆栈框架布局
EN

回答 4

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问c/c++按指针传递参数/按引用传递参数堆栈框架布局EN

回答 4

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问c/c++按指针传递参数/按引用传递参数堆栈框架布局
EN