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 错误报告。