Пакеты параметров и семантика перемещения - PullRequest
Новая
       60

Пакеты параметров и семантика перемещения

0 голосов
/ 16 января 2019

В следующем коде попытка переместить-конструировать через пакет параметров не удалась.

Что мне не хватает и как я могу исправить код для запуска всех 4 вариантов? 

#include <utility>

struct File
{
    File(const char *filename) {}
};

template<typename T>
struct InflateInput
{
    template<typename ...Args>
    InflateInput(int header, Args ...args) : source(args...) {}
    T source;
};

template<typename T>
struct DeflateInput
{
    template<typename ...Args>
    DeflateInput(int level, int header, Args ...args) : source(args...) {}
    DeflateInput(T &&stream, int level, int header) : source(std::move(stream)) {}
    T source;
};

int main()
{
    // case 1: ok
    File file{"filename"};
    DeflateInput deflate1(std::move(file), 5, 0);
    // case 2: ok
    DeflateInput deflate2(File{"filename"}, 5, 0);
    // case 3: error :-(
    InflateInput<DeflateInput<File>> inflate1(0,
        File{"filename"}, 9, 0);
    // case 4: ok
    InflateInput<DeflateInput<File>> inflate2(0,
        9, 0,
        "filename");

    return 0;
};

Ошибка компилятора (-std = c ++ 2a) следующая: 

1.cpp: In instantiation of 'InflateInput<T>::InflateInput(int, Args ...) [with Args = {File, int, int}; T = DeflateInput<File>]':
1.cpp:35:26:   required from here
1.cpp:13:58: error: no matching function for call to 'DeflateInput<File>::DeflateInput(File&, int&, int&)'
   InflateInput(int header, Args ...args) : source(args...) {}
                                                          ^

Ответы [ 2 ]

0 голосов
/ 16 января 2019

Ваша проблема в том, что вы неправильно перенаправляете параметры. 

InflateInput<DeflateInput<File>> inflate1(0, File{"filename"}, 9, 0);

Вызывает конструктор 

template<typename ...Args>
InflateInput(int header, Args ...args) : source(args...) {}

, где Args... равно File, int, int. Так как у args... есть имя, целые пачки являются lvalue, но ваш DeflateInput принимает только ссылку rvalue на File из 

DeflateInput(T &&stream, int level, int header) : source(std::move(stream)) {}

Самое простое решение - позвонить std::move на args как 

InflateInput(int header, Args ...args) : source(std::move(args)...) {}

но на самом деле вы должны использовать пересылку ссылок вместе с std::forward для полной пересылки всех параметров. Это изменит конструктор на 

InflateInput(int header, Args&& ...args) : source(std::forward<Args>(args)...) {}
0 голосов
/ 16 января 2019

Отсутствует идеальная пересылка. Попробуйте ниже 

template<typename ...Args>
InflateInput(int header, Args&& ...args) : source(std::forward<Args&&>(args)...) {}

Ниже конструктор принимает ссылку на r-значение типа T. Но InflateInput вызывает с параметром (Args), который является l-значением. Отсюда ошибка компилятора. 

DeflateInput(T &&stream, int level, int header) : source(std::move(stream)) {}

Вы можете воспроизвести ту же ошибку, как, 

DeflateInput deflate3(file, 5, 0)

https://gcc.godbolt.org/z/Oe2q68

...