如何正确找出 lambda 的返回类型

how to correctly find out the return type of a lambda

本文关键字：返回类型 lambda 何正确      更新时间：2023-10-16

基本上如何使以下代码编译？

我知道它失败了，因为编译器试图评估类似([](int &i){})(0)的东西，但是如何解决问题？

template <class TElement>
struct foo {
    TElement _e;
    foo(TElement e) : _e(e){}
    template <class Lambda>
    void bar(Lambda f) {
        using TResult = decltype(std::declval<Lambda>()(std::declval<TElement>()));
    }
};
int main() {
    foo<int>(0).bar([](int i){}); // compile
    foo<int>(0).bar([](int &&i){}); // compile
    foo<int>(0).bar([](int const &i){}); // compile
    foo<int>(0).bar([](int &i){}); // failed
}
您可以使用

以下特征：

template <typename T>
struct return_type : return_type<decltype(&T::operator())>
{};
// For generic types, directly use the result of the signature of its 'operator()'
template <typename ClassType, typename ReturnType, typename... Args>
struct return_type<ReturnType(ClassType::*)(Args...) const>
{
    using type = ReturnType;
};

两种方式。 第一：

using TResult = decltype(f(_e));

或第二：

using TResult = typename std::result_of<Lambda&(TElement&)>::type;

您的代码隐含性表明 TElement 是临时/右值。 上面的&使它们成为左值。

你可以

用以下方法解决它：

template <typename Lambda, typename T>
struct lambda_return_type {
    private:
    template<typename U>
    static constexpr auto check(U*) -> decltype(std::declval<Lambda>()(std::declval<U>()));
    template<typename U>
    static constexpr auto check(...) -> decltype(std::declval<Lambda>()(std::declval<U&>()));
    public:
    typedef decltype(check<T>(nullptr)) type;
};

和

void bar(Lambda f) {
    typedef typename lambda_return_type<Lambda, TElement>::type TResult;
}
相关文章：