完美转发 lambda 可变参数

Question

不知何故，我需要使用 C++ 可变参数 lambda 实现惰性求值。我不太确定下面的代码是否正确。

template <typename... ArgsT>
auto lazy_pack(ArgsT&& ... args) {

  auto T = [&](bool condition) {
    if(condition == false) return; 
    Foo v(std::forward<ArgsT>(args)...);
    v.do_work();
  };  

  return T;
}

问题是，我如何捕获给定的参数列表并将它们完美地转发给另一个模板化对象？上面的示例可以编译，但我担心是否会发生任何悬空引用。另一种方法是通过复制捕获参数并将它们传递给对象：

template <typename... ArgsT>
auto lazy_pack(ArgsT&& ... args) {

  auto T = [=](bool condition) {
    if(condition == false) return; 
    Foo v(args...);
    v.do_work();
  };  

  return T;
}

Answer 1

我不确定我得到了你要找的东西，但也许下面的代码可以帮助你：

#include <tuple>
#include <functional>
#include <cstddef>
#include <utility>
#include <iostream>

struct Foo {
    Foo(int v, const char *s): val{v}, str{s} { }
    void do_work() { std::cout << val << " " << str << std::endl; }
    int val;
    const char *str;
};

template<std::size_t... I, typename... ArgsT>
auto lazy_pack(std::index_sequence<I...>, ArgsT&&... args) {
    return [tup{std::forward_as_tuple(std::forward<ArgsT>(args)...)}](bool condition) {
        if(condition == false) return;
        Foo v(std::get<I>(tup)...);
        v.do_work();
    };
}

template<typename... ArgsT>
auto lazy_pack(ArgsT&& ... args) {
    return lazy_pack(std::make_index_sequence<sizeof...(ArgsT)>(), std::forward<ArgsT>(args)...);
}

int main() {
    auto l = lazy_pack(42, "bar");
    l(false);
    l(true);
}

您至少还需要一个辅助函数才能解压转发给第一个参数的参数。

完美转发 lambda 可变参数

Perfect forward variadic arguments to lambda

lambda

variadic-templates

c++11