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

Holding or passing around non-addressable-functions since C++20(从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开始保持或传递不可寻址的函数的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持编程学习网!

本站部分内容来源互联网,如果有图片或者内容侵犯您的权益请联系我们删除!

相关文档推荐

Boost module machine type #39;X86#39; conflicts with target machine type #39;x64#39;(Boost模块计算机类型#39;x86#39;与目标计算机类型#39;x64#39;)
Trouble running LLVM examples(运行LLVM示例时出现问题)
Linker error while linking some windows APIs(链接某些Windows API时出现链接器错误)
Python ctypes, C++ object destruction(Python ctype,C++对象销毁)
DllGetClassObject return amp;quot;No such interface supportedamp;quot; while CoCreateInstance can find it successful(DllGetClassObject返回amp;不支持这样的接口,而CoCreateInstance发现它成功了)
Is static_castamp;lt;doubleamp;gt;(std::nanf(amp;quot;amp;quot;)) well defined?(Static_castamp;lt;doubleamp;gt;(std::nanf(amp;quot;amp;quot;))是否定义良好?)