C++中栈和堆上建立对象的区别（转载）

原文： https://www.cnblogs.com/xiaoxiaoqiang001/p/5557704.html

在C++中类的对象建立分为两种，一种是静态建立，如A a；另一种是动态建立，如A* p=new A()，A*p=(A*)malloc()；静态建立一个类对象，是由编译器为对象在栈空间中分配内存，通过直接移动栈顶指针挪出适当的空间，然后在这片内存空间上调用构造函数形成一个栈对象。动态建立类对象，是使用new运算符将对象建立在堆空间中，在栈中只保留了指向该对象的指针。栈是由编译器自动分配释放 ，存放函数的参数值，局部变量的值，对象的引用地址等。其操作方式类似于数据结构中的栈，通常都是被调用时处于存储空间中，调用完毕立即释放。堆中通常保存程序运行时动态创建的对象，C++堆中存放的对象需要由程序员分配释放，它存在程序运行的整个生命期，直到程序结束由OS释放。而在java中通常类的对象都分配在堆中，对象的回收由虚拟机的GC垃圾回收机制决定。

1.下面的程序来看看静态建立和动态建立对象的区别

 1 #include<iostream>
 2 #include<string>
 3 using namespace std;
 4 class  student
 5 {
 6 public:
 7     string name;
 8     int age;
 9     void sayhello();
10 };
11 void student::sayhello()
12 {
13     cout<<"my name is: "+this->name+" I am: "<<this->age;
14     cout<<"\n";
15 }
16 student setname(string name)
17 {
18     student stu;
19     stu.age=12;
20     stu.name=name;
21     return stu;
22 }
23 int main()
24 {
25     student stu=setname("jim");
26     stu.sayhello();
27     return 0;
28 }

程序运行结果：my name is: jim I am: 12;

程序定义了一个student类，在setname函数中定义一个局部对象作为返回值。程序第18行静态构建了一个student对象stu，它在栈上分配空间，在函数调用结束后就销毁了，函数返回的类对应在内存中的值应该不存在啊？其实原来C++在用类作为函数的返回值时调用了类的拷贝构造函数，而且该拷贝构造函数是在堆上分配存储空间，后面再讨论这个问题。

在setname函数内的stu在函数调用结束后就销毁了，可以添加一个析构函数来证明：

在student类中加入析构函数：

student::~student()
{
    cout<<this->name<<":gameover"<<endl;
}

程序运行结果：

在sayhello()前，输出jim:gameover，即为setname()里的stu对象执行了析构函数。

如将setname函数改为：

student* setname(string name)
{
    student stu;
    stu.age=12;
    stu.name=name;
    return &stu;
}

main函数的调用改为：

int main()
{
    student* p=setname("tom");
    p->sayhello();
    return 0;
}

显然这里会出现问题，对象指针返回的是栈上的对象，在函数调用结束后已经销毁了，对象指针即为野指针，故程序在编译时会提示：warning C4172: returning address of local variable or temporary。解决这个问题我们自然想到把该对象构建在堆上即可。修改setname函数为下：

 student* setname(string name)
 {
student* stu= new student();
stu->age=12;
stu->name=name;
return  stu;
 }

main函数的调用不变；程序正常运行输出：

上面输出结果并没有调用析构函数，在setname调用后，在main函数结束后也没有调用。在对上的对象需要程序员自己delete释放，将main改为如下：

int main()
{
    student* p=setname("tom");
    p->sayhello();
    delete p;
    return 0;
}

即加入delete p;运行结果：

C中用malloc函数来动态申请空间，该内存分配在堆上。这里可以验证，加入#include <malloc.h>，将setname函数改为如下：

1  student* setname(string name)
2  {
3 student* stu=(student*)malloc(sizeof(student));
4 stu->age=12;
5 stu->name=name;
6 return  stu;
7  }

为在student中加入构造函数：

student::student()
{
    cout<<"constructor"<<endl;
}

上面的程序执行到第5行会出错，原因是没有调用构造函数，stu->name根本就没有被初始化（string的构造函数没有被调用），所以不能赋值 。具体的解释是： 因为malloc只是分配堆内存（不会调用构造函数）它并不知道内存里要存的是什么。为此用new即可，将第3行代码改为：student* stu=new student;程序运行结果为下：

即程序调用了构造函数。若非要用malloc来申请内存可以将setname函数改为如下：

1  student* setname(string name)
2  {
3 student* stu=(student*)malloc(sizeof(student));
4 new(stu) student;
5 stu->age=12;
6 stu->name=name;
7 return  stu;
8  }

即加入了第4行程序正常运行，调用了构造函数。第4行大概可以理解为new了一个student对象，赋值转换为student的指针stu。
既然这样可以把第3行直接改为：student* stu；即

1  student* setname(string name)
2  {
3 //student*stu= new student;
4 student* stu;
5 new(stu) student;
6 stu->age=12;
7 stu->name=name;
8 return  stu;
9  }

让说第4,5行的效果应该和第3行相同，编译程序提示：warning C4700: local variable 'stu' used without having been initialized，即stu没有初始化。 new(stu) student;和stu= new student;并不等价。第5行并不是初始化，这里可以看做第5行这种写法（之前还真没见过）是C++为兼容malloc内存申请的用法，一般情况下推荐肯定是用new关键字。
到此其实这里要说明的主题已经基本说明了，关于malloc的用法当申请的类的成员变量只包含基本的数据类型（数值型int，double等）（string等引用类除外）时是不会出错的。下面的列子可以证明；

 1 #include<iostream>
 2 #include<string>
 3 #include <malloc.h>
 4 using namespace std;
 5 class course
 6 {
 7 public:
 8     int id;
 9     float score;
10     void printscore()
11     {
12     cout<<"id:"<<this->id;
13         cout<<" score:"<<this->score<<endl;
14     }
15 };
16 
17  course* setscore(int id,float score)
18  {
19      course* co= (course*)malloc(sizeof(course));
20      co->id=id;
21      co->score=score;
22      return co;
23  }
24 int main()
25 {
26 course* cou=setscore(999,188.9);
27 cou->printscore();
28     return 0;
29 }

