Форум программистов, компьютерный форум, киберфорум
Наши страницы
С++ для начинающих
Войти
Регистрация
Восстановить пароль
 
 
Рейтинг 4.71/14: Рейтинг темы: голосов - 14, средняя оценка - 4.71
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
1

Std::map::emplace

09.02.2015, 03:03. Просмотров 2697. Ответов 21
Метки нет (Все метки)

То ли я туплю/криво поставил компилятор, то ли это emplace синтаксис кривой, но... Как использовать emplace применительно к map со значениями БЕЗ конструктора копирования/перемещения? Пишу:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include<map>
struct test
{
    test(int,int){}
    test(const test&)=delete;
    test(test&&)=delete;
    int x,y;
};
 
int main()
{
    std::map<int,test>my_map;
    my_map.emplace(0,0,0);
}
Ругается что "error: no matching function for call to 'std:: pair<const int, test>:: pair(int, int, int)'".
Напишу my_map.emplace(0,test(0,0)); - ну, здесь все понятно - конструкторы перемещения/копирования отсутствуют.
Ладно, дописываю этой заразе:
C++
1
2
3
4
5
6
7
8
9
10
11
12
namespace std
{
template<>
struct pair<const int,::test>
{
    typedef const int first_type;
    typedef test second_type;
    pair(int a,int b,int c):first(a),second(b,c){}
    const int first;
    test second;
};
}
Работает, но костыль же.

Если же emplace жить не может без конструктора перемещения, я честно говоря, не понимаю на кой черт этот emplace нужен и чем он отличается от insert.
0
Лучшие ответы (1)
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
09.02.2015, 03:03
Ответы с готовыми решениями:

Emplace в std::map. Как добавить элемент в std::map без копирования?
здравствуйте... есть ли способ не писать так: std::map&lt;int, char&gt; ksa;...

Возможно ли создать контейнер std::map, в котором в качестве значения была бы ссылка на std::map?
Здравствуйте. Возможно ли создать контейнер std::map, в котором в качестве...

std::map, std::vector и порядок обхода коллекции
Здравствуйте, уважаемые! Вопрос следующий - если я сохраняю какие-то значения...

Стоит ли очищать в деструкторе std::map , std::vecotor?
У меня ещё один нубский вопрос :) Вот если в классе объявлены мапы и вектора,...

Потокобезопасность std::map::end, std::list::end
Собсна сабж, могу ли я без синхронизаций выполнять подобного рода код if...

21
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 08:15 2
Проблема в отсутствии конструктора копирования:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
#include<map>
#include<utility>
#include <functional>
struct test
{
    test(int,int){}
    //test(const test&)=delete;
    //test(test&&)=delete;
    int x,y;
};
 
int main()
{
    std::map<int,test> my_map;
    my_map.emplace(2,
      test(3,10)
    );
}
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 08:21  [ТС] 3
Цитата Сообщение от Ilot Посмотреть сообщение
Проблема в отсутствии конструкторов копирования или перемещения:
Мне надо именно без конструкторов копирования и перемещения, о чем я вроде сразу написал в стартпосте. Как у вас - получается тот же самый C++ insert, профиль сбоку. И абсолютно непонятно на кой черт надо было городить emplace с абсолютно никак не используемым variadic template (все равно ведь строго два аргумента пихать).
0
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 08:31 4
Лучший ответ Сообщение было отмечено Renji как решение

Решение

Цитата Сообщение от Renji Посмотреть сообщение
Мне надо именно без конструкторов копирования и перемещения
Мой косяк. Не обратил внимания. Тогда вот:
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include<map>
#include<utility>
struct test
{
    test(int,int){}
    test(const test&)=delete;
    test(test&&)=delete;
    int x,y;
};
 
