On Friday, 8 March 2013 at 06:05:02 UTC, Maxim Fomin wrote:
    catch (Exception e) {
        if (typeid(e) == typeid(myException1))
            throw e; // may be downcasted, if necessary
                     // to work with specific fields
    }


Isn't it better to check identity in this way?

if (typeid(e) is typeid(myException1))

--rt

Reply via email to