1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // UNSUPPORTED: libcpp-no-exceptions 11 // <deque> 12 13 // void push_back(const value_type& x); 14 15 #include <deque> 16 #include "test_allocator.h" 17 #include <cassert> 18 19 // Flag that makes the copy constructor for CMyClass throw an exception 20 static bool gCopyConstructorShouldThow = false; 21 22 class CMyClass { 23 public: CMyClass(int tag); 24 public: CMyClass(const CMyClass& iOther); 25 public: ~CMyClass(); 26 27 bool equal(const CMyClass &rhs) const 28 { return fTag == rhs.fTag && fMagicValue == rhs.fMagicValue; } 29 30 private: 31 int fMagicValue; 32 int fTag; 33 34 private: static int kStartedConstructionMagicValue; 35 private: static int kFinishedConstructionMagicValue; 36 }; 37 38 // Value for fMagicValue when the constructor has started running, but not yet finished 39 int CMyClass::kStartedConstructionMagicValue = 0; 40 // Value for fMagicValue when the constructor has finished running 41 int CMyClass::kFinishedConstructionMagicValue = 12345; 42 43 CMyClass::CMyClass(int tag) : 44 fMagicValue(kStartedConstructionMagicValue), fTag(tag) 45 { 46 // Signal that the constructor has finished running 47 fMagicValue = kFinishedConstructionMagicValue; 48 } 49 50 CMyClass::CMyClass(const CMyClass& iOther) : 51 fMagicValue(kStartedConstructionMagicValue), fTag(iOther.fTag) 52 { 53 // If requested, throw an exception _before_ setting fMagicValue to kFinishedConstructionMagicValue 54 if (gCopyConstructorShouldThow) { 55 throw std::exception(); 56 } 57 // Signal that the constructor has finished running 58 fMagicValue = kFinishedConstructionMagicValue; 59 } 60 61 CMyClass::~CMyClass() { 62 // Only instances for which the constructor has finished running should be destructed 63 assert(fMagicValue == kFinishedConstructionMagicValue); 64 } 65 66 bool operator==(const CMyClass &lhs, const CMyClass &rhs) { return lhs.equal(rhs); } 67 68 int main() 69 { 70 CMyClass instance(42); 71 { 72 std::deque<CMyClass> vec; 73 74 vec.push_back(instance); 75 std::deque<CMyClass> vec2(vec); 76 77 gCopyConstructorShouldThow = true; 78 try { 79 vec.push_back(instance); 80 assert(false); 81 } 82 catch (...) { 83 gCopyConstructorShouldThow = false; 84 assert(vec==vec2); 85 } 86 } 87 88 { 89 typedef std::deque<CMyClass, test_allocator<CMyClass> > C; 90 C vec; 91 C vec2(vec); 92 93 C::allocator_type::throw_after = 1; 94 try { 95 vec.push_back(instance); 96 assert(false); 97 } 98 catch (...) { 99 assert(vec==vec2); 100 } 101 } 102 } 103