Удастся ли сравнить две произвольные функции с std :: any в C ++ 17?

Question

Удастся ли сравнить две произвольные функции с std :: any в C ++ 17?

Я думаю, что большим ограничением того, как 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);
}

Это будет вести себя так, как я этого ожидаю?

0

c++c++17 stdany

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

Сравнивать указатели функций легко. Вы даже не обязаны использовать 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++, Равенство по указателю является слабым с функциональной точки зрения.

1