Try and Finally — Что вернет функция?

Question

[Vadim Nikiforov]

Что произойдет по моему мнению
Если ...somecode… в этом блоке (try) не возникло исключений, то после его выполнения он выйдет из функции на операции return и вернет false. Если же в блоке try вдруг возникает исключение, то обычный порядок выполнения останавливается, и среда CLR начинает искать блок catch, который может обработать данное исключение. Если нужный блок catch найден, то он выполняется, и после его завершения выполняется блок finally. Если нужный блок catch не найден, то при возникновении исключения программа аварийно завершает свое выполнение.

Code:

bool f() { 
    try {
        ...somecode…
	return false; // Если не возникло исключений, то после его выполнения он выйдет из функции на операции return и вернет false?
    } finally {
	...some code…
	return true; // Если возникло исключений и нужный блок catch найден и тогда выполниться finally вернет true?
    }
}

Верны ли мои утверждения?

Answer 1

[Василий Банников]

Твой код не скомпилируется :)
Нельзя в блок finally пихать return.
https://docs.microsoft.com/en-us/dotnet/csharp/mis...

А так вообще да - finally выполняется в любом случае, хоть выпало хоть не выпало исключение.

Comments

[Vadim Nikiforov]

Привет! Пообщался я тут с Senior Software Engineer и он сказал мне, что мы можем и не дойти до блока finally.
In that cases (в каких случаях):
1. ОС ушла в shutdown и процесс был уничтожен
2. CLR Corrupted State Exception - в момент выполнения CLR не знает что делать дальше, потому что не знает где этот Exception произошел. Например когда мы используем unsave code
3. InvalidProgramException - можно получить когда используем Reflection.Emit (когда пишем на IL)
4. Когда мы не дойдем до блока Finally -> OutOfMemoryException, StackOverflowException Мы можем дойти до блока catch, но данные могут быть не valid потому что нету памяти. Бороться Unit Tests

Summary:
Короче и блок Finally выполняется не всегда xD Как обычно :)

PS: Этот вопрос стоило пометить как очень сложный, а я средний уровень поставил :)

[Василий Банников]

Vadim Nikiforov, ну это очень пограничные случаи :)
Тогда и catch не любой эксепшен отловить сможет.
И строки изменяемые.
И длина массива может быть отрицательной.

Answer 2

[Hemul GM]

finally выполнится в любом случае. В этом его смысл
Читай документацию

Comments

[Vadim Nikiforov]

Интересно :) На сколько я знаю "The return statement terminates the execution of the method in which it appears and returns control to the calling method." Разве он не должен остановиться от выполнение блока finaly?

[Hemul GM]

Vadim Nikiforov, нет не должен. Читай документацию.

[Vadim Nikiforov]

Hemul GM, Привет тут я пообщался с Senior Software Engineer и он сказал что не в любом. Есть случаи когда мы и не доходим до бока finally :)

[Vadim Nikiforov]

Hemul GM, Я ответил на этот вопрос выше. Почитай комментарии к ответу Василий Банников Василий Банников

[Hemul GM]

Vadim Nikiforov, увидел твои случаи, в которых не выполняется. А ещё, если солнце сожжёт планету, или во всем мире выключится вся техника от электромагнитного импульса. Или если США ударит по нам ядерными бомбами.
Это ситуации, когда программа работает не штатно.
finally конструкция для обработки исключений, которые не касаются проблем более низкого уровня.

[Vadim Nikiforov]

Hemul GM, Ok :)