std::is_function fail!

[morando]

Why this fails:

#include <iostream>
#include <type_traits>

template <typename T>
void foo(T t)
{
	static_assert(  std::is_function<decltype(t)>::value, "Not a function!" );
	t();
}

void bar()
{
	std::cout << "This is bar!" << std::endl;
}

int main()
{
	foo(bar);

	std::cin.ignore();
	return 0;
}

bar is function, right?

Thanks for your time.

[JLBorges]

bar is a function.

On invocation of foo(bar), T is deduced to be a pointer to function; and t is initialized with pointer to bar

[morando]

Thanks.

[z05DSL3A]

Would this work for you:

#include <iostream>
#include <type_traits>

template<typename Type>
struct is_function_pointer
{
    static const bool 
    value = std::is_pointer<Type>::value ?
            std::is_function<typename std::remove_pointer<Type>::type>::value :
            false;
};


template <typename T>
void foo(T t)
{
	static_assert(  is_function_pointer<T>::value , "Not a function!" );
	t();
}

void bar()
{
	std::cout << "This is bar!" << std::endl;
}

int main()
{
	foo(bar);

	std::cin.ignore();
	return 0;
}