C語言函數聲明與函數原型：解決前向引用的關鍵機制

為什麼需要函數聲明？

C 語言自上而下編譯，原則上函數定義必須出現在調用之前。但實際開發中：

• 主邏輯在 main，輔助函數在後定義更符合閱讀習慣
• 多文件編程時，函數定義在其他 .c 文件
• 庫函數定義在預編譯庫中，不可見

函數聲明告訴編譯器：「這個函數存在，這是它的接口信息，請先信任我，定義稍後補上」。

函數聲明語法

返回類型 函數名(參數類型列表);

• 等價於去掉函數體、加上分號
• 參數名可省略，只保留類型：long factorial(int);
• 聲明提供的接口信息稱為函數原型

函數原型的作用

1. 告知編譯器函數存在、返回類型、參數類型/個數
2. 調用時進行類型檢查（參數隱式轉換、返回值接收）
3. 允許函數定義出現在調用之後、其他文件、靜態/動態庫中

實戰示例：階乘累加（函數定義後置）

#include <stdio.h>

// 函數聲明（原型）
long factorial(int n);  // 也可寫 long factorial(int);
long sum(long n);

int main() {
    printf("1!+2!+...+10! = %ld\n", sum(10));
    return 0;
}

// 定義在 main 之後
long factorial(int n) {
    long result = 1;
    for (int i = 1; i <= n; i++) result *= i;
    return result;
}

long sum(long n) {
    long result = 0;
    for (int i = 1; i <= n; i++) result += factorial(i);  // 嵌套調用
    return result;
}

運行結果

1!+2!+...+10! = 4037913

頭文件的本質：函數聲明的集合

許多初學者誤以為 #include <stdio.h> 引入了函數定義（函數體）。錯誤！

• 頭文件（.h）只包含函數聲明、宏定義、類型定義
• 函數定義（函數體）在系統庫中（.lib/.a/.so/.dll）
• 編譯階段用頭文件做類型檢查，鏈接階段從庫中解析符號地址
• 只有頭文件無庫 → 編譯通過，鏈接失敗（undefined reference）

聲明 vs 定義對照表

變量也有聲明與定義之分

int a;           // 定義（分配內存）
extern int a;    // 聲明（不分配，引用他處定義）
extern int a = 10; // 帶初始化的 extern 是定義

詳細機制見《從 extern 關鍵字開始談 C 語言多文件編程》。

實用技巧：查閱函數原型

不確定如何使用某庫函數時，查原型而非定義。推薦權威參考：

• cppreference.com（現代、準確）
• cplusplus.com（經典、示例豐富）
• man 手冊：man 3 printf（Linux/macOS）

1. 上一篇文章： C 語言函數遞歸呼叫：階乘計算與迭代替代方案
2. 下一篇文章： C語言函數參數與返回值：形參實參機制、傳值調用與 void 類型

C 語言基礎

VS2008 LNK1104 無法打開 libc.lib 解決方案：忽略舊版運行庫

錯誤現象 將舊版 VC++ 專案 (VC6/VS2003)

Zig-Zag 掃描順序生成器：JPEG 8×8 區塊重排算法 C 實作

背景：JPEG 編碼中的 Zig-Zag 重排 JPEG 壓

C語言獲取文件行數的三種高效方法詳解

在 C 語言開發中，統計文件行數是基礎且高頻的需求。本文介紹

C++ 異常處理詳解：try-throw-catch 機制與最佳實踐

程序錯誤分編譯時（語法錯誤，易修復）和運行時（不可預料或無法