可以通过引入模板参数来获取类型

template <typename Ret, typename Arg> 
void call_with_user_input(std::function<Ret(Arg)> f) {
    Arg x;
    std::cin >> x;
    f(x);
}

提供参数类型作为模板参数。作为奖励，如果需要，您还可以获得返回类型。

据我所知，他们将被删除，仅此而已。我发现提案here。
与first_argument_type和second_argument_type相关：
自适应函数绑定在C17中是一个很强的删除候选者，但被保留只是因为没有足够的替代品供一元/二元否定符的用户迁移。该特性std：：not_fn被添加到C17中以允许迁移路径。
检查c++17的std::not_fn发现：
注意，自适应函数协议在最初设计时不再起作用，这是由于添加了新的语言特性和库，例如lambda表达式、“菱形”函子等等。这并不是因为缺乏努力，而仅仅是因为不可能为这些类型中的某些类型（例如多态lambda对象）拥有一组唯一的typedef。然而，我们确实为在库中的其他地方保留支持付出了代价，因为在几个组件中有笨拙的条件定义成员typedef，例如std：：function Package 一个只有一个或两个参数的函数类型，或者类似地std：：reference_wrapper用于只有一个或两个参数的函数引用。
这意味着它们将被删除。
first_argument_type和second_argument_type的问题之一似乎是因为polymorphic lambda objects。
同样如注解中所指出的，任何可以传递给std::variant<...>::visit的具有多个operator()的东西都有first_argument_type的问题

一种方法是使用boost::function_types：

#include <boost/function_types/parameter_types.hpp>
#include <boost/mpl/at.hpp>
template <typename F> 
void call_with_user_input(F f) {
    using FnType = decltype(&F::operator());
    using FirstArgType = typename boost::mpl::at_c<boost::function_types::parameter_types<FnType>, 0>::type;
    FirstArgType x;
    std::cin >> x;
    f(x);
}

不幸的是，我认为这必须使用标准的SFINAE type_trait实现技术来完成。下面是一个first_argument_type的替换示例，扩展到提取所有模板参数或任何特定的模板参数应该相当简单。
我怀疑在大多数情况下，你会想要衰减模板类型，但是我不知道标准实现是否衰减了它。

#include <functional>
#include <tuple>
template<typename... T>
struct extract_first_arg_type;
template<typename RetType, typename... ValTypes> 
struct extract_first_arg_type<std::function<RetType(ValTypes...)>> {
    using type = std::decay_t<std::tuple_element_t<0, std::tuple<ValTypes...>>>;
};
std::function<void(int, double)> f = [](int k, double d) {};
static_assert(std::is_same_v<extract_first_arg_type<decltype(f)>::type, int>, "");
static_assert(!std::is_same_v<extract_first_arg_type<decltype(f)>::type, double>, "");

（godbolt link）