c++ what happens when a constructor throws an exception and leaves the object in an inconsistent state?
2014-11-19 01:09
453 查看
为什么会想到这个问题?因为我总是不自觉地将c++和java进行对比。java对这种情况的处理方式是constructor返回一个null,然后已经构造的objects交给Garbage Collector处理,那么c++没有Garbage Collector,会是怎么样的一种情况呢?
为了找到这个问题的答案,我做了个小实验,代码见main.cpp, Box.h, Box.cpp
运行之前,我的设想是box->b的值为"NULL",因此程序输出如下:
e.what() : a < 0
b == NULL
而事实是,在输出e.what() : a < 0之后,程序便崩溃了
打上断点一瞧,执行到box->dostuff()里面的时候,这些主存地址都已经不可访问(也就是说已经被操作系统回收了,不再属于这个程序的可访问主存范围),截图如下:
根据c++ primer 4th edition section 17.1.2 "Exceptions and Constructors" 我引用如下:
If an exception occurs while constructing an object, then the object might be only partially constructed. Some of its members might have been initialized, and others might not have been initialized before the exception occurs. Even if the object is only partially constructed, we are guaranteed that the constructed members will be properly destroyed.
我最开始以为加粗的句子是说要让我们自己来guarantee that the constructed memebers will be properly destroyed,原来这个工作不需要我们做(?)。然后我又重新修改了程序来验证这一点——"we are guaranteed that the constructed members will be properly destroyed.",见main1.cpp,Box1.h,Box1.cpp
但是执行的结果如下:
也就是说,what和why所占用的主存空间泄漏了,memory leak
也就是说,c++ primer所说的“we are guaranteed that the constructed members will be properly destroyed.”不适用于new出来的object!
怎么办?参考这个问题:http://stackoverflow.com/questions/188693/is-the-destructor-called-if-the-constructor-throws-an-exception
所以改写程序为:main2.cpp,Box2.h,Box2.cpp,运行结果如下(完美解决!):
至于auto_ptr的实现方法,之前我写过一篇随笔(/article/6726156.html),其实就是c++ primer 4th edition section 13.5.1 "Defining Smart Pointer Classes"所陈述的内容,大概的思路都在c++ primer的这个章节里面了,值得一看!
main.cpp
Box.h
Box.cpp
main1.cpp
Box1.h
Box1.cpp
main2.cpp
Box2.h
Box2.cpp
为了找到这个问题的答案,我做了个小实验,代码见main.cpp, Box.h, Box.cpp
运行之前,我的设想是box->b的值为"NULL",因此程序输出如下:
e.what() : a < 0
b == NULL
而事实是,在输出e.what() : a < 0之后,程序便崩溃了
打上断点一瞧,执行到box->dostuff()里面的时候,这些主存地址都已经不可访问(也就是说已经被操作系统回收了,不再属于这个程序的可访问主存范围),截图如下:
根据c++ primer 4th edition section 17.1.2 "Exceptions and Constructors" 我引用如下:
If an exception occurs while constructing an object, then the object might be only partially constructed. Some of its members might have been initialized, and others might not have been initialized before the exception occurs. Even if the object is only partially constructed, we are guaranteed that the constructed members will be properly destroyed.
我最开始以为加粗的句子是说要让我们自己来guarantee that the constructed memebers will be properly destroyed,原来这个工作不需要我们做(?)。然后我又重新修改了程序来验证这一点——"we are guaranteed that the constructed members will be properly destroyed.",见main1.cpp,Box1.h,Box1.cpp
但是执行的结果如下:
也就是说,what和why所占用的主存空间泄漏了,memory leak
也就是说,c++ primer所说的“we are guaranteed that the constructed members will be properly destroyed.”不适用于new出来的object!
怎么办?参考这个问题:http://stackoverflow.com/questions/188693/is-the-destructor-called-if-the-constructor-throws-an-exception
所以改写程序为:main2.cpp,Box2.h,Box2.cpp,运行结果如下(完美解决!):
至于auto_ptr的实现方法,之前我写过一篇随笔(/article/6726156.html),其实就是c++ primer 4th edition section 13.5.1 "Defining Smart Pointer Classes"所陈述的内容,大概的思路都在c++ primer的这个章节里面了,值得一看!
main.cpp
#include "Box.h" #include <iostream> #include <stdexcept> using namespace std; int main() { Box *box = NULL; try { box = new Box(-1); } catch (invalid_argument &e) { cout << "e.what() : " << e.what() << endl; box->dostuff(); } if (box != NULL) delete box; return 0; }
Box.h
#ifndef BOX_H #define BOX_H class Box { public: Box(const int &a); ~Box(); void dostuff(); private: int a; int *b; }; #endif // BOX_H
Box.cpp
#include "Box.h" #include <iostream> #include <stdexcept> using namespace std; Box::Box(const int &_a): a(_a), b(NULL) { if (a < 0) throw invalid_argument("a < 0"); b = new int(99); cout << "Box created" << endl; } Box::~Box() { if (b != NULL) delete b; cout << "Box destroyed" << endl; } void Box::dostuff() { if (b == NULL) { cout << "b == NULL" << endl; } else { cout << "b = " << b << endl; } }
main1.cpp
#include "Box.h" #include <iostream> #include <stdexcept> using namespace std; int main() { Box *box = NULL; try { box = new Box(-1); } catch (invalid_argument &e) { cout << "e.what() : " << e.what() << endl; // box->dostuff(); } if (box != NULL) delete box; return 0; }
Box1.h
#ifndef BOX_H #define BOX_H #include <memory> class Bottle { public: Bottle(); ~Bottle(); }; class Hat { public: Hat(); ~Hat(); }; class Box { public: Box(const int &a); ~Box(); void dostuff(); private: class What; class Why; int a; Bottle bottle; Hat hat; What *what; Why *why; int *b; }; #endif // BOX_H
Box1.cpp
#include "Box.h" #include <iostream> #include <stdexcept> using namespace std; class Box::What { public: What() { cout << "What created" << endl; } ~What() { cout << "What destroyed" << endl; } }; class Box::Why { public: Why() { cout << "Why created" << endl; } ~Why() { cout << "Why destroyed" << endl; } }; Bottle::Bottle() { cout << "Bottle created" << endl; } Bottle::~Bottle() { cout << "Bottle destroyed" << endl; } Hat::Hat() { cout << "Hat created" << endl; } Hat::~Hat() { cout << "Hat destroyed" << endl; } // Pay attention to the order of the initializer: the same as the declaration // order, otherwise the compiler will give warnings (there's a reason for that) // the reason is the compiler always initializes data members following the order // in which they're declared Box::Box(const int &_a): a(_a), what(new What()), why(new Why()), b(NULL) { if (a < 0) throw invalid_argument("a < 0"); b = new int(99); cout << "Box created" << endl; } // Notice the order of deletes: It's BETTER be the reverse order as they're created // Without the right definition of destructor, when exception thrown from the constructor // members cannot be destroyed properly. (Of course, also the same in normal situation). Box::~Box() { if (b != NULL) delete b; if (why != NULL) delete why; if (what != NULL) delete what; cout << "Box destroyed" << endl; } void Box::dostuff() { if (b == NULL) { cout << "b == NULL" << endl; } else { cout << "b = " << b << endl; } }
main2.cpp
#include "Box.h" #include <iostream> #include <stdexcept> using namespace std; int main() { Box *box = NULL; try { box = new Box(-1); } catch (invalid_argument &e) { cout << "e.what() : " << e.what() << endl; // box->dostuff(); } if (box != NULL) delete box; return 0; }
Box2.h
#ifndef BOX_H #define BOX_H #include <memory> class Bottle { public: Bottle(); ~Bottle(); }; class Hat { public: Hat(); ~Hat(); }; class Box { public: Box(const int &a); ~Box(); void dostuff(); private: class What; class Why; int a; Bottle bottle; Hat hat; std::auto_ptr<What> what; std::auto_ptr<Why> why; int *b; }; #endif // BOX_H
Box2.cpp
#include "Box.h" #include <iostream> #include <stdexcept> using namespace std; class Box::What { public: What() { cout << "What created" << endl; } ~What() { cout << "What destroyed" << endl; } }; class Box::Why { public: Why() { cout << "Why created" << endl; } ~Why() { cout << "Why destroyed" << endl; } }; Bottle::Bottle() { cout << "Bottle created" << endl; } Bottle::~Bottle() { cout << "Bottle destroyed" << endl; } Hat::Hat() { cout << "Hat created" << endl; } Hat::~Hat() { cout << "Hat destroyed" << endl; } // Pay attention to the order of the initializer: the same as the declaration // order, otherwise the compiler will give warnings (there's a reason for that) // the reason is the compiler always initializes data members following the order // in which they're declared Box::Box(const int &_a): a(_a), what(new What()), why(new Why()), b(NULL) { if (a < 0) throw invalid_argument("a < 0"); b = new int(99); cout << "Box created" << endl; } // Notice the order of deletes: It's BETTER be the reverse order as they're created // Without the right definition of destructor, when exception thrown from the constructor // members cannot be destroyed properly. (Of course, also the same in normal situation). Box::~Box() { if (b != NULL) delete b; if (why.get() != NULL) why.reset(NULL); // might be unnecessary, see auto_ptr's documentation if (what.get() != NULL) what.reset(NULL); cout << "Box destroyed" << endl; } void Box::dostuff() { if (b == NULL) { cout << "b == NULL" << endl; } else { cout << "b = " << b << endl; } }
相关文章推荐
- What happens when you type an URL in the browser and press enter?
- What’s the behavior when calling an overwritten virtual method in the constructor method of a base class?
- In p = new Fred(), does the Fred memory “leak” if the Fred constructor throws an exception?
- FW:Use the OnReadyStateChange Property in Visual Basic and Visual C/C++
- JBoss Cache NonManagedConnectionFactory will log the password in clear text when an exception occurs
- An explicit value for the identity column in table can only be specified when a column list is used and IDENTITY_INSERT is ON
- What happend: Exception throws in the .ctor()?
- A LNK2005 error occurs when the CRT library and MFC libraries are linked in the wrong order in Visual C++
- Excel导入遇到的问题An object with the same key already exists in the ObjectStateManager……
- HOW TO: Find the Problem Exception Stack When You Receive an UnhandledExceptionFilter Call in the St
- What are the differences between a pointer variable and a reference variable in C++?
- [转] When exactly does the virtual table pointer (in C++) gets set for an object?
- zz : A LNK2005 error occurs when the CRT library and MFC libraries are linked in the wrong order in Visual C++ ---- nafxcw.lib(a
- org.springframework.security.AuthenticationCredentialsNotFoundException: An Authentication object was not found in the SecurityC
- Question 27: Which of the following reasons describe why a destructor cannot throw an exception in C++?
- In PHP5, what is the difference between using self and $this? When is each appropriate?
- Inside The C++ Object Model(Note):sizeof in an object
- What happend: Exception throws in the .ctor()?
- What happens when more restrictive access is given to a derived class method in C++?
- In C++, what’s the difference between an inline function and a macro?