Здравствуйте, rg45, Вы писали:

R>Будьте осмотрительны

желтенько
не смог пройти мимо

Здравствуйте, rg45, Вы писали:

R>Зачем же ты move прямо внутрь запихнул? move ведь не всегда должно быть, а только когда нужно:
Исходил из того, что у MovableNonCopyable не может быть копий. Согласен на std::forward<T>(t).

rg45:

R>move ведь не всегда должно быть, а только когда нужно:
R>https://ideone.com/VL1Kci

При желании количество перемещений можно ещё сократить:
https://wandbox.org/permlink/5GPsTQXVnTI1hwYT

Здравствуйте, andyp, Вы писали:

R>>Так просто ведь все — aggregate initialization — это старая добрая си-шная инициализация массивов и структур. А list initialization — уродец, основанный на initializer_list-ах, придуманный каким-то студентом, для которого шашечки важнее, чем ехать.

A>Это если только на эти две смотреть. А так там еще default, zero, value, direct, constant... Тьма их. В общем, ты толкнул меня на 801 круг

Главное помнить, что:
std::vector<int> v2(1, 2); — это один элемент со значением 2
std::vector<int> v1{1, 2}; — это два элемента со значениями 1 и 2

Здравствуйте, rg45, Вы писали:

R>Будьте осмотрительны, используя initializer_list для инициализации. Помните, его элементы всегда копируются, а не перемещаются, даже когда вы наполняете его rvalue значениями:

#include <iostream>
#include <initializer_list>

struct MovableNonCopyable
{
  MovableNonCopyable() {
    std::cout << "1" << std::endl;
  }
  MovableNonCopyable(MovableNonCopyable&&) {
    std::cout << "2" << std::endl;
  }
  MovableNonCopyable& operator=(MovableNonCopyable&&) = default;
  MovableNonCopyable(MovableNonCopyable const &) = delete;
  MovableNonCopyable& operator=(MovableNonCopyable const &) = delete;
};

struct MovableNonCopyableConsumer {
  MovableNonCopyableConsumer(std::initializer_list<MovableNonCopyable> lst) {
    for(const MovableNonCopyable& i : lst) {
    }
  }
};


int main() {
  MovableNonCopyableConsumer v { MovableNonCopyable(), MovableNonCopyable(), MovableNonCopyable() };
}

вывод:

1
1
1

Здравствуйте, Анатолий Широков, Вы писали:

R>>Будьте осмотрительны, используя initializer_list для инициализации. Помните, его элементы всегда копируются, а не перемещаются, даже когда вы наполняете его rvalue значениями:

АШ>вывод:
Всё это очень интересно, но жаль, что перемещение элементов из списка вам так и не удалось продемонстрировать.

Здравствуйте, B0FEE664, Вы писали:

BFE>Главное помнить, что:
BFE>std::vector<int> v2(1, 2); — это один элемент со значением 2
BFE>std::vector<int> v1{1, 2}; — это два элемента со значениями 1 и 2

Угу, что Карл Маркс и Фридрих Энгельс — два человека, а не четыре, Слава КПСС — вообще не человек, а

auto c = {1,2,3,4};

есть std::initializer_list<int>

Здравствуйте, B0FEE664, Вы писали:

BFE>Здравствуйте, Анатолий Широков, Вы писали:

R>>>Будьте осмотрительны, используя initializer_list для инициализации. Помните, его элементы всегда копируются, а не перемещаются, даже когда вы наполняете его rvalue значениями:

АШ>>вывод:
BFE>Всё это очень интересно, но жаль, что перемещение элементов из списка вам так и не удалось продемонстрировать.

const_cast и вперёд.

template <class T>
std::vector<T> make_vector(std::initializer_list<T> lst) {
    std::vector<T> result;
    result.reserve(lst.size());
    for(const T& item: lst) {
        T& item2 = const_cast<T&>(item);
        result.emplace_back(std::move(item2));
    }
    return result;
}

Вообще проблема не в initializer_list как каком то специальном типе, а в том, что его итераторы возвращают указатели на _константные_ элементы. а их перемещать нельзя.

Здравствуйте, B0FEE664, Вы писали:

BFE>Главное помнить, что:
BFE>std::vector<int> v2(1, 2); — это один элемент со значением 2
BFE>std::vector<int> v1{1, 2}; — это два элемента со значениями 1 и 2

Недавно наступил на эти грабли... (смешанные чувства)