C 語言函數聲明、原型與定義：概念釐清與歷史演進

前言

許多 C 教材（含經典譚浩強教材）對「函數定義」「函數聲明」「函數原型」三者關係描述不精確，甚至錯誤。本文結合 C 語言歷史演進（K&R C → C89/C90 → C99），從編譯器實作角度徹底釐清三者概念、語法形式與檢查機制。

核心定義（依 C99 標準）

歷史演進三階段

階段 1：K&R C (1978) — 隱式 int 與無參數聲明

/*** 古老寫法 ***/
main() { printf("hello\n"); }           /* 隱式 int 回傳 */
double sqrt();                          /* 僅聲明回傳型別，無參數資訊 */
main(argc, argv) int argc; char *argv[]; /* K&R 參數宣告風格 */

• 未聲明函數預設回傳 int
• double sqrt(); 僅告知回傳型別，參數完全不檢查
• 若定義在調用前，可省略聲明（但互遞迴無法安排順序）

階段 2：C89/C90 (1990) — 引入函數原型

/*** 原型風格 ***/
double square(double x);      /* 參數型別列表 */
double square(double);        /* 參數名可省略 */
int main(void) { ... }        /* 建議寫 void */
double square(double x) { return x*x; } /* 定義亦為原型 */

• 借鑑 C++，參數型別列表納入聲明，編譯器可檢查參數個數/型別
• 舊式 () 空參數列表標記為「過時」，但兼容保留
• int 仍可省略（C90 容忍）

階段 3：C99 (1999) — 強制原型與廢除隱式

• 廢除隱式函數聲明：調用前必須有聲明（原型或舊式）
• 強制 int main(void)：不得省略回傳型別
• 隱式 int 回傳被廢除
• 舊式非原型聲明標記為「過時」，未來可能移除

常見誤區辨析

誤區 1：「定義與聲明不是一回事」

錯誤。定義 是 聲明的一種（子集）。如同「男人是人」，不能說「男人與人不是一回事」。正確說法：「無函數體的聲明（函數類型聲明）與定義不是一回事」。

誤區 2：「聲明不包含函數體，用於參數檢查」

不完整。舊式聲明 double sqrt(); 既無函數體，也不檢查參數。只有函數原型才檢查參數。函數定義包含函數體且也檢查參數。

誤區 3：「函數型別只指回傳型別」

錯誤。函數型別包含：回傳型別 + 參數型別列表（若為原型）。兩個函數回傳型別相同但參數不同，型別不同。

現代最佳實務

/*** header.h ***/
#ifndef HEADER_H
#define HEADER_H

/* 僅原型聲明，無函數體 */
double square(double x);
void process_data(const int *arr, size_t n);

#endif

/*** source.c ***/
#include "header.h"

/* 定義即實作，同時滿足原型要求 */
double square(double x) { return x * x; }

void process_data(const int *arr, size_t n) {
    for (size_t i = 0; i < n; ++i) { /* ... */ }
}

編譯器檢查機制總表

總結

• 函數定義 = 實作 + 聲明（含原型）
• 函數聲明 = 原型聲明 ∪ 舊式聲明 ∪ 定義
• 函數原型 = 含參數型別列表的聲明（含定義）
• 現代 C (C99+)：統一使用原型風格，標頭檔放原型，源檔放定義，static 內部函數定義在調用前或檔案頂部前向聲明
• 編譯旗標 -Wmissing-prototypes -Wstrict-prototypes -Wold-style-definition 強制規範