Visual Studio 将非常量引用绑定到临时对象的奇怪案例
Visual Studio 将非常量引用绑定到临时对象的行为已引发由于其看似矛盾的性质,一些程序员感到惊讶。要理解上下文,请考虑以下代码片段:
class Zebra {int x;}; Zebra goo() {Zebra z; return z;} void foo(Zebra &x) { Zebra y; x = y; foo(goo()); }
令人惊讶的是,Visual Studio 允许编译此代码,而 gcc 将其识别为错误。这种现象让许多人对 Visual Studio 方法背后的基本原理感到好奇。
经过仔细检查,结果发现 Visual Studio 采用了较旧的语言扩展。 Microsoft 错误报告揭示了这个问题,强调 Visual Studio 允许将临时对象绑定到非常量引用。但是,可以使用 /Za 编译器选项来纠正此行为,该选项会禁用语言扩展。
要进一步说明此扩展,请考虑以下代码:
struct A {}; A f1(); void f2(A&); int main() { f2(f1()); // This line triggers an error with `/Za` enabled }
作为解决方法,Visual Studio 支持此类情况的 4 级警告,可以通过在编译期间指定 /W4 来激活该警告。不过,值得注意的是,这种方法仍然允许代码编译,凸显了 Visual Studio 扩展的灵活性。
以上是为什么 Visual Studio 允许非常量引用绑定到临时对象?的详细内容。更多信息请关注PHP中文网其他相关文章!