c++ - "fun"和 "&fun"之间的类型差异？

Question

表达式fun和&fun的类型是否相同？

考虑以下代码:

template <typename Check, typename T>
void check(T)
{
    static_assert(is_same<Check, T>::value);
}

void fun()
{}

check<void(*)()>(fun);
check<void(*)()>(&fun);

cout << typeid(fun).name() << endl;
cout << typeid(&fun).name() << endl;

两个断言都成功，这表明两个表达式具有相同的类型。但是，typeid 会返回不同的结果:

FvvE
PFvvE

这是为什么呢？

Answer 1

两个断言都成功了，因为它们应用于从函数参数推导出的类型 T。在这两种情况下，它都会被推断为指向函数的指针，因为函数会衰减为指向函数的指针。但是，如果您重写断言以直接接受类型，那么第一个将失败:

static_assert(is_same<void(*)(), decltype(fun)>::value);
static_assert(is_same<void(*)(), decltype(&fun)>::value);

online compiler