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

Question

下面的编译失败是由于 libstdc++ 缺陷造成的，还是此行为符合事务内存 TS (n4514)？

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

Answer 1

它应该可以工作，请提交一份 GCC 错误报告。