Question

基本上如何编写以下代码？

我知道它失败了，因为编译器试图评估像([](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

}

Answer 1

您可以使用以下特征：

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;
};

Answer 2

两种方式。第一：

using TResult = decltype(f(_e));

或第二：

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

你的代码隐含性表明TElement是一个temprary / rvalue。上面的&使它们成为左值。

Answer 3

您可以使用以下方法解决此问题：

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;
}

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

3 个答案: