Destructors is noexcept(true) in C++11 and may not throw exceptions