Могу ли я инициализировать список векторов типа «только перемещение»?


95

Если я пропущу следующий код через мой снимок GCC 4.7, он попытается скопировать unique_ptrs в вектор.

#include <vector>
#include <memory>

int main() {
    using move_only = std::unique_ptr<int>;
    std::vector<move_only> v { move_only(), move_only(), move_only() };
}

Очевидно, это не может работать, потому что std::unique_ptrне копируется:

ошибка: использование удаленной функции 'std :: unique_ptr <_Tp, _Dp> :: unique_ptr (const std :: unique_ptr <_Tp, _Dp> &) [с _Tp = int; _Dp = std :: default_delete; std :: unique_ptr <_Tp, _Dp> = std :: unique_ptr] '

Правильно ли GCC пытается скопировать указатели из списка инициализаторов?


Visual Studio и clang ведут себя одинаково
Жан-Симон Брошу,

Ответы:


46

Синопсис <initializer_list>в 18.9 достаточно ясно показывает, что элементы списка инициализаторов всегда передаются через константную ссылку. К сожалению, в текущей версии языка не существует способа использования семантики перемещения в элементах списка инициализаторов.

В частности, у нас есть:

typedef const E& reference;
typedef const E& const_reference;

typedef const E* iterator;
typedef const E* const_iterator;

const E* begin() const noexcept; // first element
const E* end() const noexcept; // one past the last element

4
Рассмотрим идиому in <T>, описанную на cpptruths ( cpptruths.blogspot.com/2013/09/… ). Идея состоит в том, чтобы определить lvalue / rvalue во время выполнения, а затем вызвать перемещение или копирование. in <T> обнаружит rvalue / lvalue, даже если стандартный интерфейс, предоставляемый initializer_list, является константной ссылкой.
Sumant

3
@Sumant Мне не кажется таким "идиоматическим": разве это не чистый UB? так как может быть не только итератор, но и сами базовые элементы const, которые нельзя отбросить в правильно сформированной программе.
underscore_d

63

Изменить: поскольку @Johannes, похоже, не хочет публиковать лучшее решение в качестве ответа, я просто сделаю это.

#include <iterator>
#include <vector>
#include <memory>

int main(){
  using move_only = std::unique_ptr<int>;
  move_only init[] = { move_only(), move_only(), move_only() };
  std::vector<move_only> v{std::make_move_iterator(std::begin(init)),
      std::make_move_iterator(std::end(init))};
}

Итераторы, возвращаемые с помощью, std::make_move_iteratorбудут перемещать указанный элемент при разыменовании.


Исходный ответ: мы собираемся использовать здесь небольшой вспомогательный тип:

#include <utility>
#include <type_traits>

template<class T>
struct rref_wrapper
{ // CAUTION - very volatile, use with care
  explicit rref_wrapper(T&& v)
    : _val(std::move(v)) {}

  explicit operator T() const{
    return T{ std::move(_val) };
  }

private:
  T&& _val;
};

// only usable on temporaries
template<class T>
typename std::enable_if<
  !std::is_lvalue_reference<T>::value,
  rref_wrapper<T>
>::type rref(T&& v){
  return rref_wrapper<T>(std::move(v));
}

// lvalue reference can go away
template<class T>
void rref(T&) = delete;

К сожалению, простой код здесь не работает:

std::vector<move_only> v{ rref(move_only()), rref(move_only()), rref(move_only()) };

Поскольку стандарт по какой-либо причине не определяет конструктор конвертирующей копии, подобный этому:

// in class initializer_list
template<class U>
initializer_list(initializer_list<U> const& other);

initializer_list<rref_wrapper<move_only>>Созданный брекет-Init-лист ( {...}) не будет конвертировать в initializer_list<move_only>том , что vector<move_only>происходит. Итак, здесь нам нужна двухэтапная инициализация:

std::initializer_list<rref_wrapper<move_only>> il{ rref(move_only()),
                                                   rref(move_only()),
                                                   rref(move_only()) };
std::vector<move_only> v(il.begin(), il.end());

1
Ах ... это аналог rvalue std::ref, non? Может, это стоит назвать std::rref.
Kerrek SB

17
Теперь, я думаю, это не следует оставлять без упоминания в комментарии :) move_only m[] = { move_only(), move_only(), move_only() }; std::vector<move_only> v(std::make_move_iterator(m), std::make_move_iterator(m + 3));.
Йоханнес Шауб - лит

1
@Johannes: Иногда от меня ускользают простые решения. Хотя должен признаться, я пока не беспокоился об этих move_iterator.
Xeo

2
@Johannes: Кроме того, почему это не ответ? :)
Xeo

