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:20:2: error: template argument 1 is invalid
  is_same_v<decltype(ptr), int()> <<" "<< is_same_v<decltype(ptr), int(A::*)()>;
  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
prog.cpp:20:42: error: template argument 1 is invalid
  is_same_v<decltype(ptr), int()> <<" "<< is_same_v<decltype(ptr), int(A::*)()>;
                                          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Standard output is empty