跨无关联多态类型的reinterpret_cast是否始终属于未定义行为？——遗留代码段错误排查相关技术疑问

咱先直接给你明确结论：你的核心判断完全正确——这种跨无关联多态类型的reinterpret_cast确实属于未定义行为，而且和你提到的「标准布局类型」的限制直接相关。接下来我结合C++标准的核心条款，一步步拆解你的疑问，顺便帮你理清这段遗留代码“多年能跑”的侥幸原因，以及为什么现在突然炸了。

一、你的核心推理完全站得住脚：有虚函数的类型绝不可能是标准布局类型 #

先给你划C++标准里的硬规则：

C++标准规定，reinterpret_cast用于转换指针类型时，仅在极少数窄范围内是定义良好的。其中，跨无关类型的指针转换合法的前提之一是：两种类型都是标准布局类型，且对象表示完全一致。

而你提到的“有虚函数就 disqualifies from standard layout”完全正确——C++标准明确将以下类型排除在标准布局类型之外：

• 包含虚函数或虚基类的类型
• 非静态数据成员有不同访问控制（比如同时有public和private成员）的类型
• 基类和派生类的非静态数据成员布局不符合标准布局要求的类型

你的OldInterface和NewInterface都有虚函数，所以它们100%不是标准布局类型，直接堵死了reinterpret_cast合法的可能。这段代码本质上就是在赌编译器的实现细节，完全没有标准背书。

二、通过void*中转、跨翻译单元，依然逃不过未定义行为 #

你问的“转void*再转、不在同一个翻译单元”的情况，结论还是：依然是未定义行为。

为什么？ #

C++标准只保证一件事：把A*转成void*，再转回A*，结果是和原指针相等的。但跨类型的A*→void*→B*，标准对转换结果的描述是「未指定的（unspecified）」，而且后续对B*的解引用（比如调用newInterface->queryInterface）直接触发未定义行为——因为你本质上是在通过一个指向无关类型的指针，访问不属于它的内存（比如虚表、成员变量）。

至于“不同翻译单元”的情况，只会让问题更隐蔽：不同编译单元的类布局（比如虚表的起始位置、虚函数在虚表中的偏移）可能因为编译器版本、优化等级、甚至类的声明顺序而变化。之前“能跑”只是刚好两个类的虚表偏移在特定编译环境下碰巧一致，但这完全是编译器的实现细节，不是标准要求的，随时可能因为编译环境变化而失效（这就是你现在碰到段错误的直接原因）。

三、“等价虚表偏移”的假设完全没有标准依据 #

你提到的“期望等价虚表偏移”，本质上是在赌编译器的虚表实现细节，但C++标准对虚表的存在、结构、布局没有任何强制要求：

• 标准甚至不要求编译器用虚表实现多态（虽然现实中几乎所有编译器都用，但这是实现选择，不是标准义务）
• 即使编译器用虚表，虚函数在虚表中的偏移、虚表的内存位置，完全由编译器自主决定——比如有的编译器会把纯虚函数放在虚表的不同位置，有的会根据函数的访问控制排序，有的会因为类的其他虚成员而改变偏移。

结合你的代码：OldInterface的queryInterface是带默认实现的成员函数，还有NVI的模板包装；NewInterface的queryInterface是纯虚函数，参数是const NewGuid&而不是指针。这两个函数的签名完全不同，即使编译器都用虚表，它们在虚表中的偏移也可能天差地别。之前的“巧合能跑”，纯粹是撞大运。

最后给你补个遗留代码的常见坑解释 #

这段代码“工作了多年”的原因，其实是遗留代码里最常见的侥幸：在特定编译环境下，未定义行为恰好表现出符合预期的结果。比如早期的VC++或GCC版本，对虚表的布局比较“朴素”——比如第一个虚函数的偏移都是0，而且reinterpret_cast之后的指针刚好能蒙对虚表的位置。但一旦你升级编译器、改了优化选项、甚至给某个类加了新的虚函数，这种巧合就会被打破，直接触发段错误。

修复的话，绝对不能再依赖这种赌运气的转换：如果这两个接口确实需要互通，应该用适配器模式（比如写一个中间类，把OldInterface的调用适配成NewInterface的调用），或者重新设计接口的继承关系，绝对不能再用reinterpret_cast跨无关联多态类型。

内容来源于stack exchange