const&和const&&的二义性

[杨四正的源码剖析课]

#include <iostream>
#include <memory>
#include <utility>

using namespace std;

class strange {
public:
	mutable size_t count = 20;
	strange() {
	}

	strange(const strange& o) :
			count(o.count) {
		cout << "strange(const strange& o)" << endl;
	}

	strange(const strange&& o) :
			count(o.count) {
		cout << "strange(const strange&& o)" << endl;
		o.count = 0;
	}

	void testMethod(const strange&) {
		cout << "testMethod(const &)" << endl;
	}

	void testMethod(const strange&&) {
		cout << "testMethod(const &&)" << endl;
	}

	void testMethod(strange &) {
		cout << "testMethod(&)" << endl;
	}

	void testMethod(strange &&) {
		cout << "testMethod(&&)" << endl;
	}
	//==========================================
	void testMethod() const& {
		cout << "testMethod()const &" << endl;
	}

	void testMethod() & {
		cout << "testMethod()&" << endl;
	}

	void testMethod() && {
		cout << "testMethod()&&" << endl;
	}

	// OK:带来引用限定符...
	void testMethod() const&& {
		cout << "testMethod()const &&" << endl;
	}
};

int main(int argc, char **argv) {
	const strange s;
	strange s2 = s;
	strange s3 = move(s);

	cout << s.count << endl;
	cout << s2.count << endl;
	cout << s3.count << endl;

	s2.testMethod(move(s)); // OK...
	s2.testMethod(s);// OK...
	s2.testMethod(s2);// OK...
	s2.testMethod(move(s2));// OK...

	s2.testMethod();// OK...
	s.testMethod();// OK...
	strange().testMethod();// OK...
	move(s).testMethod();// ERROR...
	// error: call of overloaded 'testMethod()' is ambiguous
//	 note: candidates are:
//	..\src\Test3.cpp:40:7: note: void strange::testMethod() const &
//	  void testMethod() const& {
//	       ^
//	..\src\Test3.cpp:53:7: note: void strange::testMethod() const &&
//	  void testMethod() const&& {
//	       ^
	return 0;
}

求解释，为什么作为参数的时候就没问题，作为成员函数的限定符的时候，就会出现二义性的问题？成员函数的限定符不是限定this的吗？不也是个参数吗？

[杨四正的源码剖析课]

引用 2 楼 ri_aje 的回复:

软软的货吧？clang 3.6.1 和 gcc 4.9.2 都能够编译并输出 testMethod()const &&

g++ 4.8.1...这让我情何以堪啊！

[杨四正的源码剖析课]

前面OK的输出如下:

strange(const strange& o)
strange(const strange&& o)
0
20
20
testMethod(const &&)
testMethod(const &)
testMethod(&)
testMethod(&&)
testMethod()&
testMethod()const &
testMethod()&&

[ztenv]

编译器的问题就规避吧，没必要深究的，估计升级后可能会解决

[ri_aje]

软软的货吧？clang 3.6.1 和 gcc 4.9.2 都能够编译并输出 testMethod()const &&

[ri_aje]

引用 3 楼 xxxlxy2008 的回复:

[quote=引用 2 楼 ri_aje 的回复:] 软软的货吧？clang 3.6.1 和 gcc 4.9.2 都能够编译并输出 testMethod()const &&

g++ 4.8.1...这让我情何以堪啊！[/quote] 呵呵，换 clang 吧。以后像这种情况多试几个编译器就行了。网上有很多在线编译的，还能选不同版本。

[mujiok2003]

一般重载const T &和T&&就够了， 不要自己给自己找麻烦。

[赵4老师]

不要纠结各种常量了，这个世界上唯一不变的就是变化。用API WriteProcessMemory还能修改正运行的其它进程的内存里面的所谓常量呢！