Не срабатывает move конструктор std::unique_ptr

@gromo · Регистрация: 04.09.2009

Студворк — интернет-сервис помощи студентам

Всем привет! Битый час не пойму почему в списке захвата компилятор ругается на удаленный копирующий конструктор unique_ptr, если я его перемещаю.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#include <memory>
#include <iostream>
class A {
 
    void member()
    {
        auto p = std::make_unique<int>(42);
        const std::vector<int> f {1, 3, 4};
        if(std::find_if(f.cbegin(), f.cend(),
             [ p { std::move(p) } ](int val) {  return val == 5 ? true : false ;}) == f.cend() )
             std::cout << "Not found" << std::endl;
 
    }
};
int main(){}

Ошибки:

Кликните здесь для просмотра всего текста

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
In file included from /usr/include/c++/5.2.0/algorithm:62:0,
                 from ../../qt_projects/expert/main.cpp:227:
/usr/include/c++/5.2.0/bits/stl_algo.h: In instantiation of '_IIter std::find_if(_IIter, _IIter, _Predicate) [with _IIter = __gnu_cxx::__normal_iterator<const int*, std::vector<int> >; _Predicate = A::member()::<lambda(int)>]':
../../qt_projects/expert/main.cpp:259:122:   required from here
/usr/include/c++/5.2.0/bits/stl_algo.h:3816:37: error: use of deleted function 'A::member()::<lambda(int)>::<lambda>(const A::member()::<lambda(int)>&)'
        __gnu_cxx::__ops::__pred_iter(__pred));
                                     ^
../../qt_projects/expert/main.cpp:259:75: note: 'A::member()::<lambda(int)>::<lambda>(const A::member()::<lambda(int)>&)' is implicitly deleted because the default definition would be ill-formed:
         auto iter = std::find_if(f.cbegin(), f.cend(), [p { std::move(p) }](int val) {  return val == 5 ? true : false ;});
                                                                           ^
../../qt_projects/expert/main.cpp:259:75: error: use of deleted function 'std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int>]'
In file included from /usr/include/c++/5.2.0/memory:81:0,
                 from ../../qt_projects/expert/main.cpp:251:
/usr/include/c++/5.2.0/bits/unique_ptr.h:356:7: note: declared here
       unique_ptr(const unique_ptr&) = delete;
       ^
In file included from /usr/include/c++/5.2.0/bits/stl_algobase.h:71:0,
                 from /usr/include/c++/5.2.0/vector:60,
                 from ../../qt_projects/expert/main.cpp:225:
/usr/include/c++/5.2.0/bits/predefined_ops.h:239:5: note:   initializing argument 1 of '__gnu_cxx::__ops::_Iter_pred<_Predicate> __gnu_cxx::__ops::__pred_iter(_Predicate) [with _Predicate = A::member()::<lambda(int)>]'
     __pred_iter(_Predicate __pred)
     ^
/usr/include/c++/5.2.0/bits/predefined_ops.h: At global scope:
/usr/include/c++/5.2.0/bits/predefined_ops.h:239:5: error: '__gnu_cxx::__ops::_Iter_pred<_Predicate> __gnu_cxx::__ops::__pred_iter(_Predicate) [with _Predicate = A::member()::<lambda(int)>]', declared using local type 'A::member()::<lambda(int)>', is used but never defined [-fpermissive]

Переместить лямбду тоже не получается, ибо, как я понимаю, перемещение unique_ptr inside lambda-capture list делает функтор non-copyable.
Типа такого:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class A {
 
 
    void member()
    {
        auto p = std::make_unique<int>(42);
        const std::vector<int> f {1, 3, 4};
 
        auto lam = [ p { std::move(p) } ](int val) {  return val == 5 ? true : false ;};
        auto iter = std::find_if(f.cbegin(), f.cend(), std::move(lam));
 
    }
};

Что за дела?

Спасибо!

@hoggy · 06.09.2015, 20:05

Сообщение от gromo

Всем привет! Битый час не пойму почему в списке захвата компилятор ругается на удаленный копирующий конструктор unique_ptr, если я его перемещаю.

ваш код:
http://rextester.com/TOW5373

как видите все компилируется, и работает.

единственное:
я поставил ключик -std=c++1y
что бы активировать с++14

@gromo · 06.09.2015, 20:10 **[ТС]**

Сообщение от hoggy

как видите все компилируется, и работает.

Да что ж это такое, целый день сегодня сижу над ним, выдает одну и ту же ошибку, а в онлайн-компиляторе работает.

Сообщение от hoggy

единственное:
я поставил ключик -std=c++1y
что бы активировать с++14

У меня вообще опции всегда -std=c++1z -Wpedantic -Wextra

Code
1
2
3
4
5
$ g++ --version
g++ (GCC) 5.2.0
Copyright (C) 2015 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Проект пересобирал уже, естественно...

@S_el · 06.09.2015, 20:17

Сообщение от gromo

а в онлайн-компиляторе работает.

не во всех:
http://ideone.com/6L2tlC

@gromo · 06.09.2015, 20:19 **[ТС]**

Сообщение от S_el

не во всех:

Я вообще в непонятках полностью… Раньше вроде бы всегда работало, а теперь перестало.

@hoggy · 06.09.2015, 20:21

Сообщение от gromo

Я вообще в непонятках полностью… Раньше вроде бы всегда работало, а теперь перестало.

на референсах пишут:

The behavior of this function template is equivalent to:

C++
1
2
3
4
5
6
7
8
9
template<class InputIterator, class UnaryPredicate>
  InputIterator find_if (InputIterator first, InputIterator last, UnaryPredicate pred)
{
  while (first!=last) {
    if (pred(*first)) return first;
    ++first;
  }
  return last;
}

