回呼函數

回呼函數或簡稱回呼(callback),是電腦編程中對某一段可執行代碼參照,它被作為參數傳遞給另一段代碼;預期這段代碼將回呼(執行)這個回呼函數作為自己工作的一部份。這種執行可以是即時的,如在同步回呼之中;也可以在後來的時間點上發生,如在非同步回呼之中。

回呼通常與原始呼叫者處於相同的抽象層

程式語言以不同方式支援回呼,經常將它們實現為次常式lambda表達式函數指標

使用

回呼的用途十分廣泛。例如,假設有一個函數,其功能為讀取設定檔並由檔案內容設置對應的選項。若這些選項由雜湊值所標記,則讓這個函數接受一個回呼會使得程式設計更加靈活:函數的呼叫者可以使用所希望的雜湊演算法,該演算法由一個將選項名轉變為雜湊值的回呼函數實現;因此,回呼允許函數呼叫者在執行時調整原始函數的行為。

回呼的另一種用途在於處理訊號或者類似物。例如一個POSIX程式可能在收到SIGTERM訊號時不願立即終止;為了保證一切執行良好,該程式可以將清理函數註冊為SIGTERM訊號對應的回呼。

回呼亦可以用於控制一個函數是否作為:Xlib允許自訂的謂詞用於決定程式是否希望處理特定的事件。

例子

下列C語言代碼描述了利用回呼處理POSIX風格的訊號(在本範例中為SIGUSR1)的過程。值得注意的是,在處理訊號的過程中,呼叫printf(3)不安全的

#include <stdio.h>
#include <signal.h>
#include <unistd.h>

void sig(int signum)
{
    printf("Received signal number %d!\n", signum);
}

int main(int argc, char *argv[])
{
    signal(SIGUSR1, sig);

    pause();
   
    return 0;
}

系統呼叫pause(3)會導致這個例子不做任何有意義的事,但這樣做可以給你充分的時間來給這個行程傳送訊號。(在類Unix系統上,可以呼叫kill -USR1 <pid>,其中<pid>代表該程式的行程號。執行之後,該程式應當會有反應。)

實現

回呼的形式因程式語言而有差別。

  • Objective-C中允許利用@selector關鍵字傳遞SEL類型的函數名。在實現中,SEL類型被定義為函數名字串。
  • .NET語言中用到的事件與事件處理常式提供了用於回呼的通用語法。
  • Apple或是LLVM的C語言擴充中,包含稱為的語言特性,可以作為函數的參數傳遞,作為回呼的一種實現。
  • 在缺少函數類型的參數的物件導向的程式語言中,例如Java,回呼可以用傳遞抽象類或介面來模擬。回呼的接收者會呼叫抽象類或介面的方法,這些方法由呼叫者提供實現。這樣的對象通常是一些回呼函數的集合,同時可能包含它所需要的數據。這種方法在實現某些設計模式時比較有用,例如訪問者模式觀察者模式策略模式
  • C++允許對象提供其自己的函數呼叫操作的實現,即多載operator()。標準模板庫和函數指標一樣接受這類對象(稱為函數對象)作為各種演算法的參數。

參見

參考資料

  1. ^ Perl Cookbook - 11.4. Taking References to Functions. [2008-03-03]. (原始內容存檔於2008-04-10). 
  2. ^ Advanced Perl Programming - 4.2 Using Subroutine References. [2008-03-03]. (原始內容存檔於2008-07-05). 

外部連結