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

Question

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

#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。两者都给我完全相同的歧义。

Answer 1

问题是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 版本更多的样板代码。

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