Question

为什么这个左值调用不明确？我可以获得AA和AA＆amp;并且编译器将知道使用AA&。但是，当我添加第三个选项时，我得到一个错误。显然AA＆amp;＆amp;是一个更好的重载然后其他像int这样的int更好然后很长。为什么这个含糊不清？有没有办法我可以保持所有3个重载并明确我想要哪一个？（类型转换(AA&&)不会这样做。）

struct AA{
    void*this_;
    AA() { this_=this; }
    //not valid, use AA&, AA(AA a){ this_=this; }
    AA(AA&a){ this_=this; }
    AA(AA&&a){ this_=a.this_; }
};
void movetest(AA s) {}
void movetest(AA& s) {}
//This gets me the ambiguous error void movetest(AA&& s) {}
AA&& movetest() { return AA(); }
void MyTestCode2(){
    AA a;
    AA b(a);
    AA c = movetest();
    movetest(AA());
}

Answer 1

我可以获得AA和AA＆amp;和编译器会知道使用AA＆amp;

是的，在 movetest（AA（））; 的情况下，只有 movetest（AA）是可行的，因为对非const的（左值）引用不能绑定一个右值。但是，rvalue引用被称为直接绑定到临时。因此，为了过载解决目的，功能

void movetest(AA)
void movetest(AA&&)

是相同的，因为隐式转换序列用于将 AA（）转换为 AA 和 AA＆amp;＆amp; ，分别相等。前者并不是更好，因为直接引用绑定也被认为是身份转换。

Answer 2

同意decltype。这与C ++ 03/98模糊性没什么不同：

struct AA {};

void movetest(AA s) {}
void movetest(AA& s) {}

int main()
{
    AA a;
    movetest(a);
}

test.cpp:9:5: error: call to 'movetest' is ambiguous
    movetest(a);
    ^~~~~~~~
test.cpp:3:6: note: candidate function
void movetest(AA s) {}
     ^
test.cpp:4:6: note: candidate function
void movetest(AA& s) {}
     ^
1 error generated.

为什么这个左值调用不明确？

2 个答案: