1

我试图得到段错误，但我无法得到它，我想知道为什么。

#include <iostream>
using namespace   std;


class A{

 public:
  char *field_;

   A(char *field):field_(field) {
   // I believe(suppose) that it's equal to
   // field_ = field;
   // so actual initial string wasn't copied, only a pointer to it
   }
 void show() {
    cout<<field_<<"\n";
}
};

int main(){

   A *obj;

{
    char *line="I should be freed";
    obj = new (nothrow) A(line);
}

  // After exiting from the previous scope,
  //  char *line variable should be freed. 
  // Constructor of class A didn't make byte for byte 
  //copying, so we cannot have
  // access to it for sure 

for(int i=0;i<4;i++)  // trying to clear stack and erase char *line  variable
 char something[10000];

obj->show(); // and it works correctly!!!! why?


 delete obj;
 return 0;
 }

好的，据我了解，它只能正常工作，因为该字符串没有从内存中释放。即我们只是幸运。在这里，我们有未定义的行为。我对吗？

先感谢您！！

4

2 回答 2

4

您不会遇到分段错误，因为您的程序没有进行无效的内存引用。我猜你认为它""I should be freed"是在堆栈上创建的，然后以某种方式销毁或释放，这是一个错误的假设，因为这是一个常量字符串文字，它被放置在程序数据段中，并且在你的程序生命周期内是“活着的” .

即使它是动态分配并在离开作用域时自动释放的，你仍然不能指望你的程序SIGSEGV在这种情况下接收。因为未定义的行为并不总是导致分段错误。

另外，尽量不要写char *data = "blah-blah";. 假定字符串文字始终是常量，尝试修改它们是未定义的行为。尽管人们有时仍然会解决这个问题。

于 2013-05-10T21:19:19.420 回答
2 
 char *line = "I should be freed";

您仍然可以看到内容，因为字符串文字具有静态存储持续时间。此处的字符串文字I should be freed位于只读位置，并在程序执行完成后被释放。

该程序没有未定义的行为。

于 2013-05-10T21:17:13.860 回答