c++ - 为什么推导 F 时 std::is_function 返回 false_type？

Question

给定以下代码，其中类型 Function是自动推导的，当我断言是否 Function 时，我得到了意想不到的结果是一个使用 std::is_function<Function> 的函数:

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

template <typename Function>
bool test_type(Function&& f)
{
    return std::is_function<Function>::value;  
}

template <typename Function>
bool test_decltype(Function&& f)
{
    return std::is_function<decltype(f)>::value;
}

int f()
{
    return 1;
}

int main()
{
    std::cout << std::boolalpha
        << "is_function<Function>:    " << test_type(f) << std::endl
        << "is_function<decltype(f)>: " << test_decltype(f) << std::endl
        << std::endl
        << "Explicit type:" << std::endl
        << "is_function<Function>:    " << test_type<int()>(f) << std::endl
        << "is_function<decltype(f)>: " << test_decltype<int()>(f) << std::endl;

    return 0;
}

然而，结果是(此处:http://ideone.com/Jy1sFA，使用 MSVC2013.4 在本地验证):

is_function<Function>:    false
is_function<decltype(f)>: false

Explicit type:
is_function<Function>:    true
is_function<decltype(f)>: false

我预计 is_function<Function>成为true_type即使在推导的情况下。老实说我什至期待is_function<decltype(f)>成为true_type在这两种情况下，可惜它不是。

Answer 1

你有你可以使用的类型的额外引用 std::remove_reference:

template <typename Function>
bool test_type(Function&& f)
{
    return std::is_function<typename std::remove_reference<Function>::type>::value;
}

template <typename Function>
bool test_decltype(Function&& f)
{
    return std::is_function<typename std::remove_reference<decltype(f)>::type>::value;
}

Live example