Зачем использовать try {} finally {} с пустым блоком try?

Я заметил, что в System.Threading.TimerBase.Dispose()методе есть try{} finally{}блок, но try{}он пуст.

Есть ли какое-либо значение в использовании try{} finally{}с пустым try?

http://labs.developerfusion.co.uk/SourceViewer/browse.aspx?assembly=SSCLI&namespace=System.Threading&type=TimerBase

[ReliabilityContract(Consistency.WillNotCorruptState, Cer.MayFail)]
internal bool Dispose(WaitHandle notifyObject)
{
    bool status = false;
    bool bLockTaken = false;
    RuntimeHelpers.PrepareConstrainedRegions();
    try {
    }
    finally {
        do {
            if (Interlocked.CompareExchange(ref m_lock, 1, 0) == 0) {
                bLockTaken = true;
                try {
                    status = DeleteTimerNative(notifyObject.SafeWaitHandle);
                }
                finally {
                    m_lock = 0;
                }
            }
            Thread.SpinWait(1);
            // yield to processor
        }
        while (!bLockTaken);
        GC.SuppressFinalize(this);
    }

    return status;
}

От http://blog.somecreativity.com/2008/04/10/the-empty-try-block-mystery/ :

Эта методология защищает от вызова Thread.Abort, прерывающего обработку. На странице MSDN Thread.Abort говорится, что «неисполненные блоки finally выполняются до прерывания потока». Таким образом, чтобы гарантировать, что ваша обработка заканчивается, даже если ваш поток прерывается посередине кем-то, вызывающим Abort в вашем потоке, вы можете поместить весь ваш код в блок finally (альтернатива - написать код в блоке catch для определите, где вы были до того, как «попытка» была прервана прерыванием, и продолжайте оттуда, если хотите).

Это необходимо для предотвращения Thread.Abortпрерывания процесса. Документация для этого метода говорит, что:

Неисполненные блоки finally выполняются до прерывания потока.

Это связано с тем, что для успешного восстановления после ошибки ваш код должен быть очищен после себя. Поскольку C # не C ++ - деструкторов в стиле, finallyи usingблоки являются единственным надежным способом обеспечения такой очистки выполняется надежно. Помните, что usingблок превращается в это компилятором:

try {
    ...
}
finally {
    if(obj != null)
        ((IDisposable)obj).Dispose();
}

В .NET 1.x был шанс, что finallyблок будет прерван. Это поведение было изменено в .NET 2.0.

Более того, пустые tryблоки никогда не оптимизируются компилятором.