int main()
{
    std::map<int,test> my_map;
    my_map.emplace(
      std::piecewise_construct,
      std::forward_as_tuple(10),
      std::forward_as_tuple(3,10)
    );
}
Предваряя вопрос, что цэ такэ piecewise_construct? Отвечу это новый способ инициализации пары непосредственным конструированием объектов на "месте", передачей параметров непосредственно в конструкторы без конструирования временного объекта.
Чуть подробнее http://www.cplusplus.com/reference/utility/piecewise_construct/
1
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 08:42  [ТС] 5
Цитата Сообщение от Ilot Посмотреть сообщение
Мой косяк. Не обратил внимания. Тогда вот:
Спасибо, теперь работает.
Цитата Сообщение от Ilot Посмотреть сообщение
Предваряя вопрос, что цэ такэ piecewise_construct? Отвечу это новый способ инициализации пары непосредственным конструированием объектов на "месте", передачей параметров непосредственно в конструкторы без конструирования временного объекта.
У меня скорее возникает вопрос зачем у emplace по документации произвольное число аргументов, если с таким синтаксисом их всегда будет три (ну два, в тривиальном случае).
0
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 09:01 6
Цитата Сообщение от Renji Посмотреть сообщение
У меня скорее возникает вопрос зачем у emplace по документации произвольное число аргументов, если с таким синтаксисом их всегда будет три (ну два, в тривиальном случае).
Это связано с особенностью, что в отображении хранятся пары. Но на самом то деле в конструктор передаются кортежи и посредством фукции forward параметры передаются либо с использование семантики перемещения, либо ссылки. И на месте уже кортежи распаковываются в список параметров необходимых для вызова конструктора.
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 09:53  [ТС] 7
Цитата Сообщение от Ilot Посмотреть сообщение
Это связано с особенностью, что в отображении хранятся пары. Но на самом то деле в конструктор передаются кортежи и посредством фукции forward параметры передаются либо с использование семантики перемещения, либо ссылки. И на месте уже кортежи распаковываются в список параметров необходимых для вызова конструктора.
Скажем иначе: в чем разница между реальным заголовком вида:
C++
1
2
3
template<typename... _Args>
    std::pair<iterator, bool>
    emplace(_Args&&... __args)
И возможным заголовком вида:
C++
1
2
3
template<typename type1,typename type2,typename type3>
    std::pair<iterator, bool>
    emplace(type1&&arg1,type2&&arg2,type3&&arg3)
Исходя из того что аргументами всегда идут один piecewise_construct и два tuple.
0
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 10:02 8
Ок. Мы пойдем другим путем. Допусти у вас есть класс:
C++
1
2
3
4
5
6
struct test
{
    test(int){}
    test(int,int){}
    test(int,int, int){}
};
И вы хотите вызвать, что-то типа такого:
C++
1
2
std::map<test, test> mp;
mp.emplace(1, 2, 3, 4);
Вот тут и возникает вопрос: а как собственно должны разбиваться параметры для передачи в конструктор pair?
3 параметра + 1 параметр,
2 параметра + 2 параметра,
1 параметр + 3 параметра?
Вариант, указанный в посте №4, аккурат предназначен для разрешения подобной неоднозначности. Ибо первый кортеж передает параметры для конструирования ключа, а второй для конструирования отображения.
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 10:19  [ТС] 9
Цитата Сообщение от Ilot Посмотреть сообщение
Вот тут и возникает вопрос: а как собственно должны разбиваться параметры для передачи в конструктор pair?
Причем, встает этот вопрос перед разработчиками emplace и C++11 (emplace появилось именно в новом стандарте). После чего они делают emplace с двумя аргументами типа tupe, а не городят piecewise_construct и варадик шаблон. Ну или придумывают какую-то синтаксическую фиговину разрешающую подобные неоднозначности.

У нас же разработчики специально делают заголовок функции, допускающий emplace(1,2,3,4). Вот я и не пойму, на кой черт это было нужно то, если к использованию не планировалось?
0
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 10:34 10
Цитата Сообщение от Renji Посмотреть сообщение
Вот я и не пойму, на кой черт это было нужно то, если к использованию не планировалось?
Да все потому, же. На кой ляд городить несколько функций emplace если можно обойтись одной? К примеру, вот этот простой код и код выше:
C++
1
2
3
4
5
#include<map>
int main() {
    std::map<int,int> my_map;
    my_map.emplace(1, 1);
}
Работают с одной функцией. Если делать как вы говорите то их должно было быть по крайней мере две. Это уже не говоря о том, что нарушается идиома идентичности аналогичных функций в разных контейнерах STL. Попробуйте сравнить для примера функции insert для все контейнеров. Они таки у всех индентичны.
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 11:21  [ТС] 11
Цитата Сообщение от Ilot Посмотреть сообщение
К примеру, вот этот простой код
...Не заработает без перемещающего конструктора, даже если у значений map будет конструктор принимающий int. На кой черт нужен такой вариант emplace - действительно, загадка.
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#include<map>
struct test
{
    test(int){}
    test(const test&)=delete;
    test(test&&)=delete;
    int x,y;
};
 
