关于uninitialized.h异常处理问题

template <class InputIter, class ForwardIter> ForwardIter unchecked_uninit_copy(InputIter first, InputIter last, ForwardIter result, std::false_type) { auto cur = result; try { for (; first != last; ++first, ++cur) { mystl::construct(&*cur, *first); } } catch (...) { for (; result != cur; --cur) mystl::destroy(&*cur); } return cur; Personally, I think the --cur in the exception-handling for loop should be inside the function body, otherwise the destruction location is incorrect.