Why is the cPP function pointer not a function after dereferencing?

define a function and a pointer to it, and then determine whether the function pointer is a function after dereferencing 

void test1() {}
int main()
{
    void(*t1)() = test1;
    std::cout << std::is_function<decltype(*t1)>::value << std::endl;
    std::cout << std::is_function<decltype(test1)>::value << std::endl;
    std::cout << (typeid(decltype(test1)).hash_code() == typeid(decltype(*t1)).hash_code()) << std::endl;
    
    return 0;
}

the final output is: 

0
1
1

directly compare the types of * T1 and test1, and the results show that the types are the same, but why the first output is 0
I know that when a function is called with a function name, it will be converted to a function pointer
. Do you wonder why the wrong
is caused by the rules of template matching parameters? Partial implementation of is_function: 

template<typename>
    struct is_function
    : public false_type { };

  template<typename _Res, typename... _ArgTypes>
    struct is_function<_Res(_ArgTypes...)>
    : public true_type { };
CPP
Apr.29,2021

because the pointer is not a function, the so-called function, when compiling, will write the corresponding symbol table, and the pointer loses all the information of the function, just an entry address. If std::is_function determines that the pointer is a function, then it can be considered that whether a bug, is semantically or logically correct.

The result of

decltype (* T1) is not a function, but a function reference, because * T1 returns a lvalue, that returns a reference type for lvalue,decltype.
that is, not 

void()

but 

void (&) ()

is_function cannot take effect naturally because it is a reference. Use remove_reference to remove this reference. 

-sharpinclude <iostream>
-sharpinclude <type_traits>
-sharpinclude <typeinfo>
void test1() {}
typedef void TEST();

int main()
{
        TEST* t1 = test1;
        std::cout << std::is_reference<decltype(*t1)>::value << std::endl; //1
        std::cout << std::is_function<std::remove_reference<decltype(*t1)>::type>::value << std::endl; // 1
                        
        return 0;
}

Previous: The top-level service uses fegin to invoke the interface downloaded by the underlying service (which is quite time-consuming), resulting in a Hystrix timeout circuit breaker

Next: Static variables and static methods of the PHP class

css mysql arrays josn react html typescript webpack npm sass R objective-c .net sql-server jquery python-3.x angularjs django angular excel regex iphone ajax linux xml pandas vba spring database wordpress string wpf xcode windows bash postgresql oracle multithreading eclipse list firebase algorithm macos forms image scala visual-studio azure bootstrap spring-boot react-native python-2.7 docker performance function winforms matlab powershell apache dataframe api sqlite numpy rest shell selenium flutter dart maven loops qt swing android-studio csv express file class tensorflow sorting codeigniter perl
MySQL Query : SELECT * FROM `codeshelper`.`v9_news` WHERE status=99 AND catid='6' ORDER BY rand() LIMIT 5
MySQL Error : Disk full (/tmp/#sql-temptable-64f5-1b3a9b5-2b9a4.MAI); waiting for someone to free some space... (errno: 28 "No space left on device")
MySQL Errno : 1021
Message : Disk full (/tmp/#sql-temptable-64f5-1b3a9b5-2b9a4.MAI); waiting for someone to free some space... (errno: 28 "No space left on device")
Need Help?