int main()
{
    std::map<int,test> my_map;
    my_map.emplace(1,2);
}
error: use of deleted function 'test::test(const test&)
Цитата Сообщение от Ilot Посмотреть сообщение
Попробуйте сравнить для примера функции insert для все контейнеров. Они таки у всех индентичны.
Из-за чего приходится писать my_map.insert(std:: pair<int,int>(1,2)) вместо my_map.insert(1,2). Не, я допускаю что для STL алгоритмов важен первый вариант, но можно же было и второй за компанию реализовать.
0
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 12:05 12
Цитата Сообщение от Renji Посмотреть сообщение
...Не заработает без перемещающего конструктора, даже если у значений map будет конструктор принимающий int. На кой черт нужен такой вариант emplace - действительно, загадка.
Конечно не работает ведь вы же фактически сперва конструируете временный объект pair, а затем передаете его в map. Что бы сконструировать объект pair на месте используется piecewise_construct-семантика.
Важно понять, что на самом то деле вызывается именно функция emplace с переменным числом параметров, а затем уже аллокатор берет на себя ответственность за конструирование объекта pair. Например, в моем компиляторе за это отвечает код:
C++
1
2
3
4
      template<typename _Up, typename... _Args>
        void
        construct(_Up* __p, _Args&&... __args)
    { ::new((void *)__p) _Up(std::forward<_Args>(__args)...); }
Но для map'a тип _Up это pair и поэтому для него вызывется нечно вроде:
C++
1
2
3
4
std::pair<int, test>(
      std::piecewise_construct,
      std::forward_as_tuple(10),
      std::forward_as_tuple(3,10));
Но дефолтный аллокатор он общий для всех типов. Отсюда возникает вопрос: на кой ляд классу vector код предназначенный для map'a если все можно выразить единым образом? Или все же стоит писать для map'a свой аллокатор?
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 12:38  [ТС] 13
Цитата Сообщение от Ilot Посмотреть сообщение
Конечно не работает ведь вы же фактически сперва конструируете временный объект pair, а затем передаете его в map.
Создаю временный объект? И каким же тогда чудом работает приведенный ниже код? Проблема тут не во временных объектах, а в конструкторе pair.
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
#include<map>
struct test
{
    test(int){}
    test(const test&)=delete;
    test(test&&)=delete;
    int x,y;
};
 
//явно прописываем pair конструктор работающий без временных объектов
namespace std
{
template<>
struct pair<const int,::test>
{
    typedef const int first_type;
    typedef test second_type;
    pair(int a,int b):first(a),second(b){}
    const int first;
    test second;
};
}
 
int main()
{
    std::map<int,test>my_map;
    my_map.emplace(0,0);//вуаля, piecewise_construct не используется, а не копируемый объект создается
}
Цитата Сообщение от Ilot Посмотреть сообщение
Важно понять, что на самом то деле вызывается именно функция emplace с переменным числом параметров
С тремя параметрами. С двумя отвалится возможность работать без перемещающего конструктора, с четырьмя матюкнется std:: pair конструктор. Переменное число параметров - только через приведенный выше хак. К чему были разговоры о аллокаторах я вообще не понял.
0
ForEveR
В астрале
Эксперт С++
7997 / 4755 / 652
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
09.02.2015, 13:03 14
Renji, Сделано это полагаю все-таки для унификации. Сам map ничего не знает о piecewise_construct, о нем знает только pair.

Добавлено через 8 минут
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
#include <vector>
#include <tuple>
 
class test 
{
public:
   test(int, std::string, int) {}
};
 
int main()
{
   std::vector<test> v;
   v.emplace_back(1, "hello", 2);
   std::vector<std::pair<int, test>> vec;
   vec.emplace_back(std::piecewise_construct, std::forward_as_tuple(1), std::forward_as_tuple(1, "hello", 2));
}
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 13:13  [ТС] 15
Цитата Сообщение от ForEveR Посмотреть сообщение
Renji, Сделано это полагаю все-таки для унификации.
Так не работает оно унифицировано. Для вектора я могу написать my_vector.emplace(ins_pos,1,2,3,4), а вот для мапа аналогичное my_map.emplace("key",1,2,3,4) не сработает.
0
ForEveR
В астрале
Эксперт С++
7997 / 4755 / 652
Регистрация: 24.06.2010
Сообщений: 10,547
Завершенные тесты: 3
09.02.2015, 13:16 16
Renji, Ну, для вектора пар так тоже не сработает, а учитывая, что в map все же хранятся пары (и это явно описано в стандарте) все достаточно логично.
1
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 13:20 17
Опечатка
Цитата Сообщение от Ilot Посмотреть сообщение
Конечно не работает ведь вы же фактически сперва конструируете временный объект pair,
Конечно же это опечатка. Должно быть "временный объект test"
Renji, вы кого хотите обмануть?
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
38
#include<map>
#include<iostream>
struct test
{
    test(int) {
        std::cout << "test(int)\n";
    }
    test(const test&) {
        std::cout << "test(const test&)\n";
    };
    test(test&&){
        std::cout << "test(test&&)\n";
    };
    int x,y;
};
 
