<type_traits>的is_function_pointer <>

Question

有这些<type_traits>:

is_pointer<>
is_function<>
is_member_function_pointer<>

但不是这个:

is_function_pointer<>

为什么会这样？

Answer 1

[meta.unary.cat]中的特征旨在将每种类型分类为单个类别.它是一个void,整数,指针等.在这个级别,指向函数的指针与指向int的指针没有什么不同.请注意,指向成员的指针不是指针.它只是一个英国的谐音.

意图是每个类型都在[meta.unary.cat]中返回真正的一个特征.在这种分类中,函数指针和标量指针都将返回true is_pointer.

我会注意到我们没有实现我们的目标. nullptr_t逃避我们的目标.但我们接近了. 以下是当前type_traits分类的图形表示.

更新:

这是一个正确工作的程序,输出正确:

#include <iostream>
#include <type_traits>

typedef void (*fptr)();
typedef int* intptr;

int main()
{
    std::cout << std::is_function<fptr>::value << '\n';
    std::cout << std::is_pointer<fptr>::value << '\n';
    std::cout << std::is_pointer<intptr>::value << '\n';
}

0
1
1

Answer 2

这似乎是一个奇怪的疏忽.但是,成员指针总是成员指针类型,与自由函数不同,自由函数可以是指针类型(void(*)())或函数类型(void()).std::is_pointer对于成员指针类型,也永远不会返回true.

但是,如果您需要此功能,请执行以下操作:

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