程序运行结果如下：

 程序第19行这样的用法没有问题，而之前的string类却有问题。这样看来，自定义类型作为类的成员时也应该会有问题，来看下面的代码：

 1 #include<iostream>
 2 #include<string>
 3 #include <malloc.h>
 4 using namespace std;
 5 class course;
 6 class  student
 7 {
 8 public:
 9     string  name;
10     int age;
11         course cou;
12     void sayhello();
13     ~student();
14     student();
15 };
16 student::student()
17 {
18     cout<<"constructor"<<endl;
19 }
20 student::~student()
21 {
22     cout<<this->name<<":gameover"<<endl;
23 }
24 void student::sayhello()
25 {
26     cout<<"my name is: "+this->name+" I am: "<<this->age;
27     cout<<"\n";
28 }
29 class course
30 {
31 public:
32     int id;
33     float score;
34     void printscore()
35     {
36     cout<<"id:"<<this->id;
37         cout<<" score:"<<this->score<<endl;
38     }
39 };
40  course* setscore(int id,float score)
41  {
42      course* co= (course*)malloc(sizeof(course));
43      co->id=id;
44      co->score=score;
45      return co;
46  }
47  student* setname_score(string name ,course* cou)
48  {
49 student* stu= (student*)malloc(sizeof(student));
50 stu->age=12;
51 new(stu)student;
52 stu->cou.id=cou->id;
53 stu->cou.score=cou->score;
54 stu->name= name;
55 return  stu;
56  }
57 int main()
58 {
59 course* cou=setscore(999,188.9);
60 student* stu=setname_score("jimm",cou);
61 stu->cou.printscore();
62 stu->sayhello();
63 return 0;
64 }

这段代码中把course类对象作为student的类成员。程序编译出错： error C2079: 'cou' uses undefined class 'course'。把course类的定义放在前面则没有错即：

#include<iostream>
#include<string>
#include <malloc.h>
using namespace std;
class course
{
public:
    int id;
    float score;
    void printscore()
    {
    cout<<"id:"<<this->id;
        cout<<" score:"<<this->score<<endl;
    }
};
class  student
{
public:
    string  name;
    int age;
        course cou;
    void sayhello();
    ~student();
    student();
};
student::student()
{
    cout<<"constructor"<<endl;
}
student::~student()
{
    cout<<this->name<<":gameover"<<endl;
}
void student::sayhello()
{
    cout<<"my name is: "+this->name+" I am: "<<this->age;
    cout<<"\n";
}
course* setscore(int id,float score)
 {
     course* co= (course*)malloc(sizeof(course));
     co->id=id;
     co->score=score;
     return co;
 }
student* setname_score(string name ,course* cou)
 {
student* stu= (student*)malloc(sizeof(student));
stu->age=12;
new(stu)student;
stu->cou.id=cou->id;
stu->cou.score=cou->score;
stu->name= name;
return  stu;
 }
int main()
{
course* cou=setscore(999,188.9);
student* stu=setname_score("jimm",cou);
stu->cou.printscore();
stu->sayhello();
return 0;
}

运行结果为：

上面程序setname_score函数中若不用new(stu)student;这种写法，则会出现未初始化的错误。这里完全可以将类的成员改为指针的形式，在初始化时用new在堆上分配存储。改写的代码如下：

#include<iostream>
#include<string>
#include <malloc.h>
using namespace std;
class course;
class  student
{
public:
    string*  name;
    int age;
        course* cou;
    void sayhello();
    ~student();
    student();
};
student::student()
{
    cout<<"constructor"<<endl;
}
student::~student()
{
    cout<<this->name<<":gameover"<<endl;
}
void student::sayhello()
{
    cout<<"my name is: "+*(this->name)+" I am: "<<this->age;
    cout<<"\n";
}
class course
{
public:
    int id;
    float score;
    void printscore()
    {
    cout<<"id:"<<this->id;
        cout<<" score:"<<this->score<<endl;
    }
};
course* setscore(int id,float score)
{
     course* co= (course*)malloc(sizeof(course));
     co->id=id;
     co->score=score;
     return co;
}
student* setname_score(string name ,course* cou)
{
student* stu= (student*)malloc(sizeof(student));//student*stu=new student;也一样，只是一个调用构造函数，一个不调用
stu->age=12;
stu->cou=new course();//这里用new建立对象
stu->cou->id=cou->id;
stu->cou->score=cou->score;
stu->name=new string(name);//new
return  stu;
 }
int main()
{
course* cou=setscore(999,188.9);
student* stu=setname_score("jimm",cou);
stu->cou->printscore();
stu->sayhello();
return 0;

}

上面程序运行结果为：

综上所述，C++中对象的建立可以在堆和栈上。分别为动态建立和动态建立的方式，构建堆上的对象时一般使用new关键字，而对象的指针在栈上。使用new在堆上构建的对象需要主动的delete销毁。C++对象可以在堆或栈中，函数的传参可以是对象(对象的拷贝)，或是对象的指针。而在java中对象一般分配在堆上，对象的传值只有值类型，即对象的引用（地址），这样看来C++要灵活的多。关于c++数组的内存分配还有这里提到的拷贝构造函数，下次再讨论啊。上面的程序在VC++6.0编写通过。