1
@JohanLundberg: Я бы подумал, что это проблема QoI, но я не понимаю, почему он не может этого сделать. Stdlib VC ++, например, диспетчеризация тегов на основе категории итератора, используется std::distanceдля итераторов прямого или лучшего качества и std::move_iteratorадаптирует категорию базового итератора. В любом случае, хорошее и лаконичное решение. Может, выложить как ответ?
Xeo 02

10

Как упоминалось в других ответах, поведение std::initializer_listзаключается в том, чтобы удерживать объекты по значению и не позволять перемещаться, поэтому это невозможно. Вот один из возможных обходных путей, использующий вызов функции, в которой инициализаторы задаются как переменные аргументы:

#include <vector>
#include <memory>

struct Foo
{
    std::unique_ptr<int> u;
    int x;
    Foo(int x = 0): x(x) {}
};

template<typename V>        // recursion-ender
void multi_emplace(std::vector<V> &vec) {}

template<typename V, typename T1, typename... Types>
void multi_emplace(std::vector<V> &vec, T1&& t1, Types&&... args)
{
    vec.emplace_back( std::move(t1) );
    multi_emplace(vec, args...);
}

int main()
{
    std::vector<Foo> foos;
    multi_emplace(foos, 1, 2, 3, 4, 5);
    multi_emplace(foos, Foo{}, Foo{});
}

К сожалению, это multi_emplace(foos, {});не удается, так как он не может определить тип для {}, поэтому для объектов, которые будут построены по умолчанию, вы должны повторить имя класса. (или использовать vector::resize)


4
Рекурсивное расширение пакета можно было бы заменить хаком с оператором запятой фиктивного массива, чтобы сэкономить пару строк кода
MM

0

Используя уловку Йоханнеса Шауба с std::make_move_iterator()with std::experimental::make_array(), вы можете использовать вспомогательную функцию:

#include <memory>
#include <type_traits>
#include <vector>
#include <experimental/array>

struct X {};

template<class T, std::size_t N>
auto make_vector( std::array<T,N>&& a )
    -> std::vector<T>
{
    return { std::make_move_iterator(std::begin(a)), std::make_move_iterator(std::end(a)) };
}

template<class... T>
auto make_vector( T&& ... t )
    -> std::vector<typename std::common_type<T...>::type>
{
    return make_vector( std::experimental::make_array( std::forward<T>(t)... ) );
}

int main()
{
    using UX = std::unique_ptr<X>;
    const auto a  = std::experimental::make_array( UX{}, UX{}, UX{} ); // Ok
    const auto v0 = make_vector( UX{}, UX{}, UX{} );                   // Ok
    //const auto v1 = std::vector< UX >{ UX{}, UX{}, UX{} };           // !! Error !!
}

Смотрите вживую Coliru.

Возможно, кто-то может использовать std::make_array()уловку, чтобы позволить make_vector()делать свое дело напрямую, но я не видел, как это сделать (точнее, я пробовал то, что, по моему мнению, должно работать, потерпел неудачу и продолжил). В любом случае компилятор должен иметь возможность встроить массив в векторное преобразование, как это делает Clang с включенным O2 GodBolt.


-1

Как было указано, невозможно инициализировать вектор типа «только перемещение» с помощью списка инициализаторов. Решение, изначально предложенное @Johannes, работает нормально, но у меня есть другая идея ... Что, если мы не создадим временный массив, а затем переместим элементы оттуда в вектор, а будем использовать размещение newдля инициализации этого массива уже вместо блок памяти вектора?

Вот моя функция для инициализации вектора unique_ptrс использованием пакета аргументов:

#include <iostream>
#include <vector>
#include <make_unique.h>  /// @see http://stackoverflow.com/questions/7038357/make-unique-and-perfect-forwarding

template <typename T, typename... Items>
inline std::vector<std::unique_ptr<T>> make_vector_of_unique(Items&&... items) {
    typedef std::unique_ptr<T> value_type;

    // Allocate memory for all items
    std::vector<value_type> result(sizeof...(Items));

    // Initialize the array in place of allocated memory
    new (result.data()) value_type[sizeof...(Items)] {
        make_unique<typename std::remove_reference<Items>::type>(std::forward<Items>(items))...
    };
    return result;
}

int main(int, char**)
{
    auto testVector = make_vector_of_unique<int>(1,2,3);
    for (auto const &item : testVector) {
        std::cout << *item << std::endl;
    }
}

Это ужасная идея. Установка нового - это не молоток, это инструмент высокой точности. result.data()не является указателем на какую-то случайную память. Это указатель на объект . Подумайте, что происходит с этим плохим объектом, когда вы кладете на него новый.
Р. Мартиньо Фернандес

Кроме того, форма размещения в виде массива new на самом деле не пригодна для использования stackoverflow.com/questions/8720425/…
Р. Мартиньо Фернандес

@Р. Мартиньо Фернандес: спасибо за указание на то, что новое размещение для массивов не сработает. Теперь я понимаю, почему это была плохая идея.
Gart
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.