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 个选项。

• 保留类型转换

• 制作 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" 中。标题。 :)

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

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