программа неожиданно прекращается после ввода блока catch

Question

У меня есть код, который работает нормально, но он прерывается, когда я добавляю обработку исключений. Я новичок, и вот код

Этот код работает (для краткости, включают защитные ограждения не показаны):

В plane.h:

#include "vector.h" //which, like point.h, inherits from orderedpair.h 
class Plane { 
    public: 
     Plane(const std::string &label); 
     Plane(const Plane &); 
     virtual ~Plane(); 

     void insert(const OrderedPair &); 
     void label(const std::string & label); 
     std::string label() const {return _label;} 

    protected: 
     std::string _label; 
     bool operator==(const Plane &rhs) const {return label() == rhs.label();} 
     bool operator<(const Plane & rhs) const {return label() < rhs.label();} 
}; 

В plane.cpp

#include <set> 
Plane::Plane(const std::string &label) : _label(label) { 
    getUniverse().insert(this); 
} 

/*GLOBAL OBJECTS*/ 

extern std::set<Plane *>& getUniverse() { 
    static std::set<Plane *>universe; 
    return universe; 
} 

extern Plane& getDefaultPlane() { 
    static Plane Default("Default"); 
    return Default; 
} 

void printworld() { 
    for (auto i : getUniverse()) 
     std::cout << (*getUniverse().find(i))->label() << std::endl; 
} 

и главный:

//MinGW32 4.9 Code::Blocks 16.01 Windows Vista(!!) 64bit -std=C++11 
#include <iostream> 
#include "vector.h" //includes point.h which includes orderedpair.h 
#include "plane.h" 

using namespace std; 

namespace { 
    struct Initializer {; 
     Initializer(); 
    }; 
} 

int main() { 

static Initializer init; 
Point A("A", 1, 1); 

Plane P("P"); 
Plane duplicate("Default"); 

printworld(); 
return 0; 
} 

Initializer::Initializer() 
{ 
    // Trigger construction of the default Plane 
    getDefaultPlane(); 
} 

Тогда я включаю исключение в plane.h и добавьте следующую строку в верхней части:

class E : public std::exception { 
    const char *msg = nullptr; 
public: 
    E(const char *m) throw() : msg(m) {} 
    const char *what() const throw() {return msg;} 
}; 
const E DuplicateObj("Object already exists!\n"); 

Он собирает и работает без проблем. Тогда я изменить конструктор плоскости таким образом (чтобы убедиться, что метка не была использована ранее):

Plane::Plane(const std::string &label) : _label(label) { 
    for (auto i : getUniverse()) { 
      if ((*getUniverse().find(i))->label() == _label) throw DuplicateObj; 
    } 
    getUniverse().insert(this); 
} 

и закомментируйте экземпляр дубликата плоскости в основном (чтобы избежать запуска броска). Он компилируется и запускается без проблем.

тогда я обернуть объект Инстанцирование строки в Try/поймать блок в основном:

try { 
    Point A("A", 1, 1); 
    Plane P("P"); 
    //Plane duplicate("Default"); 
} 
catch (const E& e) { 
    cerr << e.what() << endl; 
} 
catch (const exception &e) { 
    cerr << e.what() << endl; 
} 

Она компилирует, но сбои со следующим результатом:

Process returned -1073741819 (0xC0000005) execution time : 9.537 s 
Press any key to continue. 

Answer 1

не проблема исключений ,

Это проблема указателя и объема.

Если я не ошибаюсь.

Ваш Plane конструктор вставки (getUniverse().insert(this);) this указатель на статический глобальный набор (static std::set<Plane *>universe; в getUniverse()).

Затем вы используете этот глобальный набор в последней инструкции main() (printworld()).

Перед введением блоков try/catch, сфера применения Plane P("P"); объекта является полной main() функции; поэтому указатель на P является действительным указателем, когда вы вызываете printworld.

Но когда вы пишете

try { 
    Plane P("P"); 
    // end of P scope 
} 

// P is out of scope; the pointer to P, in universe, is invalid 

printworld(); // use of a invalid pointer to P 

объем P лишь try блок; поэтому, когда вы вызываете printworld() из try, блок, universe содержит указатель на уничтоженный объект.

Crash!

p.s .: извините за мой плохой английский.