C++ 成员函数重载 & (& 符号)

C++ member function overloading with & (ampersand)

本文关键字:符号 重载 成员 函数 C++      更新时间:2023-10-16

如何选择正确的error()成员函数?我需要以某种方式投射吗?

using namespace std;
struct test
{
   int error();
   void error(int x);
   int fun();
};
int main() {
   auto f1 = &test::error; // how to pick the correct function?
   auto f2 = &test::fun; // works
}

您可以显式指定成员函数指针类型。

int (test::*f1)() = &test::error;
void (test::*f2)(int) = &test::error;

我需要以某种方式投射吗?

是的,您可以使用 static_cast .

static_cast也可用于消除函数重载的歧义:执行到特定类型的函数到指针转换,如

std::for_each(files.begin(), files.end(),
              static_cast<std::ostream&(*)(std::ostream&)>(std::flush));

因此,您可以:

auto f1 = static_cast<int(test::*)()>(&test::error);
auto f2 = static_cast<void(test::*)(int)>(&test::error);
您需要

使用static_cast来消除歧义。

&test::error 不可评估,因为函数已重载。您将其分配给标记为auto的东西这一事实并不立即相关。

一种解决方法是酌情使用 static_cast<int(test::*)()>(&test::error)static_cast<void(test::*)(int)>(&test::error)

然后auto将起作用,因为类型推断不会有歧义。

既然已经给出了答案,我将提出一个对眼睛来说更容易的解决方案。如果您不想每次都写出演员表,这种情况非常适合宏:

template<class T>
using test_type_t = T test::*;
#define TEST_CAST(T, F) static_cast<test_type_t<T>>(&F)
auto f1 = TEST_CAST(void(int), test::error);
当您

没有互联网来读取丑陋的函数指针到成员语法时,这是解决方案:

auto err1 = [](test& t) { return t.error(); };
auto err2 = [](test& t, int x) { return t.error(x); };

请注意,到目前为止,您将闭包作为类型而不是函数指针。如果你想要函数指针,如果你想在数组中存储具有相同签名的不同成员函数,这很有用,你可以通过+将闭包强制转换为(普通)函数指针(见这里)。

据我目前所知,通过上述内容,您可以在概念上使用函数到成员指针执行任何操作 - 当然,除了调用完全需要此类指针的例程。而且它更好。