Безопасно ли использовать Free вместо Release для модальных форм в Delphi?

Да, безопасно использовать Free после вызова ShowModal.

Случаи, когда вам нужно использовать Release, это когда вы находитесь в середине обработчика событий (например, OnClick), где дальнейшая обработка после события должна будет получить доступ к форме. В этом случае вызов Release вместо этого отправляет сообщение CM_RELEASE, которое не освобождает событие до тех пор, пока обработчик события не завершится и управление не вернется к насосу сообщений (ProcessMessages/Application.Run). ShowModal не возвращается до тех пор, пока обработчик события не завершится и управление не сделает его резервным копированием стека, поэтому последующий вызов Free фактически является тем же местом, где в противном случае обрабатывалось бы сообщение CM_RELEASE.

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

Альтернативой, которую я бы предложил, является установка в событии OnClose значения caFree, например:

procedure FormClose(Sender : TObject; Action : TCloseAction)
begin
  Action := caFree;
end;

Затем вы можете написать такой код:

TMyForm.Create(nil).ShowModal;

И вам не нужно специально освобождать форму, так как она освободится сама, когда это будет сделано.

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

MyForm := TMyForm.Create(nil); 
try 
  MyForm.ShowModal; 
finally 
  FreeAndNil(MyForm); 
end;