re PR c++/52744 (bad handling of member (function) pointers in template parameters)

2012-10-12  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/52744
	* g++.dg/cpp0x/pr52744.C: New.

From-SVN: r192392
This commit is contained in:
Paolo Carlini 2012-10-12 08:30:00 +00:00 committed by Paolo Carlini
parent f2f8171fb1
commit bf90c4cd8e
2 changed files with 88 additions and 0 deletions

View File

@ -1,3 +1,8 @@
2012-10-12 Paolo Carlini <paolo.carlini@oracle.com>
PR c++/52744
* g++.dg/cpp0x/pr52744.C: New.
2012-10-12 Janus Weil <janus@gcc.gnu.org>
PR fortran/40453

View File

@ -0,0 +1,83 @@
// PR c++/52744
// { dg-do compile { target c++11 } }
struct T
{
int a;
void b(){}
int c(int)
{
return 1;
}
};
template<typename CT, CT> struct member_helper;
template<typename FT, FT(T::*mem)>
struct member_helper<FT(T::*), mem>
{
static const char* worker()
{
return "for members";
}
};
template<typename Return, typename... Args, Return(T::*fun)(Args...)>
struct member_helper<Return(T::*)(Args...), fun>
{
static const char* worker()
{
return "for member functions returning non void";
}
};
template<typename... Args, void(T::*fun)(Args...)>
struct member_helper<void(T::*)(Args...), fun>
{
static const char* worker()
{
return "for member functions returning void";
}
};
void member_test()
{
member_helper<decltype(&T::a), &T::a>::worker();
member_helper<decltype(&T::b), &T::b>::worker();
member_helper<decltype(&T::c), &T::c>::worker();
}
typedef void lua_State;
template<typename T, T> class function_helper
{
static_assert(sizeof(T) != sizeof(T),
"Error: function_helper works with functions (duh)");
};
template<typename Return, typename... Args, Return(*func)(Args...)>
struct function_helper<Return(*)(Args...), func>
{
static int wrapper(lua_State* l)
{
return 1;
}
};
template<typename... Args, void(*func)(Args...)>
struct function_helper<void(*)(Args...), func>
{
static int wrapper(lua_State* l)
{
return 0;
}
};
int ciao(int){ return 0; }
void ciao2(int){}
void function_test()
{
function_helper<decltype(&ciao), &ciao>::wrapper(0);
function_helper<decltype(&ciao2), &ciao2>::wrapper(0);
}