c# - System.Threading.Timer 的 Dispose 方法不适用于 ManualResetEventSlim？

Question

我有以下代码用于示例控制台应用程序来模拟 Windows 服务。

class Program
{
    private Timer timer;
    private object syncRoot = new object();
    private bool stopSignalled = false;
    private ManualResetEventSlim mre = new ManualResetEventSlim(false);
    static void Main(string[] args)
    {
        Program p = new Program();
        p.Start();
        Console.ReadLine();
        p.Stop();
        Console.WriteLine("Stopped at:{0:G}", DateTime.Now);
    }

    private void Stop()
    {
        stopSignalled = true;
        mre.Wait();            

    }
    private void Timercallback(object state)
    {
        lock (syncRoot)
        {
            if (!stopSignalled)
            {
                 Console.WriteLine("Callback invoked  at:{0:G}",DateTime.Now);

            }
            else
            {
                timer.Dispose(mre.WaitHandle);
                Console.WriteLine("Timer disposed at:{0:G}", DateTime.Now);
            }
        }

    }

    private void Start()
    {
        Console.WriteLine("Started at:{0:G}",DateTime.Now);
        timer = new Timer(Timercallback,null,TimeSpan.Zero,TimeSpan.FromSeconds(1));

    }
}

我很惊讶接受 WaitHandle 的 Dispose 重载在使用 ManualResetEventSlim 时从未向句柄发出信号。如果我像这样更改代码以使用 ManualResetEvent ，则确实会发出句柄信号。

    class Program
{
    private Timer timer;
    private object syncRoot = new object();
    private bool stopSignalled = false;
    private ManualResetEvent mre = new ManualResetEvent(false);
    static void Main(string[] args)
    {
        Program p = new Program();
        p.Start();
        Console.ReadLine();
        p.Stop();
        Console.WriteLine("Stopped at:{0:G}", DateTime.Now);
    }

    private void Stop()
    {
        stopSignalled = true;
        mre.WaitOne();            

    }
    private void Timercallback(object state)
    {
        lock (syncRoot)
        {
            if (!stopSignalled)
            {
                 Console.WriteLine("Callback invoked  at:{0:G}",DateTime.Now);

            }
            else
            {
                timer.Dispose(mre);
                Console.WriteLine("Timer disposed at:{0:G}", DateTime.Now);
            }
        }

    }

    private void Start()
    {
        Console.WriteLine("Started at:{0:G}",DateTime.Now);
        timer = new Timer(Timercallback,null,TimeSpan.Zero,TimeSpan.FromSeconds(1));

    }
}

是什么赋予了！