帮忙看看内存是怎么分配的 thx

Question

//帮我解释解释这段代码的内存是怎么分配的
struct Pos{
DWORD x;
DWORD y;
};CArray<Pos, Pos&> m_APos;//??定义m_APos的时候 会在全局数据区分配空间void setPos() {
Pos pos; //??在堆栈或者动态内存堆上分配内存
int a = 0; //??在全局数据区分配内存  还是动态内存区
pos.x = 1; //??赋值  如果不是1  而是一个局部变量会怎么样  x的值会是个什么值
pos.y = 1;
m_APos.Add(pos); //??是把pos这个struct整个结构拷贝过去  还是m_APos里面有一个指向pos的指针
//??pos怎么释放的
}

//如果换成指针的话
CArray<Pos, Pos&> *m_pAPos = new CArray<Pos, Pos&>[10];
//??定义m_pAPos的时候 会在全局数据区分配空间  返回一个指针void setPos1() {
Pos *pos = new Pos();; //??在堆栈或者动态内存堆上分配内存
int a = 0; //??在全局数据区分配内存  还是动态内存区
pos->x = 1; //??赋值  如果不是1  而是一个局部变量会怎么样  x的值会是个什么值
pos->y = 1; //??是不是一个指向变量的指针  那这个变量会不会被释放
m_pAPos->Add(*pos); //??是把pos这个struct整个结构拷贝过去  还是m_pAPos里面有一个指向pos的指针
//??pos怎么释放的   会不会pos释放了   而m_pAPos元素还在指向pos
}晕头转向   望指点

Answer 1

//不知道你这段代码在什么地方,以下假设现在是全局域,  解释如下:struct Pos{
DWORD x;
DWORD y;
};CArray<Pos, Pos&> m_APos;//全局数据区void setPos() {
Pos pos; //堆栈
int a = 0; //堆栈
pos.x = 1; //局部变量的值(已赋值)或默任初始值(只声明,不赋值)
pos.y = 1;
m_APos.Add(pos); //仅仅指向pos的指针
//pos的指针回自己释放,指针指向的内存,需要自己释放
}

//如果换成指针的话
CArray<Pos, Pos&> *m_pAPos = new CArray<Pos, Pos&>[10];
//在堆(不是堆栈)上分配void setPos1() {
Pos *pos = new Pos();; //在堆上分配内存
int a = 0; //堆栈 pos->x = 1; //同上 pos->y = 1; //同上 m_pAPos->Add(*pos); //同上 //同上}

Answer 2

struct Pos{
DWORD x;
DWORD y;
};CArray<Pos, Pos&> m_APos;//定义一个全局的数组，在全局数据区分配void setPos() {
Pos pos; //在栈中分配空间，当函数结束是这个空间就会自动释放
int a = 0; //在栈空间中分配内存区，函数结束自动释放
pos.x = 1; //x是一个32位的DWORD类型的值
pos.y = 1;
m_APos.Add(pos); //把pos这个struct整个结构拷贝过去  
//pos在整个程序运行期内都不会被释放，因为他是存在于全局数据区的
}

//如果换成指针的话
CArray<Pos, Pos&> *m_pAPos = new CArray<Pos, Pos&>[10];
//这个指针所占的空间会在全局数据区分配，而他所指向的内存是在堆中分配的void setPos1() {
Pos *pos = new Pos();; //在栈中定义一个指针，指针所指的内存是在堆中分配的
int a = 0; //这个int类型的变量a是在栈中分配的空间，因为他是在函数体内定义的变量
pos->x = 1; //如果不是1而是个局部变量的话，要看这个局部变量的作用域如何，如果在这个操作之前这个局部变量的作用域已经结束，那么程序将返回错误，局部变量没有定义。否则，这个局部变量的值将传递给x
pos->y = 1; //这个变量会在函数结束是被释放
m_pAPos->Add(*pos); //是把指向结构体变量的指针加到数组中 //你的这个pos是在函数内部定义的所以在函数结束时会自动释放，而pos所指向的内存空间是不会被自动释放的，因为他是在堆中分配的空间
}

Answer 3

AFX_INLINE int CArray<TYPE, ARG_TYPE>::Add(ARG_TYPE newElement)
{ int nIndex = m_nSize;
SetAtGrow(nIndex, newElement);
return nIndex; }
void CArray<TYPE, ARG_TYPE>::SetAtGrow(int nIndex, ARG_TYPE newElement)
{
ASSERT_VALID(this);
ASSERT(nIndex >= 0); if (nIndex >= m_nSize)
SetSize(nIndex+1, -1);
m_pData[nIndex] = newElement;
}
从CArry的Add的实现来看   这两句话  是不是有问题
Pos pos; //在栈中分配空间，当函数结束是这个空间就会自动释m_APos.Add(pos); //把pos这个struct整个结构拷贝过去  
//pos在整个程序运行期内都不会被释放，因为他是存在于全局数据区的 m_pData[nIndex] = newElement；    最终保存的是参数的引用   
如果在栈中  会被释放  保存他的引用有什么用   好像成了野指针

Answer 4

jokerjava(冷血) 分析的不错！这就是mfc给人带来的困惑。存什么怎么存？这是由CArry来决定的。你声明了一个CArry的对象，没用new可并不代表它就会把自己的数据也放到栈中！
而且你会发现mfc中这类数组类多半是采用存指针且存在堆中的策略，以防止堆栈溢出。

Answer 5

不过这句：m_APos.Add(pos); //把pos这个struct整个结构拷贝过去  
我觉得是对的。