为什么 `std::is_function_v` 不能按预期工作？

Question

#include <iostream>
#include <type_traits>
#include <iomanip>

using namespace std;

template<typename T>
bool f(T&& v)
{
    return is_function_v<decltype(forward<T>(v))>;
}

int main()
{
    cout << boolalpha
        << is_function_v<decltype(setw)>
        << endl;

    cout << boolalpha
        << f(setw)
        << endl;

    return 0;
}

输出是：(clang 6.0 & gcc 8.0)

>

是的

假

但我期望的结果应该是：

>

是的

是的

为什么std::is_function_v 没有按预期工作？

Answer 1

您需要删除对T 的引用。

template<typename T>
bool f(T&& v)
{
    return is_function_v<remove_reference_t<decltype(forward<T>(v))>>;
    //                   ~~~~~~~~~~~~~~~~~~
}

当将setw 传递给f 时，它是一个左值，那么转发引用类型T 将被推断为函数的左值引用。对于std::is_function，对函数的引用（以及指向函数的指针等）不算作函数类型。

---

^{顺便说一句：转发引用类型T 将被推导出为左值引用或右值引用；并且在std::forward 上使用decltype 总是会产生一个引用类型，左值引用或右值引用。}