从C++20开始保持或传递不可寻址的函数

Holding or passing around non-addressable-functions since C++20(从C++20开始保持或传递不可寻址的函数)

问题描述

C++20添加了可寻址函数16.5.4.2.1 [namespace.std]/6：--重点是我的--

让F表示标准库函数([lobal.Functions])，a 标准库静态成员函数，或 标准库函数模板。除非F被指定为 可寻址函数，C++程序的行为未指定 (可能格式错误)如果显式或隐式尝试 指向F.的指针[注意：形成此类指针的可能方法 包括一元&；运算符([expr.unary.op])的应用， AddressOf([Specialized.AddressOf])或函数到指针的标准 转换([conv.func])。-结束语]此外，C++的行为 程序是未指定的(可能格式错误)，如果它试图形成 引用F或如果它试图形成指向成员的指针 指定标准库非静态成员函数 或标准库成员的实例化 函数模板。

据我所知，规范未将数学函数标记为可寻址函数。

这是否意味着以下代码从C++20开始是非法的(如noted by cppreference与其他标准库函数的示例一样)：

// unspecified and illegal?
auto func = static_cast<float (*)(float, float)>(std::pow);
std::cout << func(2, 4) << std::endl;

下面的代码合法吗？

// legal? or unspecified and illegal?
std::function<float(float, float)> f = static_cast<float(*)(float, float)>(std::pow);
std::cout << f(2, 3) << std::endl;

---

• C++20中这一新限制的原因是什么？
• 这样的限制不是在破坏旧代码吗？
• 从C++20开始，保持或传递不可寻址函数的正确方式是什么？

推荐答案

此规则来自P0551。这里的措辞是"不明确的(可能是错误的)"--不是不明确的行为，不是错误的NDR，不是这样的。

现在，该库在很大程度上是围绕直接使用API进行设计、指定和实现的。库指定x.foo(y, z)的含义，实现必须遵循该规范。但有很多方法可以实现这一点--可能是foo接受一些额外的默认参数，或者可以是模板，或者是重载集。

此外，也许在C++N中，只有x.foo(y, z)。但在C++N+1中，有一个新的建议也添加了x.foo(y)。例如，在C++03中，只有一个vector::push_back，但现在有两个。

C++20中出现此新限制的原因是什么？

限制的原因(它在概念上并不是新的，更多的是因为它最终被表达出来了)是为了允许更改标准库。只有当您获取其中一个函数的地址时，才能观察到这些类型的更改-基本上是库表示它不在乎这些更改是否会破坏您的代码，因为这是您的错误，而不是委员会/库的错误。

另请参阅Standard Library Compatibility。

这样的限制不是在破坏旧代码吗？

不完全是。它对这样做的代码更加不屑一顾，然后不担心未来的任何更改可能会破坏它。

从C++20开始，保持或传递不可寻址函数的正确方式是什么？

用lambda包起来。该lambda甚至可以是无状态的，这允许您仍然将其转换为函数指针。它仍然是一个函数指针，但它不会受到未来标准库更改的影响。

这篇关于从C++20开始保持或传递不可寻址的函数的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！