是否可以在 C++17 中使用 std::any 比较两个任意函数？

Question

我认为这是 C++ 如何处理函数指针和 std::function 的一个很大的限制，目前不可能以优雅的方式比较两个不同类型的任意函数。

我现在想知道 C++17 是否会通过引入

std::any

来改变这一点

void foo(int a) {}
int bar(float b) {}

void main()
{
    std::any oneFoo = std::make_any(foo);
    std::any oneBar = std::make_any(bar);
    std::any anotherFoo = std::make_any(foo);

    bool shouldBeFalse = (oneBar == oneFoo);
    bool shouldBeTrue = (oneFoo == anotherFoo);
}

这会像我期望的那样吗？

Answer 1

比较函数指针很容易。您甚至不需要使用 C++17，但它有助于缩短代码：

#include <iostream>

void foo(int a) {}
int bar(float b) { return 0; }

template <class A, class B> bool pointer_equals(A *a, B *b) {
  if
    constexpr(std::is_same<A, B>::value) { return a == b; }
  else {
    return false;
  }
}

int main(int, char *[]) {
  std::cout << "Should be false: " << pointer_equals(foo, bar) << "\n"
            << "Should be true: " << pointer_equals(foo, foo) << "\n";
  return 0;
}

问题是：函数只是一种可调用，C++中有很多不同的可能的可调用函数。从功能的角度来看，指针相等有点弱。