VS2015与CodeBlocks中C++返回局部变量引用的结果差异，孰是孰非？

首先直接给结论：CodeBlocks的表现更符合C++标准的安全导向，而Visual Studio 2015的“正常运行”只是一种不可靠的巧合——你的代码本质上触发了C++中的未定义行为，这才是两款IDE表现不同的核心原因。

为什么你的代码存在风险？ #

先把你的核心代码整理成规范格式：

#include <iostream> 
using namespace std; 

class Demo { 
public: 
    int a; 
}; 

// 返回局部变量的引用
Demo& func() { 
    Demo temp; // temp是函数内的局部栈变量
    temp.a = 1; 
    return temp; // 返回已销毁变量的引用
} 

int main() { 
    Demo& d = func(); 
    cout << d.a; 
    return 0; 
}

在C++标准中，函数内的局部变量（比如func里的temp）存储在栈内存中，当函数执行完毕时，这块栈内存会被操作系统回收，变量的生命周期随之结束。此时返回它的引用，就相当于让一个引用指向了一块已经无效的内存空间——这就是未定义行为。

未定义行为的核心是：C++标准没有规定程序必须如何表现，编译器可以选择报错、崩溃、输出乱码，甚至“看似正常运行”，所有结果都是不可预测的，绝对不能依赖。

两款IDE表现差异的原因 #

• CodeBlocks（通常搭配GCC编译器）：GCC对这种明显的不安全代码做了编译期检查，直接抛出错误，阻止你运行有风险的程序，这是一种更严谨的安全保护行为。
• Visual Studio 2015（搭配MSVC编译器）：MSVC在这个场景下没有在编译期拦截错误，但这不代表你的代码是正确的。程序“正常运行”只是因为那块被释放的内存还没被其他数据覆盖，下次运行可能就会崩溃、输出随机值，或者出现其他奇怪的问题。

正确的实现方案 #

如果你需要返回一个可被引用的对象，可以参考以下几种安全写法：

• 返回值而非引用：如果不需要后续修改原对象，直接返回Demo类型的值，编译器会自动处理对象的拷贝（C++11及以上还会有移动语义优化）：

  Demo func() { 
      Demo temp; 
      temp.a = 1; 
      return temp; 
  } 
  

• 使用静态局部变量：静态变量的生命周期和程序一致，不会随函数结束而销毁，但要注意线程安全问题：

  Demo& func() { 
      static Demo temp; 
      temp.a = 1; 
      return temp; 
  } 
  

• 在堆上分配对象（需注意内存管理）：用new创建对象，返回其引用，但记得在不需要时用delete释放，或者用智能指针自动管理内存：

  Demo& func() { 
      Demo* temp = new Demo(); 
      temp->a = 1; 
      return *temp; 
  } 
  // 在main中使用后需手动释放：delete &d;
  

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