Посмотрите на следующий код:
#include <utility>
#include <map>
// non-copyable but movable
struct non_copyable {
non_copyable() = default;
non_copyable(non_copyable&&) = default;
non_copyable& operator=(non_copyable&&) = default;
// you shall not copy
non_copyable(const non_copyable&) = delete;
non_copyable& operator=(const non_copyable&) = delete;
};
int main() {
std::map<int, non_copyable> map;
//map.insert({ 1, non_copyable() }); < FAILS
map.insert(std::make_pair(1, non_copyable()));
// ^ same and works
}
Компиляция этого фрагмента завершается неудачей при раскомментировании отмеченной строки в g++ 4.7. Полученная ошибка указывает на невозможность копирования non_copyable
, но я ожидал, что она будет перенесена.
Почему вставка std::pair
, построенная с использованием единой инициализации, не выполняется, но не построена с использованием std::make_pair
? Разве оба не должны производить rvalues, которые можно успешно перенести на карту?