std::is_member_function_pointer 不适用于 noexcept 成员函数答案

【问题标题】：std::is_member_function_pointer not working for noexcept member functionsstd::is_member_function_pointer 不适用于 noexcept 成员函数
【发布时间】：2019-01-30 16:22:33
【问题描述】：

我在使用 std::is_member_function_pointer 时遇到问题。据我所知，当给定 noexcept 成员函数时它不起作用。我在标准中找不到任何声明它不适用于noexcept 合格成员函数的内容。问题示例：

#include <type_traits>

class A {
public:
    void member() noexcept { }
};

int main()
{
    // fails at compile time if A::member is a data member and not a function
    static_assert(std::is_member_function_pointer<decltype(&A::member)>::value,
                  "A::member is not a member function."); 
}

它给了我以下错误：

member.cpp:11:5: error: static_assert 由于要求而失败 'std::is_member_function_pointer::value' "A::member 不是成员函数。" static_assert(std::is_member_function_pointer::value, ^～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～～ ~~~~~~~~~~~ 1个错误生成。

如果我删除 noexcept 限定符，它将按应有的方式编译。

这已经在 Debian Stretch 上使用 clang 6.0 和 libstdc++ 6.3.0 进行了测试我在这里错过了什么吗？据我所知，这应该工作。

【问题讨论】：

你试过用 libcxx 代替吗？也许只是实现中的一个错误？
适用于 gcc 8.2 和 clang 7。
还有 works 在 clang 6.0 和 -stdlib=libc++ 中，以及 also 和 -stdlib=libstdc++。不知道那里使用了哪些库版本。
好吧，有趣的是，安装 libc++-dev 并使用它进行编译并没有帮助，但它可能是 repo (3.5.2) 中的一个非常旧的版本。似乎它只在启用 c++17 时才会中断，但在 c++14 模式下它可以工作。一定是我的 libstdc++ 版本还没有更新，因为在 c++17 中 noexcept 是类型系统的一部分。
我认为这是一个相关的错误：Function pointer conversion with noexcept fails

标签： c++ c++17

【解决方案1】：

您的代码 compiles on GodBolt - 在成员上带有和不带有 noexcept - 包含所有 MSVC 2017、GCC 5.5、6.x、8.x、clang 5、6、7。

在我的 Debian Stretch 上（嗯，对应的 Devuan 真的） - 我可以重现这个问题。有趣的是，即使我切换到 libc++，编译也会失败。

所以：

这不是 clang-6 本身的错误
这不是 libstdc++ 6.3.0 本身的错误
这可能与 Debian Stretch 的配置/设置方式有关。我建议在 irc.freenode.net 的#debian 频道上提出这个问题

【讨论】：

我的钱花在编译器错误上。如果它是库，链接器错误就会跳出框外。 'static_assert' 触发在调用链接器之前发生的编译时错误。
@Red.Wave：图书馆通过#include 参与其中，而不仅仅是通过ld。
@DavisHerring 你确定吗？这些名称（“libXXX ...”）只是让我想起“.so”文件（动态库）。 “#include”指令恰好是在早期编译阶段发生的预处理器；当那些 libxxx 的东西出现时，链接时间之前的方式。
@Red.Wave：非常。你认为<type_traits> 不是库的一部分吗？
@DavisHerring 不是二进制部分。 “libc++”不是二进制部分吗？编译器开关也可能标记相应的头文件路径。但真的吗？如果是这样，那我就退后一步。