実際は電車は逃していないので事実と反しています。したがって仮定法過去完了になるからです。「If＋主語＋had＋過去分詞, 主語＋would（should / could / mightなど）＋ have＋過去分詞」の形で表します！