fork download

copy

#include <iostream>
#include <type_traits>
 
using namespace std;
 
struct A
{
	int f()&&
	{
		return 0;
	}
};
 
template<typename T1, typename T2>
constexpr bool is_same_v = std::is_same<T1, T2>::value;
 
int main() {
	auto ptr = &A::f();
	std::cout<<is_same_v<decltype(ptr), int()> <<" "
	         <<is_same_v<decltype(ptr), int(A::*)()>;
	return 0;
}

prog.cpp: In function ‘int main()’:
prog.cpp:18:19: error: cannot call member function ‘int A::f() &&’ without object
  auto ptr = &A::f();
                   ^
prog.cpp:19:13: error: template argument 1 is invalid
  std::cout<<is_same_v<decltype(ptr), int()> <<" "
             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
prog.cpp:20:13: error: template argument 1 is invalid
           <<is_same_v<decltype(ptr), int(A::*)()>;
             ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Standard output is empty