如何获取模板参数方法的返回类型？

Question

我正在尝试创建一个模板类，它需要一个 lambda 作为输入，将其存储，并将 lambda 的 type = return type 的一些元素存储在 vector 中。但我不知道如何获得该类型，即使在构建实例时，lambda 也知道它的返回类型。

我希望在不提供模板参数的情况下构建类（如std::array a{1, 2, 3}）。我尝试使用decltype(F::operator(double x))，但它不起作用。

#include <vector>

template<typename F>
struct Foo {
    using value_t = decltype(F::operator(double x))// <--- here I need to get the return type of the 
                                                 // call operator of F!
    Foo(const F& f) : _f(f), _vals(10, value_t{}), _has_vals(10, false) {}
    
    value_t operator()(int i) {
        if (_has_vals[i])
            return _vals[i];
        else {
            _has_vals[i] = true;
            _vals[i] = _f(i);
        }
    }
    
    F _f;
    std::vector<value_t> _vals;
    std::vector<bool> _has_vals;
};

#include <iostream>    

int main() {
    Foo foo([](double x){ return 42; }); // <--- here I know that the lambda returns an int!
    std::cout << foo(3) << "\n";
    return 0;
};

Answer 1

decltype 需要一个实际的调用表达式来获取返回类型，而您无法从 F 类型中真正可靠地获​​取该类型（例如，F 类型可能不是默认可构造的）。

您必须使用 std::declval 来“创建”一个 F 的实例，然后您才能调用它。

可能是这样的

using value_t = decltype(declval<F>()(0.0));