//явно прописываем pair конструктор работающий без временных объектов
namespace std
{
    template<>
    struct pair<const int,::test>
    {
        typedef const int first_type;
        typedef test second_type;
        pair(int a,second_type b):first(a),second(b){
            std::cout << "pair(int, second_type)\n";
        }
        const int first;
        test second;
    };
}
 
int main()
{
    std::map<int,test>my_map;
    my_map.emplace(0,0);//вуаля, piecewise_construct не используется, а не копируемый объект создается
 
}
А все потому, что такого конструктора который вы написали в стандартном объекте pair увы нет.
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 13:32  [ТС] 18
Цитата Сообщение от Ilot Посмотреть сообщение
К тому, что именно аллокаторы вызывают конструкторы.
Разговор вроде был о необходимости переменного числа аргументов у emplace. В свете того что с использованием piecewise_construct метод всегда получает строго три аргумента (piecewise_construct и два tuple), а без использования piecewise_construct превращается в insert перемещающий временные объекты туда-сюда. И пропадает всякий смысл использовать такой emplace (insert и так есть).
Цитата Сообщение от Ilot Посмотреть сообщение
Конечно же это опечатка. Должно быть "временный объект test"
Renji, вы кого хотите обмануть?
Никого я не хочу обмануть, связь временного объекта и возможности использовать emplace с двумя аргументами для меня непонятна также как "причем тут аллокаторы". Поэтому просто на всякий случай указал на ошибку.
0
Ilot
Эксперт С++
1832 / 1190 / 342
Регистрация: 16.05.2013
Сообщений: 3,139
Записей в блоге: 5
Завершенные тесты: 1
09.02.2015, 13:42 19
Цитата Сообщение от Renji Посмотреть сообщение
В свете того что с использованием piecewise_construct метод всегда получает строго три аргумента (piecewise_construct и два tupe), а без использования piecewise_construct превращается в insert перемещающий временные объекты туда-сюда. И пропадает всякий смысл использовать такой emplace (insert и так есть).
Может этот код поможет поставить все точки над "и" (ведь это ваш пример). Хотя не уверен...
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#include<map>
#include<iostream>
#include<map>
struct test
{
    test(int) {}
    test(int, int) {}
    test(const test&) = delete;
    test(test&&) = delete;
    int x,y;
};
 
int main()
{
    std::map<int,test>my_map;
    my_map.emplace(
      std::piecewise_construct,
      std::forward_as_tuple(10),
      std::forward_as_tuple(3,10)
    );
    my_map.insert(my_map.begin(), {0,1});
}
Назначение emplace построить объект на месте. insert этого не позволяет.
0
Renji
2123 / 1561 / 476
Регистрация: 05.06.2014
Сообщений: 4,523
09.02.2015, 14:19  [ТС] 20
Цитата Сообщение от Ilot Посмотреть сообщение
Может этот код поможет поставить все точки над "и" (ведь это ваш пример). Хотя не уверен...
std::forward_as_tuple(3,10) это один аргумент функции, а не два. То есть, тезису "emplace нужно строго три аргумента" ваш пример никак не противоречит. Ну и во избежание споров:
C++
1
2
3
4
5
6
7
8
9
#include <functional>
//функция принимает один аргумент
template<typename type>
void test(type&&){}
int main()
{
    //функции передается один аргумент. Несмотря на то что в tuple их десяток
    test(std::forward_as_tuple(0,1,2,3,4,5,6,7,8,9));
}
Цитата Сообщение от Ilot Посмотреть сообщение
Назначение emplace построить объект на месте. insert этого не позволяет.
Мы уже разобрались что emplace(1,2) конструирует pair через создание временного объекта test. Извините, но "построение на месте" с вызовом перемещающего конструктора для обоих полей объекта, это чистая профанация.
0
09.02.2015, 14:19
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
09.02.2015, 14:19

Размерность std::map
Добрый вечер. Использую тип данных 16 байтовый. Надо записать несколько...

Std::map и key_comp
Есть задача, нужно задать в map класс для сравнения ключей, но классу для...

Поиск по std::map
есть вот такой код // ConsoleApplication29.cpp: определяет точку входа для...


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

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

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