jjzjj

c++ - std::function 的模板参数(签名)不是其类型的一部分吗？

coder 2024-02-26 原文

给定以下代码，歧义背后的原因是什么？我可以规避它还是必须保留(烦人的)显式转换？

#include <functional>

using namespace std;

int a(const function<int ()>& f)
{
    return f();
}

int a(const function<int (int)>& f)
{
    return f(0);
}

int x() { return 22; }

int y(int) { return 44; }

int main()
{
    a(x);  // Call is ambiguous.
    a(y);  // Call is ambiguous.

    a((function<int ()>)x);    // Works.
    a((function<int (int)>)y); // Works.

    return 0;
}

有趣的是，如果我注释掉 a()功能与 function<int ()>参数并调用 a(x)在我看来，由于 x 之间的类型不匹配，编译正确地失败了。和参数 function<int (int)>唯一的a()功能可用。如果编译器在那种情况下失败，为什么两个 a() 时会出现歧义？有功能吗？

我尝试过使用 VS2010 和 g++ v. 4.5。两者都给我完全相同的歧义。

最佳答案

问题是function<int()>和 function<int(int)>可以从相同的函数构造。这就是 std::function 的构造函数声明在 VS2010 中看起来像:

template<class _Fx>
function(_Fx _Func, typename _Not_integral<!_Is_integral<_Fx>::value, int>::_Type = 0);

忽略 SFINAE 部分，它几乎可以从任何东西构造。
std::/boost::function使用一种称为类型删除的技术，允许传入任意对象/函数，只要它们在调用时满足签名即可。这样做的一个缺点是，当提供一个不能像签名希望的那样调用的对象时，您会在实现的最深处(调用保存的函数的地方)而不是在构造函数中遇到错误。

这个问题可以用这个小类来说明:

template<class Signature>
class myfunc{
public:
    template<class Func>
    myfunc(Func a_func){
        // ...
    }
};

现在，当编译器为重载集搜索有效函数时，如果不存在完美拟合函数，它会尝试转换参数。转换可以通过函数参数的构造函数发生，也可以通过提供给函数的参数的转换运算符发生。在我们的例子中，它是前者。
编译器尝试第一次重载 a .为了使其可行，它需要进行转换。转换 int(*)()到 myfunc<int()> , 它会尝试 myfunc 的构造函数.作为一个什么都可以接受的模板，转换自然就成功了。
现在它尝试与第二个重载相同。构造函数仍然是相同的并且仍然接受任何给它的东西，转换也有效。
在重载集中留下 2 个函数，编译器是一只悲伤的 Pandas ，不知道该怎么做，所以它只是说调用不明确。

所以最后，Signature模板的一部分在进行声明/定义时确实属于该类型，但在您要构造对象时却不属于该类型。

编辑:
我全神贯注于回答标题问题，我完全忘记了你的第二个问题。 :(

Can I circumvent it or will I have to keep the (annoying) explicit casts?

Afaik，你有 3 个选择。

  • 保留 Actor

  • 制作 function适当类型的对象并传递给它

    function<int()> fx = x; function<int(int)> fy = y; a(fx); a(fy);

  • 隐藏函数中繁琐的转换并使用 TMP 获得正确的签名

TMP(模板元编程)版本非常冗长且带有样板代码，但它对客户端隐藏了转换。可以找到示例版本 here ，它依赖于 get_signature部分专门用于函数指针类型的元函数(并提供了模式匹配如何在 C++ 中工作的一个很好的示例):

template<class F>
struct get_signature;

template<class R>
struct get_signature<R(*)()>{
  typedef R type();
};

template<class R, class A1>
struct get_signature<R(*)(A1)>{
  typedef R type(A1);
};

当然，这需要根据您要支持的参数数量进行扩展，但只需完成一次，然后埋入 "get_signature.h" 中。 header 。 :)

我考虑但立即放弃的另一个选择是 SFINAE，它会引入比 TMP 版本更多的样板代码。

所以，是的，这就是我所知道的选项。希望其中之一对你有用。 :)

关于c++ - std::function 的模板参数(签名)不是其类型的一部分吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/24403292/

ampfunctioncodeintc++c++11std-function

有关c++ - std::function 的模板参数(签名)不是其类型的一部分吗？的更多相关文章

  1. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe？ - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗？我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe，无需等待进程完成是否有任何ruby​​gems会支持我的问题？ 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

  2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  3. ruby - 通过 erb 模板输出 ruby​​ 数组 - 2

    我正在使用puppet为ruby​​程序提供一组常量。我需要提供一组主机名，我的程序将对其进行迭代。在我之前使用的bash脚本中，我只是将它作为一个puppet变量hosts=>"host1,host2"我将其提供给bash脚本作为HOSTS=显然这对ruby​​不太适用——我需要它的格式hosts=["host1","host2"]自从phosts和putsmy_array.inspect提供输出["host1","host2"]我希望使用其中之一。不幸的是，我终其一生都无法弄清楚如何让它发挥作用。我尝试了以下各项:我发现某处他们指出我需要在函数调用前放置“function_”……这

  4. ruby - RSpec - 使用测试替身作为 block 参数 - 2

    我有一些Ruby代码，如下所示:Something.createdo|x|x.foo=barend我想编写一个测试，它使用double代替block参数x，这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗？ 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere

  5. ruby - 如何在 Ruby 中拆分参数字符串 Bash 样式？ - 2

    我正在为一个项目制作一个简单的shell，我希望像在Bash中一样解析参数字符串。foobar"helloworld"fooz应该变成:["foo","bar","helloworld","fooz"]等等。到目前为止，我一直在使用CSV::parse_line，将列分隔符设置为""和.compact输出。问题是我现在必须选择是要支持单引号还是双引号。CSV不支持超过一个分隔符。Python有一个名为shlex的模块:>>>shlex.split("Test'helloworld'foo")['Test','helloworld','foo']>>>shlex.split('Test"

  6. ruby - Infinity 和 NaN 的类型是什么？ - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

  7. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？ 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)

  8. ruby-on-rails - 在默认方法参数中使用 .reverse_merge 或 .merge - 2

    两者都可以defsetup(options={})options.reverse_merge:size=>25,:velocity=>10end和defsetup(options={}){:size=>25,:velocity=>10}.merge(options)end在方法的参数中分配默认值。问题是:哪个更好？您更愿意使用哪一个？在性能、代码可读性或其他方面有什么不同吗？编辑:我无意中添加了bang(!)...并不是要询问nobang方法与bang方法之间的区别 最佳答案 我倾向于使用reverse_merge方法:option

  9. ruby - 定义方法参数的条件 - 2

    我有一个只接受一个参数的方法:defmy_method(number)end如果使用number调用方法，我该如何引发错误？？通常，我如何定义方法参数的条件？比如我想在调用的时候报错:my_method(1) 最佳答案 您可以添加guard在函数的开头，如果参数无效则引发异常。例如:defmy_method(number)failArgumentError,"Inputshouldbegreaterthanorequalto2"ifnumbereputse.messageend#=>Inputshouldbegreaterthano

  10. ruby - Ruby 有 `Pair` 数据类型吗？ - 2

    有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？ 最佳

随机推荐