Зачем мне нужен конструктор копирования для типа T?

На это уже ответили здесь:

В чем разница между оператором присваивания и конструктором копирования?

Итак, дело в следующем:

Конструктор копирования используется для инициализации ранее неинициализированного объекта из данных какого-либо другого объекта.

Оператор присваивания используется для замены данных ранее инициализированного объекта данными какого-либо другого объекта.

Вот пример:

#include <iostream>

using namespace std;


class MyClass{
public:
  MyClass(){
    cout << "Default ctor\n";
  }

  MyClass(const MyClass& copyArg){
    cout << "Copy ctor\n";
  }

  MyClass(MyClass&& moveArg){
    cout << "Move ctor\n";
  }

  void operator=(const MyClass& assignArg){
    cout << "Assignment operator\n";
  }

  bool operator<(const MyClass& comparsionArg) const {
    return true;
  }
};

template<class T>
T max(const T* array, int size) {
    T result = array[0];
    for (int i = 0; i < size; ++i) {
        if (result < array[i]) {
            result = array[i];
        }
    }
    return result;
}


int main(){

  MyClass arr[1];

  const MyClass& a = max(arr, 1);

  return 0;
}

Чтобы узнать, что именно происходит, нам нужно скомпилировать с помощью -fno-elide-constructors.

Результат:

Default ctor
Copy ctor
Assignment operator
Move ctor

Итак, здесь конструктор по умолчанию вызывается в этой строке для одного элемента массива:

MyClass arr[1];

Затем мы инициализируем ранее неинициализированный объект и вызывается конструктор копирования :

T result = array[0];

Затем мы присваиваем ранее инициализированному объекту и вызываем оператор присваивания :

result = array[i];

После того, как нам нужно создать объект за пределами области действия нашей функции, поскольку мы возвращаемся по значению и для этого конструктора перемещения вызывается:

return result;

Затем привяжите объект, созданный с помощью конструктора перемещения в области main, к ссылке const:

const MyClass& a = max(arr, 1);