3 
class MyString
{
  public:
  MyString(int length):_ptr(alloca(length))
  {
  }
  //Copy Constructor, destructor, other member functions.
  private:
  void* _ptr;
};

int main()
{
  MyString str(44);
  return 0;
}

它是在主函数结束时释放还是在构造函数执行后立即释放？如果上面的代码按预期工作，那么有一个这样的字符串类是个好主意吗？

更新：

看起来主要的危险是

  1. 堆栈溢出
  2. 构造函数的内联

我认为我可以通过将 alloca 用于小尺寸并使用 malloc/free 用于大尺寸来处理 StackOverflow。我想必须有一些非便携式编译器特定的方式来强制编译器内联。

我很感兴趣，因为字符串类是在任何 c++ 项目中广泛使用的东西。如果我做对了，我预计会有巨大的性能提升，因为大多数分配都进入堆栈，否则会进入堆。这将是一个实用程序，最终用户不会知道内部结构。

4

2 回答 2

5

根据 alloca 的文档，当 alloca 的调用者返回时，内存被释放。因此，如果初始化列表被编译器视为构造函数的一部分，则内存将在构造函数的末尾被释放，即在执行初始化列表之前创建堆栈帧。如果在执行初始化列表后创建堆栈帧，则分配的内存将在构造函数的调用者中，因此，在这种情况下，内存在 main 结束时被释放。我对标准的了解不足以绝对确定它会以哪种方式发生。

但是，无论何时最终释放内存， 的值都ptr将保持不变。

于 2011-11-02T11:41:22.647 回答
3

类成员的初始化肯定是作为 c'tor 的一部分执行的。因此，至少按照标准，返回的指针的有效性alloca仅限于 c'tor。

因此，以您的方式初始化您的班级成员似乎是一个非常糟糕的主意。

OTOH不会有以下问题：

class MyString
{
  public:
  MyString(void* ptr):_ptr(ptr)
  {
  }
  //Copy Constructor, destructor, other member functions.
  private:
  void* _ptr;
};

int main()
{
  MyString str(alloca(44));
  return 0;
}
于 2011-11-02T12:16:55.787 回答