Этот код смущает меня:

struct foo {
  int i;

  foo(int j) : i(j) {}

  foo(const foo &) = delete;
  foo(foo &&) = delete;
  foo &operator=(const foo&) = delete;
  foo &operator=(foo&&) = delete;
};

bool operator<(const foo &f1, const foo &f2)
{
  return f1.i < f2.i;
}

int main(int argc, char **argv)
{
  std::map<foo,int> f;
  std::map<foo,int> f2 = f; //error (as expected)
  std::map<foo,int> f3 = std::move(f); //no error (why?)
  return 0;
}

Поскольку я не получаю ошибки там, похоже, что при перемещении карты не создается ключевой объект (даже для перемещения в него другого ключевого объекта).

Почему нет? Могу ли я полагаться на это поведение в соответствии со стандартом C ++ 11?

В целом, какие требования к копированию / перемещениюstd::map место натип ключа и значения и на каких условиях?