这个包含可变大小数组的C ++类是否使用动态内存分配?

时间:2009-02-16 20:39:17

标签: c++ templates memory-management

做这样的事情是否使用动态内存分配?

template <class T, int _size> 
class CArray 
{ 
public:
    ... 
private:
    T m_data[_size]; 
};

当我创建对象时,有人可以向我解释幕后发生了什么吗?

CArray<SomeObject, 32> myStupidArray;

7 个答案:

答案 0 :(得分:11)

不,它将被就地分配(例如,在堆栈上,或作为包含对象的一部分)。

使用模板,在编译时评估参数,以便有效地编写代码;

class CArray 
{ 
public:
    ... 
private:
    SomeObject m_data[32]; 
};

答案 1 :(得分:5)

如其他答案中所述,模板在编译时进行评估。如果您感兴趣,可以让g ++吐出类层次结构,您可以在其中验证其大小:

template <class T, int _size>
class CArray
{
public:
private:
  T m_data[_size];
};

int main(int argc, char **argv) {
  CArray<int, 32> myStupidArray1;
  CArray<int, 8> myStupidArray2;
  CArray<int, 64> myStupidArray3;
  CArray<int, 1000> myStupidArray4;
}

使用-fdump-class-hierarchy编译:

g++ -fdump-class-hierarchy blah.cc

当前目录中应该有一个名为blah.cc.t01.class的文件:

Class CArray<int, 32>
   size=128 align=4
   base size=128 base align=4
CArray<int, 32> (0x40be0d80) 0

Class CArray<int, 8>
   size=32 align=4
   base size=32 base align=4
CArray<int, 8> (0x40be0e80) 0

Class CArray<int, 64>
   size=256 align=4
   base size=256 base align=4
CArray<int, 64> (0x40be0f80) 0

Class CArray<int, 1000>
   size=4000 align=4
   base size=4000 base align=4
CArray<int, 1000> (0x40be6000) 0

答案 2 :(得分:3)

Templates在编译时进行评估,因此m_data [_size]编译为m_data [32]。

答案 3 :(得分:1)

不,它不使用动态内存分配。编译器知道需要分配多少内存,它是在编译时决定的,而不是在运行时决定的。

在这里解释C ++模板没有任何意义,在其他页面上可以很好地解释它们,例如在C++ faq lite中。

答案 4 :(得分:0)

数组的大小在编译时是已知的,所以不,这里不会使用动态内存分配。如果在函数范围内声明数组,那么它将像任何其他类型的对象一样放在堆栈上。

当你定义像这样的可变大小的对象时,真正发生的是编译器正在构建一个“按顺序”的类定义。您将只使用包含'T m_data [32]'的类定义。

答案 5 :(得分:0)

1-仅在编译时评估模板。所以这个数组大小为32

2-你不能使用变量在堆栈上创建一个数组,它必须是一个可以在编译时计算的常量,否则你可以使用new(或malloc)

答案 6 :(得分:0)

动态内存分配通常在您调用new运算符(或其某个朋友)时发生。这从通常称为堆的内存预留中分配一块内存。请记住,与静态分配不同,编译器不会释放内存,因此您必须使用delete运算符(或其合适的版本)手动执行此操作。