为什么在使用GCC 7，libstdc ++和-fgnu-tm进行编译时，std :: is_function无法识别transaction_safe函数？

Question

由于libstdc ++缺陷导致编译失败，或者此行为是否与Transactional Memory TS（n4514）兼容？

#include <type_traits>
static_assert(std::is_function_v<void() transaction_safe>, "");
int main() {}

Answer 1

它应该工作，请提交GCC错误报告。