C++未初始化AnsiString传参触发访问违例的原理及签名差异问题

进入方法前内存访问违例的原理 #

核心执行顺序规则 #

C++标准明确规定：对于拷贝初始化语句AnsiString A1 = testMethod(A1);，函数参数的求值操作，一定发生在函数执行、返回值初始化变量之前，整个执行流程顺序如下：

1. 声明A1时仅在栈上分配了和AnsiString大小匹配的内存空间，不会执行任何构造逻辑，内存内容为栈上遗留的随机值，属于完全未初始化的野对象。
2. 由于testMethod是值传参，调用前必须先构造参数的本地副本：即调用AnsiString的拷贝构造函数，入参就是未初始化的A1。
3. AnsiString内部持有指向堆内存的字符指针，同时维护引用计数。拷贝构造函数运行时会访问这个内部指针，要么增加引用计数，要么拷贝堆上的字符串内容。但此时A1的内部指针是随机值，访问该指针指向的内存就会直接触发内存访问违例，整个过程还没有进入testMethod的函数体，所以崩溃发生在方法调用前。

你调试时看到的大量AnsiString、UnicodeString、AnsiStringBase方法调用，就是参数拷贝时触发的类内部构造、成员访问逻辑，访问野指针后直接崩溃。

修改返回类型后运行正常的原因 #

你使用的开发环境（大概率是C++Builder）中，String默认是UnicodeString的别名，和AnsiString是两种完全独立的字符串类型。

• 当返回值为String（UnicodeString）时，整个流程没有优化空间：必须先完成参数拷贝→执行函数→返回UnicodeString临时对象→将临时对象转换为AnsiString→用转换结果初始化A1。参数拷贝步骤一定会触发野指针访问，必然崩溃。
• 当返回值修改为和A1类型一致的AnsiString时，编译器会触发**复制消除（Copy Elision）**优化（C++11及以后标准强制支持，旧版本编译器也普遍实现该优化）：编译器会直接省略返回值的拷贝步骤，让testMethod的返回值直接构造在A1的内存地址上。部分编译器开启该优化后会调整求值逻辑，先完成返回值的内存构造（此时A1被初始化为空的AnsiString对象），再执行参数传递，传参拷贝时就不会触发野指针访问，所以可以正常运行。

注意：该正常运行只是特定编译器优化带来的巧合，从C++标准角度，使用未初始化变量作为参数本身属于未定义行为，更换编译器、调整编译选项都有可能再次触发崩溃，不建议编写此类逻辑的代码。

内容的提问来源于stack exchange，提问作者kvirk