идеальная конструкция пересылки / перемещения не работает из кортежа в std :: apply - PullRequest
Новая
       51

идеальная конструкция пересылки / перемещения не работает из кортежа в std :: apply

0 голосов
/ 03 декабря 2018

Я пытаюсь построить идеальную переданную (с нулевым копированием) конструкцию, используя вложенные лямбда-захваты.Я ожидаю, что должно быть нулевое количество копий, но что-то сломано.

Я перехожу из variadic arg.упаковать в кортеж (перемещено нормально), затем я передаю кортеж (перемещено нормально) в std :: apply и в окончательной вложенной лямбде я собираю другой кортеж (ожидается, что он будет перемещен нормально, но Wrapper CTOR копируется, а не MOVE: 

#include <iostream>

// tuple printer (ignore it)
template<typename Type, unsigned N, unsigned Last>
struct tuple_printer {
    static void print(std::ostream& out, const Type& value) {
        out << std::get<N>(value) << ", ";
        tuple_printer<Type, N + 1, Last>::print(out, value);
    }
};

template<typename Type, unsigned N>
struct tuple_printer<Type, N, N> {
    static void print(std::ostream& out, const Type& value) {
        out << std::get<N>(value);
    }
};

template<typename... Types>
std::ostream& operator<<(std::ostream& out, const std::tuple<Types...>& value) {
    out << "(";
    tuple_printer<std::tuple<Types...>, 0, sizeof...(Types) - 1>::print(out, value);
    out << ")";
    return out;
}

// THE FUNCTION that returns lambda:
template <class ... Args>
auto f(Args && ... args)
{
    // v--- args is a tuple<arg1, arg2, arg3 ...>
    return [args_upper = std::make_tuple(std::forward<Args>(args)...)]()
    {
        // v-- lower "args" is a restored list of arguments - moved from the upper tuple "args"
        return std::apply([](auto && ... args) {
            // v--- here the Wrapper COPY-CTOR is called instead of moved from
            return std::make_tuple(std::forward<decltype(args)>(args)...);
        }, std::move(args_upper));
    };
}

struct Wrapper {
    Wrapper() {
        std::cout << "CTOR ";
    }
    Wrapper(const Wrapper & r) {
        std::cout << "COPY-CTOR ";
    }
    Wrapper(Wrapper&& r) {
        std::cout << "MOVE-CTOR ";
    }
    int w = 42;
    friend std::ostream& operator<<(std::ostream& out, const Wrapper& w);
};

std::ostream& operator<<(std::ostream& out, const Wrapper& w) {
    out << w.w;
    return out;
}

int main() {
    auto l = f(1,2.f,"st", Wrapper{});
    auto t = l(); // t is tuple
    std::cout << t; // tuple printer
//    std::cout << l();
}

Дает вывод CTOR MOVE-CTOR COPY-CTOR (1, 2, ст, 42)

1 Ответ

0 голосов
/ 03 декабря 2018 
return [args_upper = std::make_tuple(std::forward<Args>(args)...)]()

измените это на 

return [args_upper = std::make_tuple(std::forward<Args>(args)...)]() mutable

args_upper неявно const, если вы не сделаете свою лямбду mutable.Это заблокирует семантику перемещения.

...