// <exception>​
typedef void (*terminate_handler)();

terminate 调用的函数的类型。