- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
如果我有这个简单的案例:
struct Foo
{
void bar();
void baz(int );
};
这会编译是有道理的:
Foo foo;
auto f = std::bind(&Foo::bar, &foo);
但是为什么 bind
会被设计成这样:
auto g = std::bind(&Foo::baz, &foo);
我可以调用f
,但我永远不能调用g
。为什么还要进行编译?要求我必须这样做的理由是什么:
auto g2 = std::bind(&Foo::baz, &foo, std::placeholders::_1);
如果你想弄乱哪些参数被传递以及以什么顺序传递,我可以理解使用占位符,但为什么不让默认传递所有参数无需指定的正确顺序?
最佳答案
But why would bind be designed in such a way that this compiles:
auto g = std::bind(&Foo::baz, &foo);
I can callf
, but I cannot ever callg
. Why even make that compile?
Boost.Bind FAQ表示 Boost.Bind 通常会在“绑定(bind)时间”(即在您调用 bind
的那一行)诊断此类错误。然而,标准并不要求 std::bind
,而是在 std::bind
的 Requires 元素中具有以下内容:
INVOKE (fd, w1, w2, ..., wN)
(20.9.2) shall be a valid expression for some values w1, w2, ..., wN, whereN == sizeof...(bound_args)
.
这意味着您的代码违反了函数的先决条件,从而导致未定义的行为。标准库实现没有义务检查是否违反前提条件,那是你的工作。库也不禁止检查它们,因此它符合拒绝它的实现,就像 Boost.Bind 所做的那样。我会向您的库供应商提出请求,要求他们在可能的情况下诊断无效的绑定(bind)表达式,作为“实现质量”的增强。 (编辑:我让 libstdc++ 的 bind
这样做,从 GCC 5 开始。)
why not just have the default pass all the arguments in the right order without having to specify it?
我能想到两个原因。
首先,bind
创建的调用包装器的行为是丢弃不对应占位符的参数,因此您可以调用 x(1, 2, 3)
并让它忽略所有参数并调用 foo.bar()
。这是一般模式的一部分,您可以在其中使用 bind
包装 N 元函数,以创建具有完全不同元数的调用包装器,该包装器可能会添加参数、删除参数、将某些参数固定为特定绑定(bind)值等. 如果在绑定(bind)表达式中未使用占位符时的默认行为是转发所有参数,则不可能让 x(1, 2, 3)
删除所有参数。
其次,始终要求您明确说明要以何种顺序传递哪些参数更为一致。一般来说,只有在没有绑定(bind)参数的情况下传递所有调用参数才有意义,否则 bind
应该如何知道是在绑定(bind)参数之前还是之后传递调用参数?
例如给予
struct X {
void f(int, int) { }
} x;
auto h = bind(&X::f, &x, 1);
h(2);
h(2)
的调用结果应该是 x.f(1, 2)
还是 x.f(2, 1)
?由于存在绑定(bind)参数时的正确行为并不明显,因此在没有使用占位符时自动转发所有参数仅在没有绑定(bind)参数时才真正有意义(因为绑定(bind)参数应该放在最前面还是最后) ,这是一个相当特殊的情况。更改 API 的重要功能以处理该特殊情况的值(value)值得怀疑,尤其是当它使 x(1, 2, 3)
-> foo.bar()
无法实现的情况。
另一种解决方案是继续要求用户明确说明他们想要什么,但提供一种明确的方式来表达“只转发所有内容”,正如 Tomasz Kamiński 在 N4171 中提出的那样这将在下周的 C++ 委员会 session 上讨论。 _all
占位符解决了决定调用参数应该出现在绑定(bind)参数之前还是之后的问题,因为你可以明确地说你是否想要 bind(f, arg1, arg2, std::placeholders::_all)
或 bind(f, std::placeholders::_all, arg1, arg2)
甚至 bind(f, arg1, std::placeholders::_all, arg2)
关于c++ - 为什么 std::bind 不考虑功能元数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31189812/
我正在构建一个 RCP 应用程序,其中每个季度都会更新功能/插件。因此,如果用户选择自动更新功能/插件,则会下载更新插件的新 jar,但旧插件仍在使用我不再使用的磁盘空间。 我厌倦了删除包含旧 jar
我如何从外部 Controller 功能中调用 Controller 内部的功能,例如电话间隙回调功能 这是 Controller 外部定义的功能 function onDeviceReady()
如果某个功能(例如 MediaSource)可用,我如何使用 Google Dart 检查。 new MediaSource() 抛出一个错误。如何以编程方式检查此类或功能是否存在?有任何想法吗?是否
我正在尝试运行 Azure Orchestrations,突然我开始从 statusQueryGetUri 收到错误: 协调器函数“UploadDocumentOrchestrator”失败:函数“U
我见过 iPhone 上的应用程序,如果在 3.0 上运行,将使用 3.0 功能/API,例如应用内电子邮件编辑器,如果在 2.x 上运行,则不使用这些功能,并退出应用程序以启动邮件相反。 这是怎么做
这是 DB 规范化理论中的一个概念: Third normal form is violated when a non-key field is a fact about another non-ke
如果我定义 #if SOMETHING #endif 而且我还没有在任何地方定义 SOMETHING。 #if 中的代码会编译吗? 最佳答案 当#if的参数表达式中使用的名称未定义为宏时(在所有其他宏
我刚刚澄清了 A* 路径查找应该如何在两条路径具有相等值的 [情况] 下运行,无论是在计算期间还是在结束时,如果有两条相等的短路径。 例如,我在我的起始节点,我可以扩展到两个可能的节点,但它们都具有相
Java有没有类似下面的东西 宏 一种遍历所有私有(private)字段的方法 类似于 smalltalk symbols 的东西——即用于快速比较静态字符串的东西? 请注意,我正在尝试为 black
这个程序应该将华氏度转换为摄氏度: #include int main() { float fahrenheit, celsius; int max, min, step;
当打开PC缓存功能后, 软件将采用先进先出的原则排队对示波器采集的每一帧数据, 进行帧缓存。 当发现屏幕中有感兴趣的波形掠过时, 鼠标点击软件的(暂停)按钮, 可以选择回看某一帧的波形
我有一个特殊的(虚拟)函数,我想在沙盒环境中使用它: disable.system.call eval(parse(text = 'model.frame("1 ~ 1")'), envir = e
使用新的 Service 实现,我是否必须为我的所有服务提供一个 Options 方法? 使用我的所有服务当前使用的旧 ServiceBase 方法,OPTIONS 返回 OK,但没有 Access-
我正在阅读 Fogus 的关于 Clojure 的喜悦的书,在并行编程章节中,我看到了一个函数定义,它肯定想说明一些重要的事情,但我不知道是什么。此外,我看不到这个函数有什么用 - 当我执行时,它什么
我有大量的 C 代码,大部分代码被注释掉和/或 #if 0。当我使用 % 键匹配 if-else 的左括号和右括号时,它也匹配注释掉的代码。 有没有办法或vim插件在匹配括号时不考虑注释掉或#if 0
我有这个功能: map(map(fn x =>[x])) [[],[1],[2,3,4]]; 产生: val it = [[],[[1]],[[2],[3],[4]]] 我不明白这个功能是如何工作的。
我使用 Visual Studio 代码创建了一个函数应用程序,然后发布了它。功能应用程序运行良好。我现在在功能门户中使用代码部署功能(KUDU)并跳过构建。下面是日志 9:55:46 AM
我有一个数据框df: userID Score Task_Alpha Task_Beta Task_Charlie Task_Delta 3108 -8.00 Easy Easy
我真的无法解决这个问题: 我有一个返回数据框的函数。但是,数据框仅打印在我的控制台中,尽管我希望将其存储在工作空间中。我怎样才能做到这一点? 样本数据: n <- 32640 t <- seq(3*p
有没有办法找出所有可能的激活器命令行选项? activator -help仅提供最低限度的可用选项/功能列表,但所有好的东西都隐藏起来,即使在 typesafe 网站在线文档中也不可用。 到目前为止,
我是一名优秀的程序员,十分优秀!