Что делает членов экземпляра небезопасными потоком по сравнению с общедоступными помехами?

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

Итак, вы, вероятно, где-то скопировали свою матрицу, которая будет использовать неявно определенный конструктор копирования, который выполняет плоскую копию. Затем скопированная матрица и копия в своем деструкторе удаляют один и тот же указатель.

Кроме того, почему требуется чрезвычайно подробный синтаксис template template

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

Вам следует избавиться от < T> в твоей первой строке, кстати. При определении шаблона такого не происходит.

Это плохое решение, поскольку оно приводит к полному дублированию кода конструктора копирования.

Вы можете определить шаблон функции-члена, который будет выполнять эту работу, и делегировать ее как из конструктора преобразования, так и из конструктора копирования. . Таким образом, код не дублируется.

Ричард сделал хорошее замечание в комментариях, которые заставили меня изменить свой ответ. Если функция-кандидат, сгенерированная из шаблона, лучше соответствует, чем неявно объявленный конструктор копирования, тогда шаблон «выигрывает» и он будет вызван. Вот два распространенных примера:

struct A {
  template<typename T>
  A(T&) { std::cout << "A(T&)"; }
  A() { }
};

int main() {
  A a;
  A b(a); // template wins:
          //   A<A>(A&)  -- specialization
          //   A(A const&); -- implicit copy constructor
          // (prefer less qualification)

  A const a1;
  A b1(a1); // implicit copy constructor wins: 
            //   A(A const&) -- specialization
            //   A(A const&) -- implicit copy constructor
            // (prefer non-template)
}

Конструктор копирования может также иметь неконстантный ссылочный параметр,

Это проблема государства. Что общего делает методы небезопасными для нескольких потоков, так это то, что они не обращаются к общему состоянию потокобезопасным способом. Статические методы обычно не имеют доступа к общему состоянию и, следовательно, с меньшей вероятностью столкнутся с этой проблемой. По-прежнему возможно иметь условия гонки в статических / общих методах, если они касаются статических данных, но в целом статические методы этого не делают.

Проблема с методами, которые не являются потокобезопасными, заключается в одновременном доступе к общим ресурсам, таким как переменные экземпляра. Если статический метод только работает с частными / локальными данными, он изначально является потокобезопасным. Однако нет гарантии, что это делают статические методы - это должно быть сделано явно.

Таким образом, чтобы статический метод был потокобезопасным, он не может получить доступ к статическим членам без использования синхронизации, и он должен копировать все данные, которые он получает в качестве входных данных, перед их изменением.