Почему copy или back_inserter могут быть вызваны без указания пространства имён?

Question

[Qubc]

#include <cstddef>
#include <vector>
 
int main(void) {
  int a[] = { 10, 20, 30 };
  const size_t SIZE = sizeof a / sizeof a[0];
  std::vector<int> v1(a, a + SIZE);

  std::vector<int> v2(SIZE);
  copy(v1.begin(), v1.end(), v2.begin());// ?
  back_inserter(v2);// ?

  std::copy(v1.begin(), v1.end(), v2.begin());// ?
  std::back_inserter(v2);// ?
  return 0;
}

Comments

[Евгений Шатунов]

Qubc, а вот, например, тебя не удивляет то, что трансляция твоего кода не отваливается на отсутствии заголовков algorithm и iterator?
Попробуй придумать оправдание такому поведению транслятора.

[Qubc]

Евгений Шатунов, algorithm и iterator включены в vector и компилятор обнаруживает copy и back_inserter через name lookup? Ну да, понятно, спасибо большое.

[Евгений Шатунов]

Qubc, как бы, да. Не сами эти заголовки, т.к. они являются публичными и библиотечными. Заголовок вектора может включать части библиотеки итераторов и алгоритмов напрямую, т.к. там авторы знают что делают.
Но так не всегда. В студии, например, ты словишь на этом коде ошибку. Это потому что такое поведение является тонкостью реализации. И на него просто нельзя завязываться.

И вот теперь к твоему основному вопросу. Очевидно, copy и back_inserter являются шаблонами функций. Попробуй придумать такой случай, когда имя функции без пространства имен остается правильным. Этот вопрос посложнее будет, я тебе советую над ним хорошо подумать. Но если не вытягиваешь, просто скажи. Я ответ напишу чуть позже.