Форум программистов, компьютерный форум, киберфорум
Наши страницы
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
 
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
#1

Rvalue vector - C++

30.05.2016, 12:41. Просмотров 655. Ответов 31
Метки нет (Все метки)

Как это?
C++
1
2
vector<int&&> v = {0,0,0};// Это не скомпилируется (Вектор, якобы, хранит rvalue)
vector<int> &&rval_vec = v; //Это не скомпилируется (Вектор, якобы, rvalue)
Встретил такое определение, как rvalue контейнер, и не понял, что это такое.
http://www.cyberforum.ru/cpp-beginners/thread2026369.html
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
30.05.2016, 12:41
Я подобрал для вас темы с готовыми решениями и ответами на вопрос Rvalue vector (C++):

error LNK2019: ссылка на неразрешенный внешний символ "public: __thiscall Vector<int>::Vector<int>(void)" (?0?$Vector@H@@QAE@XZ) в функции _main
//Vector.h #include &lt;iostream&gt; #include &lt;Windows.h&gt; #include &lt;climits&gt;...

Как можно увеличить размер вектора, который является элементом вектора vector<vector<int>>arr(n, vector <int>)
Написал программу, которая создает вектор 'а' векторов 'b', вектора 'b'...

vector<Struct2{int,vector<struct1>}> или множественное наследование ...
Здравствуйте! Помогите, пожалуйста. Есть такие данные: typedef struct { ...

Ошибка [Linker error] undefined reference to `Vector::Vector(int)'
Добрый день. Делал по методички, и почему-то валятся ошибки... файл...

Указатель на объект вектор в векторе vector < vector<int>* >*
Дело касается вот чего, есть такая вот незатейлевая вещь. #include &lt;vector&gt;...

31
rikimaru2013
C++ Game Dev
2471 / 1140 / 348
Регистрация: 30.11.2013
Сообщений: 3,709
30.05.2016, 12:45 #2
daslex, я могу дико ошибаться, но по определению STL контейнеры хранят копию и следовательно, она копирует ваши нули и они вовсе не rvalue.

а 2 строка будет валидной, если первая скомпилируется и второя будет содержать std::move

P.S. Сложные у вас вечно вопрос) Где вопросики про что такое переменная - на такие я бы мог ответить, а тут снова ждать сторожил.
1
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 13:31  [ТС] #3
Я задам вопрос немного по-другому. Как вот в эту функцию
C++
1
2
3
4
5
6
template <typename T, typename T2>
decltype(auto) foo(T& container, T2 index)
{
 
    return container[index]; 
}
Подать временный контейнер таким образом, чтобы он в неё не передался? В смысле, что он не должен туда передаваться. rvalue невозможно связать с lvalue (если только они не являются lvalue на константные объекты).

Мне нужен такой rvalue, который не lvalue.

Добавлено через 35 минут
Вот так можно.
C++
1
foo(vector<int>{1,1,1,1,1,1,1,1,1,1}, 4) ; //rvalue отдаётся
Но мне ещё надо увидеть эффект висячей ссылки, что у этого временного вектора элемент прекращает своё существование после вызова функции.

Как связаться с такой ссылкой на элемент такого контейнера, не понимаю.
0
avgoor
1007 / 601 / 156
Регистрация: 05.12.2015
Сообщений: 1,686
30.05.2016, 13:39 #4
Цитата Сообщение от daslex Посмотреть сообщение
Подать временный контейнер таким образом, чтобы он в неё не передался? В смысле, что он не должен туда передаваться.
В смысле, чтобы при передаче временного контейнера была ошибка компиляции?
1
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 13:48  [ТС] #5
Цитата Сообщение от avgoor Посмотреть сообщение
В смысле, чтобы при передаче временного контейнера была ошибка компиляции?
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
template <typename T, typename T2>
decltype(auto) foo(T& container, T2 index)
{
 
    return container[index]; 
}
 
int main(){
   foo(vector<int>{1,1,1,1,1,1,1,1,1,1}, 4) = 25 ; //rvalue отдаётся, не компилируюсь. так и надо, 
                                                               //меняю на rvalue параметры функции,
                                                               //компилируется. ОК
   /*
Здесь нужно обратиться к элементу временного вектора и словить
   эффект висячей ссылки
*/
}
0
notAll
440 / 162 / 60
Регистрация: 27.05.2016
Сообщений: 439
Завершенные тесты: 2
30.05.2016, 13:51 #6
C++
1
2
3
4
5
6
template <typename T, typename T2>
decltype(auto) foo(T&& container, T2 index)
{
    static_assert(std::is_lvalue_reference<T>::value, "T must be not rvalue");
    return container[index];
}
1
avgoor
1007 / 601 / 156
Регистрация: 05.12.2015
Сообщений: 1,686
30.05.2016, 14:27 #7
daslex, Че то нифига не понял. Вот висячая ссылка:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
class MyContainer
{
    int data;
public:
    MyContainer() : data(0)
    {
        std::cout << "MyContainer() " << &data << std::endl;
    }
    MyContainer(MyContainer& r) : data(r.data)
    {
        std::cout << "MyContainer(MyContainer&)" << std::endl;
    }
    MyContainer(MyContainer&& r) : data(r.data)
    {
        std::cout << "MyContainer(MyContainer&&)" << std::endl;
    }
    ~MyContainer()
    {
        std::cout << "~MyContainer()" << std::endl;
    }
 
    int& getData() { return data; }
};
 
template<class T>
decltype(auto) foo(T& cont)
{
    std::cout << "In foo() " << &cont.getData() << std::endl;
    return cont.getData();
}
 
int main()
{
    int& ref = foo(MyContainer());
    std::cout << "Will modify " << &ref << std::endl;
    ref = 42;
}
Добавлено через 19 минут
Чуть изменил, чтоб совсем похоже было:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
class MyContainer : public std::vector<int>
{
public:
    MyContainer() : std::vector<int>(1, 1)
    {
        std::cout << "MyContainer() " << &(*this)[0] << std::endl;
    }
    MyContainer(const MyContainer& r) : std::vector<int>(r)
    {
        std::cout << "MyContainer(MyContainer&)" << std::endl;
    }
    MyContainer(MyContainer&& r) : std::vector<int>(r)
    {
        std::cout << "MyContainer(MyContainer&&)" << std::endl;
    }
    ~MyContainer()
    {
        std::cout << "~MyContainer()" << std::endl;
    }
};
 
template<class T>
decltype(auto) foo(T& cont)
{
    std::cout << "In foo() " << &cont[0] << " " << cont[0] << std::endl;
    return cont[0];
}
 
int main()
{
    int& ref = foo(MyContainer());
    std::cout << "Will modify " << &ref << " " << ref << std::endl;
    ref = 42;
    std::cout << "Now " << &ref << " " << ref << std::endl;
}
Вывод:
MyContainer() 00A72988
In foo() 00A72988 1
~MyContainer()
Will modify 00A72988 -572662307
Now 00A72988 42
1
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 14:53  [ТС] #8
Эффективный и современный С++.
1.3 Знакомство с decltype.

Только название функции у меня foo. Я не могу понять как поймать висячую ссылку. Что такое висячие ссылки я знаю. Я хочу её словить в конкретном примере.
0
Миниатюры
Rvalue vector  
avgoor
1007 / 601 / 156
Регистрация: 05.12.2015
Сообщений: 1,686
30.05.2016, 15:03 #9
daslex, Так у меня ж в выводе Все адреса совпадают, т.е. - это один объект.
В третьей строке - вывод из деструктора, т.е. объект уничтожен.
В четвертой строке видно мусор (UB, в данном случае проявилось так)
В пятой строке видно измененоое значение висячей ссылки (42). Теперь надо ловить перезапись этой памяти. Это легче сделать из первого моего примера (там висячая ссылка указывает на стек, т.е. просто вызвать несколько новых функций и убедиться что данные затрутся)
1
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 15:07  [ТС] #10
Пример тяжело читается...
0
avgoor
1007 / 601 / 156
Регистрация: 05.12.2015
Сообщений: 1,686
30.05.2016, 15:09 #11
Цитата Сообщение от daslex Посмотреть сообщение
Пример тяжело читается...
Как смог
1
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 15:24  [ТС] #12
Время немного нужно. Просто отклонилось от простого минималистичного немного.

Добавлено через 9 минут
Ваш пример и не компилируется в clang.

Добавлено через 42 секунды
А мне нужно понять, о чём толкует автор книги.

Добавлено через 1 минуту
я вижу xvalue, но не вижу висячести. ( в своём варианте кода)
0
ASCII
93 / 66 / 12
Регистрация: 15.12.2013
Сообщений: 415
Завершенные тесты: 2
30.05.2016, 15:33 #13
Цитата Сообщение от rikimaru2013 Посмотреть сообщение
daslex, я могу дико ошибаться, но по определению STL контейнеры хранят копию и следовательно, она копирует ваши нули и они вовсе не rvalue.
а 2 строка будет валидной, если первая скомпилируется и второя будет содержать std::move
P.S. Сложные у вас вечно вопрос) Где вопросики про что такое переменная - на такие я бы мог ответить, а тут снова ждать сторожил.
Действительно ошибаетесь. Первая строка не компилируется не потому, что нули не rvalue (они то как раз rvalue, а точней prvalue, которые являются rvalue), а потому что в терминологии стандарта ссылка - не объект, а посему нельзя хранить массив ссылок например, нельзя создать указатель на ссылку (но ссылку на указатель можно). Но если бы можно было создать такой вектор, как в первой строке, то вторая все равно-бы не скомпилировалась, ибо тип объекта на который ссылается ссылка и тип ссылки - разные

Добавлено через 8 минут
Цитата Сообщение от daslex Посмотреть сообщение
Я не могу понять как поймать висячую ссылку. Что такое висячие ссылки я знаю. Я хочу её словить в конкретном примере.
Тоже самое что и висячий указатель, только ссылка:
C++
1
2
3
4
5
int& get_dangling_ref()
{
    int a = 10;
    return a;
}
2
avgoor
1007 / 601 / 156
Регистрация: 05.12.2015
Сообщений: 1,686
30.05.2016, 15:34 #14
Цитата Сообщение от daslex Посмотреть сообщение
Ваш пример и не компилируется в clang.
Замените decltype(auto) foo(T& cont) на decltype(auto) foo(T&& cont)
http://rextester.com/live/ULEC6490
1
notAll
440 / 162 / 60
Регистрация: 27.05.2016
Сообщений: 439
Завершенные тесты: 2
30.05.2016, 15:36 #15
Цитата Сообщение от daslex Посмотреть сообщение
Я не могу понять как поймать висячую ссылку
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
template <typename T, typename T2>
decltype(auto) foo(T&& container, T2 index)
{
    return container[index];
}
 
int main()
{
    std::vector<int> v{1,2,3,4};
    foo(v, 0) = 42;
    std::cout << v.front();
    auto& good_ref = foo(v, 1);
    good_ref = 84;
    std::cout << v[1];
 
    auto& bad_ref = foo(std::vector<int>{1,2,3,4}, 0);
    bad_ref = 42;
}
1
ASCII
93 / 66 / 12
Регистрация: 15.12.2013
Сообщений: 415
Завершенные тесты: 2
30.05.2016, 15:40 #16
Цитата Сообщение от avgoor Посмотреть сообщение
Замените decltype(auto) foo(T& cont) на decltype(auto) foo(T&& cont)
http://rextester.com/live/ULEC6490
либо на decltype(auto) foo(T const& cont)
Только return-type будет c const
1
avgoor
30.05.2016, 15:44
  #17

Не по теме:

Цитата Сообщение от ASCII Посмотреть сообщение
либо на decltype(auto) foo(T const& cont)
В данном случае, все-таки, правильнее использовать "генерализованную ссылку":
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
template<class T>
void foo(T&& t)
{
    std::cout << std::is_rvalue_reference<decltype(t)>::value << std::endl;
}
 
class A {};
 
int main()
{
    foo(A());
    A a;
    foo(a);
}
Вывод:
1
0

0
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 15:49  [ТС] #18
Цитата Сообщение от ASCII Посмотреть сообщение
Замените decltype(auto) foo(T& cont) на decltype(auto) foo(T&& cont)
Не пойдёт. Это получается универсальная ссылка. Которой проблема потом решается.

Это как сбежать не разобравшись.

Цитата Сообщение от ASCII Посмотреть сообщение
decltype(auto) foo(T const& cont)
Получится xvalue, так я пробовал.

notAll,
Не пойдёт. Это получается универсальная ссылка. Которой проблема потом решается.
0
ASCII
93 / 66 / 12
Регистрация: 15.12.2013
Сообщений: 415
Завершенные тесты: 2
30.05.2016, 15:51 #19
avgoor, Да, только будьте готовы на таком примере объяснить человеку, что такое Collapsing rule
1
daslex
1291 / 535 / 177
Регистрация: 02.08.2011
Сообщений: 2,756
30.05.2016, 15:56  [ТС] #20
Важно: Я не понимаю о чём пишет автор. Поэтому нечаянно могу и других путать.

Добавлено через 4 минуты
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
#include <vector>
using namespace std;
 
template <typename T, typename T2>
decltype(auto) foo(T&& container, T2 index)
{
    return container[index];
}
 
int main()
{
    std::vector<int> v{1,2,3,4};
 
    int &ref = foo(vector<int>{1,2,3},2); //Ссылаюсь на элемент временного объекта, проблем нет. Должны же быть.
    cout << ref << '\n';
}
Добавлено через 43 секунды
Должна же быть проблема, коли о ней написано.
0
30.05.2016, 15:56
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
30.05.2016, 15:56
Привет! Вот еще темы с решениями:

Как корректно скопировать vector в vector внутри класса
Есть класс принимающий в конструкторе vector: class test { ...

Записать числа из файла в двумерный массив или вектор вроде такого vector<vector<int>>
Добрый день, подскажите пожалуйста как лучше и проще считывать файл. в файле...

Struct / Vector / Expression: vector subscript out of range
Добрый вечер. Имеется структура: struct Contact { public: string...

Перенос данных c vector<string> в vector<double>
Необходимо перенести введенные данные в vector&lt;string&gt; в vector&lt;double&gt;, я...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru