- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
template <class F, class... Args>
void for_each_argument(F f, Args&&... args) {
[](...){}((f(std::forward<Args>(args)), 0)...);
}
它最近出现在 isocpp.org 上,没有任何解释。
最佳答案
简短的回答是“它做得不是很好”。
它调用 f
在每个 args...
,并丢弃返回值。但这样做的方式在许多情况下会导致不必要的意外行为。
代码没有排序保证,如果返回值为f
对于给定的 Arg
有一个重载的 operator,
它可能会产生不幸的副作用。
有一些空白:
[](...){}(
(
f(std::forward<Args>(args)), 0
)...
);
我们将从内部开始。
f(std::forward<Args>(args))
是一个不完整的陈述,可以用 ...
扩展。 .它将调用 f
在 args
之一上展开时。调用此声明INVOKE_F
.
(INVOKE_F, 0)
取 f(args)
的返回值, 适用 operator,
然后 0
.如果返回值没有覆盖,这将丢弃 f(args)
的返回值并返回 0
.调用 INVOKE_F_0
.如果 f
返回具有覆盖 operator,(int)
的类型, 坏事发生在这里,如果那个操作符返回一个非 POD-esque 类型,你可以在以后得到“有条件支持”的行为。
[](...){}
创建一个将 C 风格的可变参数作为其唯一参数的 lambda。这与 C++11 参数包或 C++14 可变参数 lambda 不同。将非 POD-esque 类型传递给 ...
可能是非法的。功能。调用 HELPER
HELPER(INVOKE_F_0...)
是参数包扩展。在调用 HELPER
的上下文中的operator()
,这是一个法律背景。参数的评估未指定,并且由于 HELPER
的签名INVOKE_F_0...
可能应该只包含普通的旧数据(用 C++03 的说法),或者更具体地说 [expr.call]/p7 说:(通过 @T.C)
Passing a potentially-evaluated argument of class type (Clause 9) having a nontrivial copy constructor, a non-trivial move constructor, or a non-trivial destructor, with no corresponding parameter, is conditionally-supported with implementation-defined semantics.
因此,这段代码的问题在于顺序未指定并且它依赖于行为良好的类型或特定的编译器实现选择。
我们可以修复 operator,
问题如下:
template <class F, class... Args>
void for_each_argument(F f, Args&&... args) {
[](...){}((void(f(std::forward<Args>(args))), 0)...);
}
那么我们可以通过在初始化器中展开来保证顺序:
template <class F, class... Args>
void for_each_argument(F f, Args&&... args) {
int unused[] = {(void(f(std::forward<Args>(args))), 0)...};
void(unused); // suppresses warnings
}
但是当 Args...
时上述操作失败为空,所以添加另一个 0
:
template <class F, class... Args>
void for_each_argument(F f, Args&&... args) {
int unused[] = {0, (void(f(std::forward<Args>(args))), 0)...};
void(unused); // suppresses warnings
}
并且编译器没有充分的理由不消除 unused[]
来自存在,但仍在评估 f
在 args...
按顺序排列。
我的首选变体是:
template <class...F>
void do_in_order(F&&... f) {
int unused[] = {0, (void(std::forward<F>(f)()), 0)...};
void(unused); // suppresses warnings
}
它采用 nullary lambdas 并一次运行一个,从左到右。 (如果编译器可以证明顺序无关紧要,则可以随意乱序运行它们。
然后我们可以通过以下方式实现上述内容:
template <class F, class... Args>
void for_each_argument(F f, Args&&... args) {
do_in_order( [&]{ f(std::forward<Args>(args)); }... );
}
它将“奇怪的扩展”放在一个孤立的函数中(do_in_order
),我们可以在其他地方使用它。我们也可以写do_in_any_order
类似的工作,但使 any_order
很清楚:但是,除非有极端原因,否则在参数包扩展中以可预测的顺序运行代码可以减少意外并将头痛降至最低。
do_in_order
的缺点技术是不是所有的编译器都喜欢它——扩展一个包含整个子语句的参数包不是他们期望必须做的事情。
关于c++ - 这个可变参数模板代码有什么作用?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28110699/
简而言之:我想从可变参数模板参数中提取各种选项,但不仅通过标签而且通过那些参数的索引,这些参数是未知的 标签。我喜欢 boost 中的方法(例如 heap 或 lockfree 策略),但想让它与 S
我可以对单元格中的 excel IF 语句提供一些帮助吗? 它在做什么? 对“BaselineAmount”进行了哪些评估? =IF(BaselineAmount, (Variance/Baselin
我正在使用以下方法: public async Task Save(Foo foo,out int param) { ....... MySqlParameter prmparamID
我正在使用 CodeGear RAD Studio IDE。 为了使用命令行参数测试我的应用程序,我多次使用了“运行 -> 参数”菜单中的“参数”字段。 但是每次我给它提供一个新值时,它都无法从“下拉
我已经为信用卡类编写了一些代码,粘贴在下面。我有一个接受上述变量的构造函数,并且正在研究一些方法将这些变量格式化为字符串,以便最终输出将类似于 号码:1234 5678 9012 3456 截止日期:
MySql IN 参数 - 在存储过程中使用时,VarChar IN 参数 val 是否需要单引号? 我已经像平常一样创建了经典 ASP 代码,但我没有更新该列。 我需要引用 VarChar 参数吗?
给出了下面的开始,但似乎不知道如何完成它。本质上,如果我调用 myTest([one, Two, Three], 2); 它应该返回元素 third。必须使用for循环来找到我的解决方案。 funct
将 1113355579999 作为参数传递时,该值在函数内部变为 959050335。 调用(main.c): printf("%d\n", FindCommonDigit(111335557999
这个问题在这里已经有了答案: Is Java "pass-by-reference" or "pass-by-value"? (92 个回答) 关闭9年前。 public class StackOve
我真的很困惑,当像 1 == scanf("%lg", &entry) 交换为 scanf("%lg", &entry) == 1 没有区别。我的实验书上说的是前者,而我觉得后者是可以理解的。 1 =
我正在尝试使用调用 SetupDiGetDeviceRegistryProperty 的函数使用德尔福 7。该调用来自示例函数 SetupEnumAvailableComPorts .它看起来像这样:
我需要在现有项目上实现一些事件的显示。我无法更改数据库结构。 在我的 Controller 中,我(从 ajax 请求)传递了一个时间戳,并且我需要显示之前的 8 个事件。因此,如果时间戳是(转换后)
rails 新手。按照多态关联的教程,我遇到了这个以在create 和destroy 中设置@client。 @client = Client.find(params[:client_id] || p
通过将 VM 参数设置为 -Xmx1024m,我能够通过 Eclipse 运行 Java 程序-Xms256M。现在我想通过 Windows 中的 .bat 文件运行相同的 Java 程序 (jar)
我有一个 Delphi DLL,它在被 Delphi 应用程序调用时工作并导出声明为的方法: Procedure ProduceOutput(request,inputs:widestring; va
浏览完文档和示例后,我还没有弄清楚 schema.yaml 文件中的参数到底用在哪里。 在此处使用 AWS 代码示例:https://github.com/aws-samples/aws-proton
程序参数: procedure get_user_profile ( i_attuid in ras_user.attuid%type, i_data_group in data_g
我有一个字符串作为参数传递给我的存储过程。 dim AgentString as String = " 'test1', 'test2', 'test3' " 我想在 IN 中使用该参数声明。 AND
这个问题已经有答案了: When should I use "this" in a class? (17 个回答) 已关闭 6 年前。 我运行了一些java代码,我看到了一些我不太明白的东西。为什么下
我输入 scroll(0,10,200,10);但是当它运行时,它会传递字符串“xxpos”或“yypos”,我确实在没有撇号的情况下尝试过,但它就是行不通。 scroll = function(xp
我是一名优秀的程序员,十分优秀!