Ответ 1
Он называется "размещение нового", а комментарии в фрагменте кода в значительной степени объясняют это:
Он создает объект типа T
без выделения для него памяти, по адресу, указанному в круглых скобках.
Итак, вы смотрите на оператор присваивания копий, который сначала уничтожает объект, который копируется (без освобождения памяти), а затем создает новый в том же адресе памяти. (Это также довольно плохая идея для реализации оператора таким образом, как указано в комментариях)