обратите внимание: предикат принимается по значению, а не по ссылке.
то есть копируется.
то есть лямбда должна уметь копироваться.

может быть в этом все дело?

http://ideone.com/PiDdDk

@S_el · 06.09.2015, 20:22

gromo, Меня эта конструкция тоже удивляет

Почему не сделаете доступ по ссылке?

@gromo · 06.09.2015, 20:34 **[ТС]**

Сообщение от hoggy

обратите внимание: предикат принимается по значению, а не по ссылке.
то есть копируется.
то есть лямбда должна уметь копироваться.
может быть в этом все дело?

Была такая мысль, но я думал что на референсе это чисто схематическая реализация и там на самом деле все как надо, через universal references.
Походу дело действительно в этом.

C++
1
2
3
4
5
6
7
8
9
10
11
12
template <class P> void f(P pred)
{
    pred();
 
}
 
int main()
{
    auto p = std::make_unique<int>(42);
    auto lam = [p { std::move(p) } ]() {  std::cout << "HEllo\n"; };
    f(/*std::move(*/lam/*)*/);     // OK if uncomment.
}

Code
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
../../qt_projects/expert/main.cpp: In function 'int main()':
../../qt_projects/expert/main.cpp:280:29: error: use of deleted function 'main()::<lambda()>::<lambda>(const main()::<lambda()>&)'
     f(/*std::move(*/lam/*)*/);
                             ^
../../qt_projects/expert/main.cpp:279:36: note: 'main()::<lambda()>::<lambda>(const main()::<lambda()>&)' is implicitly deleted because the default definition would be ill-formed:
     auto lam = [p { std::move(p) } ]() {  std::cout << "HEllo\n"; };
                                    ^
../../qt_projects/expert/main.cpp:279:36: error: use of deleted function 'std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int>]'
In file included from /usr/include/c++/5.2.0/memory:81:0,
                 from ../../qt_projects/expert/main.cpp:251:
/usr/include/c++/5.2.0/bits/unique_ptr.h:356:7: note: declared here
       unique_ptr(const unique_ptr&) = delete;
       ^
../../qt_projects/expert/main.cpp:268:25: note:   initializing argument 1 of 'void f(P) [with P = main()::<lambda()>]'
 template <class P> void f(P pred)
                         ^

Добавлено через 5 минут

Сообщение от S_el

Почему не сделаете доступ по ссылке?

Так и сделаю

Просто хотел более идиоматически поступить, но как видите — писатели std::find_if не позаботитились о таком юзкейсе.

Не срабатывает move конструктор std::unique_ptr

Всего-то дописать && после типа предиката…

@S_el · 06.09.2015, 20:51

Сообщение от gromo

Просто хотел более идиоматически поступить

А что тут более идиоматичного?

Сообщение от hoggy

может быть в этом все дело?

Да. Посмотрел у Джосаттиса,пишет,что стандарт не регламентирует количество копирований предиката.

Добавлено через 4 минуты
gromo, кстати, поведение будет отличатся в зависимости от передачи. После такой лямбды

C++
1
[ p { std::move(p) } ]

указатель p станет пустым.

@gromo · 06.09.2015, 20:52 **[ТС]**

Сообщение от S_el

А что тут более идиоматичного?

Ну во-первых, новая возможность С++14. Во-вторых, а что если будет такая ситуация, что контекст, содержащий unique_ptr перестанет существовать, когда лямбда будет еще жива и выполняться? В моем случае это невозможно, поэтому захват по ссылке сослужил полезную службу.

Сообщение от S_el

Да. Посмотрел у Джосаттиса,пишет,что стандарт не регламентирует количество копирований предиката.

Тут дело не в количестве копирований. В данном случае даже одно, самое первое копирование произойти не может ибо ClosureType содержит в себе перемещенный unique_ptr, который, использую автоматически сгенерированный defaulted копирующий конструктор скопировать не получится. Вылазит ошибка выше.

Добавлено через 59 секунд

Сообщение от S_el

указатель p станет пустым.

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

@S_el · 06.09.2015, 20:56

Сообщение от gromo

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

Тогда не забудьте обнулить после передачи по ссылке.

Сообщение от gromo

Тут дело не в количестве копирований.

Я понимаю

Сообщение от gromo

Во-вторых, а что если будет такая ситуация, что контекст, содержащий unique_ptr перестанет существовать, когда лямбда будет еще жива и выполняться?

Да,я не подумал о такой возможности.

@gromo · 06.09.2015, 21:00 **[ТС]**

Сообщение от S_el

Тогда не забудьте обнулить после передачи по ссылке.

Зачем? Может вы имели ввиду "после перемещения"?

@S_el · 06.09.2015, 21:11

Сообщение от gromo

Зачем? Может вы имели ввиду "после перемещения"?

Нет. После перемещения он сам станет пустым,но если вы сделаете передачу в лямбду по ссылке,то никакого перемещения не будет и его надо будет "уничтожить".
Т.е. в таком случае вы не сможете добиться поведения - лямбда живет независимо от указателя.

@gromo · 06.09.2015, 21:26 **[ТС]**

S_el, RAII?

Новые блоги и статьи Все статьи Все блоги /
сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .
Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и источниками (напряжения, ЭДС и тока). Найти токи и напряжения во всех элементах. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и. . .

@S_el 2444 / 1842 / 406 Регистрация: 15.12.2013 Сообщений: 8,243
	06.09.2015, 20:22
	gromo, Меня эта конструкция тоже удивляет Почему не сделаете доступ по ссылке? 0

@gromo 383 / 281 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	06.09.2015, 21:26 [ТС]
	S_el, RAII? 0

Не срабатывает move конструктор std::unique_ptr

Решение