C# WPF Window.ShowDialog исключение переполнения стека

Question

Удивительно исключение переполнения стека может быть вызвано многократным вызовом Window.ShowDialog асинхронно.

public MainWindow() 
{ 
    InitializeComponent(); 
    TheCallDelegate = TheCall; 
    _timer = new DispatcherTimer(); 
    _timer.Tick += _timer_Tick; 
    _timer.Start(); 
} 

DispatcherTimer _timer = null; 

void _timer_Tick(object sender, EventArgs e) 
{ 
    _timer.Dispatcher.BeginInvoke(TheCallDelegate);    
} 

Action TheCallDelegate; 

void TheCall() 
{ 
    Window win = new Window(); 
    win.ShowDialog(); 
} 

Как вы можете видеть, что нет никакой фактической рекурсии здесь (или не должен быть), но как только происходит исключение вы можете увидеть, что стек вызовов действительно полно. Почему? Это также может быть достигнуто без использования таймера следующим образом:

private async void Button_Click(object sender, RoutedEventArgs e) 
    { 
     while (true) 
     { 
      this.Dispatcher.BeginInvoke(TheCallDelegate); 
      await Task.Delay(1); 
     } 
    } 

P.S. Код, который вы видите здесь, сконструирован специально, чтобы проиллюстрировать вопрос, поэтому не сосредотачивайтесь на том, почему кто-либо сделает это. Цель вопроса - понять, почему ShowDialog ведет себя таким образом.

Answer 1

Как вы можете видеть трассировку стека, каждый вызов в ShowDialog() подталкивает новые кадры к стеку. Поскольку вы вызываете ShowDialog() несколько раз без закрытия, каждый вызов увеличивает глубину стека, и стек в конечном итоге переполняется.

Это происходит потому, что в отличие от метода Show(), ShowDialog() не возвращается, пока отображаемое окно не будет закрыто. Это работает как любой другой вызов метода, поэтому он вызывает рост стека. Поскольку ShowDialog() должен отвечать на ввод пользователя, он запускает новый цикл диспетчера. Поскольку Диспетчер все еще работает, ваш таймер продолжает стрелять и открывать новые, вложенные диалоги.

Таким образом, на очень высоком уровне, ваш стек вызовов будет выглядеть следующим образом:

...Dispatcher Loop... 
TheCall 
ShowDialog 
... Dialog Dispatcher Loop... 
TheCall 
ShowDialog 
... Dialog Dispatcher Loop... 
TheCall 
ShowDialog 
... Dialog Dispatcher Loop... 

который в конечном итоге переполнения, как открываются новые диалоги.