Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
 
Рейтинг 4.94/48: Рейтинг темы: голосов - 48, средняя оценка - 4.94
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602

Std::map::emplace

09.02.2015, 03:03. Показов 10401. Ответов 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)
IT_Exp
Эксперт
34794 / 4073 / 2104
Регистрация: 17.06.2006
Сообщений: 32,602
Блог
09.02.2015, 03:03
Ответы с готовыми решениями:

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

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

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

21
Эксперт по математике/физикеЭксперт С++
 Аватар для Ilot
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 08:15
Проблема в отсутствии конструктора копирования:
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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 08:21  [ТС]
Цитата Сообщение от Ilot Посмотреть сообщение
Проблема в отсутствии конструкторов копирования или перемещения:
Мне надо именно без конструкторов копирования и перемещения, о чем я вроде сразу написал в стартпосте. Как у вас - получается тот же самый C++ insert, профиль сбоку. И абсолютно непонятно на кой черт надо было городить emplace с абсолютно никак не используемым variadic template (все равно ведь строго два аргумента пихать).
0
Эксперт по математике/физикеЭксперт С++
 Аватар для Ilot
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 08:31
Лучший ответ Сообщение было отмечено 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/refer... construct/
1
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 08:42  [ТС]
Цитата Сообщение от Ilot Посмотреть сообщение
Мой косяк. Не обратил внимания. Тогда вот:
Спасибо, теперь работает.
Цитата Сообщение от Ilot Посмотреть сообщение
Предваряя вопрос, что цэ такэ piecewise_construct? Отвечу это новый способ инициализации пары непосредственным конструированием объектов на "месте", передачей параметров непосредственно в конструкторы без конструирования временного объекта.
У меня скорее возникает вопрос зачем у emplace по документации произвольное число аргументов, если с таким синтаксисом их всегда будет три (ну два, в тривиальном случае).
0
Эксперт по математике/физикеЭксперт С++
 Аватар для Ilot
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 09:01
Цитата Сообщение от Renji Посмотреть сообщение
У меня скорее возникает вопрос зачем у emplace по документации произвольное число аргументов, если с таким синтаксисом их всегда будет три (ну два, в тривиальном случае).
Это связано с особенностью, что в отображении хранятся пары. Но на самом то деле в конструктор передаются кортежи и посредством фукции forward параметры передаются либо с использование семантики перемещения, либо ссылки. И на месте уже кортежи распаковываются в список параметров необходимых для вызова конструктора.
0
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 09:53  [ТС]
Цитата Сообщение от 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
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 10:02
Ок. Мы пойдем другим путем. Допусти у вас есть класс:
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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 10:19  [ТС]
Цитата Сообщение от Ilot Посмотреть сообщение
Вот тут и возникает вопрос: а как собственно должны разбиваться параметры для передачи в конструктор pair?
Причем, встает этот вопрос перед разработчиками emplace и C++11 (emplace появилось именно в новом стандарте). После чего они делают emplace с двумя аргументами типа tupe, а не городят piecewise_construct и варадик шаблон. Ну или придумывают какую-то синтаксическую фиговину разрешающую подобные неоднозначности.

У нас же разработчики специально делают заголовок функции, допускающий emplace(1,2,3,4). Вот я и не пойму, на кой черт это было нужно то, если к использованию не планировалось?
0
Эксперт по математике/физикеЭксперт С++
 Аватар для Ilot
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 10:34
Цитата Сообщение от 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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 11:21  [ТС]
Цитата Сообщение от 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
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 12:05
Цитата Сообщение от 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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 12:38  [ТС]
Цитата Сообщение от 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
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
09.02.2015, 13:03
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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 13:13  [ТС]
Цитата Сообщение от ForEveR Посмотреть сообщение
Renji, Сделано это полагаю все-таки для унификации.
Так не работает оно унифицировано. Для вектора я могу написать my_vector.emplace(ins_pos,1,2,3,4), а вот для мапа аналогичное my_map.emplace("key",1,2,3,4) не сработает.
0
В астрале
Эксперт С++
 Аватар для ForEveR
8049 / 4806 / 655
Регистрация: 24.06.2010
Сообщений: 10,562
09.02.2015, 13:16
Renji, Ну, для вектора пар так тоже не сработает, а учитывая, что в map все же хранятся пары (и это явно описано в стандарте) все достаточно логично.
1
Эксперт по математике/физикеЭксперт С++
 Аватар для Ilot
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 13:20
Опечатка
Цитата Сообщение от 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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 13:32  [ТС]
Цитата Сообщение от Ilot Посмотреть сообщение
К тому, что именно аллокаторы вызывают конструкторы.
Разговор вроде был о необходимости переменного числа аргументов у emplace. В свете того что с использованием piecewise_construct метод всегда получает строго три аргумента (piecewise_construct и два tuple), а без использования piecewise_construct превращается в insert перемещающий временные объекты туда-сюда. И пропадает всякий смысл использовать такой emplace (insert и так есть).
Цитата Сообщение от Ilot Посмотреть сообщение
Конечно же это опечатка. Должно быть "временный объект test"
Renji, вы кого хотите обмануть?
Никого я не хочу обмануть, связь временного объекта и возможности использовать emplace с двумя аргументами для меня непонятна также как "причем тут аллокаторы". Поэтому просто на всякий случай указал на ошибку.
0
Эксперт по математике/физикеЭксперт С++
 Аватар для Ilot
2224 / 1426 / 420
Регистрация: 16.05.2013
Сообщений: 3,646
Записей в блоге: 6
09.02.2015, 13:42
Цитата Сообщение от 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
2784 / 1937 / 570
Регистрация: 05.06.2014
Сообщений: 5,602
09.02.2015, 14:19  [ТС]
Цитата Сообщение от 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
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
BasicMan
Эксперт
29316 / 5623 / 2384
Регистрация: 17.02.2009
Сообщений: 30,364
Блог
09.02.2015, 14:19
Помогаю со студенческими работами здесь

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

Std::unordered_multimap<std::string, int> map
Приветствую. Как можно получить только &quot;уникальный&quot; ключ в контейнере? std::unordered_multimap&lt;std::string, int&gt; map; ...

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

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

std::map не компилируется
Всем здравствуйте. Возникла проблема при попытке использования std::map в visual studio 2010. при подключении файла &lt;map&gt; и...


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

Или воспользуйтесь поиском по форуму:
20
Ответ Создать тему
Новые блоги и статьи
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами
8Observer8 20.02.2026
Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .
Конвертировать закладки radiotray-ng в m3u-плейлист
damix 19.02.2026
Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .
Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI
Eddy_Em 18.02.2026
Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .
Камера Toupcam IUA500KMA
Eddy_Em 12.02.2026
Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу
zbw 12.02.2026
И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.
«Знание-Сила»
zbw 12.02.2026
«Знание-Сила» «Время-Деньги» «Деньги -Пуля»
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров
8Observer8 12.02.2026
Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .
SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image)
8Observer8 11.02.2026
Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru