如何区分重载函数的左值和右值成员函数指针？

Question

如何区分重载函数的左值和右值成员函数指针？

4

我知道以下方法可以区分右值函数名和左值函数指针：

template <typename RET_TYPE, typename...ARGs>
void takeFunction(RET_TYPE(& function)(ARGs...))
{
    cout << "RValue function" << endl;
}

template <typename RET_TYPE, typename...ARGs>
void takeFunction(RET_TYPE(*& function)(ARGs...))
{
    cout << "LValue function" << endl;
}

void function()
{
}

void testFn()
{
    void(*f)() = function;
    takeFunction(function);
    takeFunction(f);
}

我希望对成员函数进行相同的操作。然而，它似乎无法翻译：

struct S;
void takeMemberFunction(void(S::&function)()) // error C2589: '&' : illegal token on right side of '::'
{
    cout << "RValue member function" << endl;
}

void takeMemberFunction(void(S::*&function)())
{
    cout << "LValue member function" << endl;
}

struct S
{
    void memberFunction()
    {
    }
};

void testMemberFn()
{
    void(S::*mf)() = &S::memberFunction;
    takeMemberFunction(S::memberFunction);
    takeMemberFunction(mf);
}

为什么？

我知道的另一种方法是针对常规函数执行以下操作：

void takeFunction(void(*&& function)())
{
    cout << "RValue function" << endl;
}

void takeFunction(void(*& function)())
{
    cout << "LValue function" << endl;
}

void function()
{
}

void testFn()
{
    void(*f)() = function;
    takeFunction(&function);
    takeFunction(f);
}

这指的是成员函数：

struct S;
void takeMemberFunction(void(S::*&&function)())
{
    cout << "RValue member function" << endl;
}

void takeMemberFunction(void(S::*&function)())
{
    cout << "LValue member function" << endl;
}

struct S
{
    void memberFunction()
    {
    }
};

void testMemberFn()
{
    void(S::*mf)() = &S::memberFunction;
    takeMemberFunction(&S::memberFunction); // error C2664: 'void takeMemberFunction(void (__thiscall S::* &)(void))' : cannot convert argument 1 from 'void (__thiscall S::* )(void)' to 'void (__thiscall S::* &)(void)'
    takeMemberFunction(mf);
}

但我想知道第一个例子翻译时的差异。

- Adrian

@LightningRacisinObrit：嗯？这不是一个有用的评论。 - Adrian

函数名从何时开始成为右值？ - T.C.

@LightningRacisinObrit，不是的。我只是在清理它，不管你的评论。 - Adrian

@LightningRacisinObrit，你好像从不犯错。看看你写的东西。^^ :D 我们写作并重写以尝试使其更清晰，这没有任何问题。 - Adrian

1

如果你真的读了那个[basic.lval]引用，你会看到“lvalue[...]指定一个函数或对象。”此外，[conv.fptr]/p1：“函数类型T的lvalue可以转换为类型为‘指向T的指针’的prvalue。结果是指向该函数的指针。” [expr.prim.general]/p8：“标识符是id-expression，前提是它已经被适当地声明（第7条）。[...]表达式的类型是标识符的类型。结果是由标识符表示的实体。如果实体是函数，则结果是lvalue，否则是prvalue。” - T.C.

显示剩余9条评论

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Barry · Accepted Answer

我猜这可能是Visual C++的一个bug，因为下面的代码（基本上就是你在问题中提到的代码）在gcc和clang上都编译通过，我没有理由不期望它能够编译通过：

struct S;

void bar(void (S::*& f)() ) {
    std::cout << "lvalue" << std::endl;
}
void bar(void (S::*&& p)() ) {
    std::cout << "rvalue" << std::endl;
}

struct S {
    void foo() { }  
};

int main() {
    void (S::*f)();

    bar(f);        // prints lvalue
    bar(&S::foo);  // prints rvalue
}

关于你问题的另一部分，请参见为什么C++中不存在成员引用？。