Навіщо використовувати спробу {} нарешті {} з порожнім блоком спробувати?

Я помітив, що в 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 йдеться про те, що "Невиконані остаточно блоки виконуються до того, як потік перервано". Таким чином, щоб гарантувати, що обробка завершена, навіть якщо ваш потік перервано посередині, хтось подзвонить Abort на свою нитку, ви можете помістити весь код у остаточний блок (альтернатива - записати код у блок "catch" на визначте, де ви були до того, як "спробу" перервав Abort, і продовжте звідти, якщо хочете).

Це захищає від Thread.Abortпереривання процесу. Документація цього методу говорить про те, що:

Невиконані остаточно блоки виконуються до переривання потоку.

Це тому, що для успішного відновлення після помилки ваш код потрібно буде очистити після себе. Оскільки у C # немає деструкторів у стилі C ++, finallyа usingблоки є єдиним надійним способом забезпечити надійне виконання такого очищення. Пам'ятайте, що usingблок перетворюється на це компілятором:

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

У .NET 1.x, був шанс, що це finally блок перерветься. Така поведінка була змінена в .NET 2.0.

Більше того, порожні tryблоки ніколи не оптимізуються компілятором.