try-finally語句是Microsoft對C和C++語言的擴展，它能使32位的目標程序在異常出現時，有效保證一些資源能夠被及時清除，這些資源的清除任務可以包括例如內存的釋放，文件的關閉，文件句柄的釋放等等。try-finally語句特別適合這樣的情況下使用，例如一個例程（函數）中，有幾個地方需要檢測一個錯誤，並且在錯誤出現時，函數可能提前返回。
#include <windows.h>
#include <stdio.h>
try-finally語句的語法與try-except很類似，稍有不同的是，__finally後面沒有一個表達式，這是因爲try- finally語句的作用不是用於異常處理，所以它不需要一個表達式來判斷當前異常錯誤的種類。另外，與try-except語句類似，try- finally也可以是多層嵌套的，並且一個函數內可以有多個try-finally語句，不管它是嵌套的，或是平行的。當然，try-finally多層嵌套也可以是跨函數的。這裏不一一列出示例，大家可以自己測試一番。
另外，對於上面示例程序的運行結果，是不是覺得有點意料之外呢？因爲 __finally塊中的put(“__finally塊中”)語句也被執行了。是的，沒錯！這就是try-finally語句最具有魔幻能力的地方，即 “不管在何種情況下，在離開當前的作用域時，finally塊區域內的代碼都將會被執行到”。呵呵！這的確是很厲害吧！爲了驗證這條規則，下面來看一個更典型示例，代碼如下：
#include <stdio.h>
void main()
{
puts(“hello”);
__try
{
puts(“__try塊中”);
// 注意，下面return語句直接讓函數返回了
return;
}
__finally
{
puts(“__finally塊中”);
}
puts(“world”);
}
上面的程序運行結果如下：
hello
__try塊中
__finally塊中
Press any key to continue
void main()
{
puts(“hello”);
__try
{
puts(“__try塊中”);
}
// 注意，這裏不是__except塊，而是__finally取代
__finally
{
puts(“__finally塊中”);
}
puts(“world”);
}
上面的程序運行結果如下：
hello
__try塊中
__finally塊中
world
Press any key to continue
總結__finally塊被執行的流程時，無外乎三種情況。第一種就是順序執行到__finally塊區域內的代碼，這種情況很簡單，容易理解；第二種就是goto語句或return語句引發的程序控制流離開當前__try塊作用域時，系統自動完成對__finally塊代碼的調用；第三種就是由於在__try塊中出現異常時，導致程序控制流離開當前__try塊作用域，這種情況下也是由系統自動完成對__finally塊的調用。無論是第 2種，還是第3種情況，毫無疑問，它們都會引起很大的系統開銷，編譯器在編譯此類程序代碼時，它會爲這兩種情況準備很多的額外代碼。一般第2種情況，被稱爲“局部展開（LocalUnwinding）”；第3種情況，被稱爲“全局展開（GlobalUnwinding）”。在後面闡述SEH實現的時候會詳細分析到這一點。
第3種情況，也即由於出現異常而導致的“全局展開”，對於程序員而言，這也許是無法避免的，因爲你在利用異常處理機制提高程序可靠健壯性的同時，不可避免的會引起性能上其它的一些開銷。呵呵！這世界其實也算瞞公平的，有得必有失。
但是，對於第2種情況，程序員完全可以有效地避免它，避免“局部展開”引起的不必要的額外開銷。實際這也是與結構化程序設計思想相一致的，也即一個程序模塊應該只有一個入口和一個出口，程序模塊內儘量避免使用goto語句等。但是，話雖如此，有時爲了提高程序的可讀性，程序員在編寫代碼時，有時可能不得不採用一些與結構化程序設計思想相悖的做法，例如，在一個函數中，可能有多處的return語句。針對這種情況，SEH提供了一種非常有效的折衷方案，那就是__leave關鍵字所起的作用，它既具有像goto語句和return語句那樣類似的作用（由於檢測到某個程序運行中的錯誤，需要馬上離開當前的 __try塊作用域），但是又避免了“局部展開” 的額外開銷。還是看個例子吧！代碼如下：
#include <stdio.h>
void test()
{
puts(“hello”);
__try
{
int* p;
puts(“__try塊中”);
// 直接跳出當前的__try作用域
__leave;
p = 0;
*p = 25;
}
__finally
{
// 這裏會被執行嗎？當然
puts(“__finally塊中”);
}
puts(“world”);
}
void main()
{
__try
{
test();
}
__except(1)
{
puts(“__except塊中”);
}
}
上面的程序運行結果如下：
hello
__try塊中
__finally塊中
world
Press any key to continue