子程序在壹些主流的編程語言中也叫函數或者方法，是指壹段在壹起的、可以做某壹件事兒的程序，函數是壹個較大的程序壹般應分為若幹個程序塊，每壹個模塊用來實現壹個特定的功能。在C語言中，子程序的作用是由壹個主函數和若幹個函數構成。由主函數調用其他函數，其他函數也可以互相調用。同壹個函數可以被壹個或多個函數調用任意多次。函數。在程序設計中，常將壹些常用的功能模塊編寫成函數，放在函數庫中供公***選用。要善於利用函數，以減少重復編寫程序段的工作量。函數分為全局函數、全局靜態函數;在類中還可以定義構造函數、析構函數、拷貝構造函數、成員函數、友元函數、運算符重載函數、內聯函數等。C語言源程序是由函數組成的。函數是C源程序的基本模塊，通過對函數模塊的調用實現特定的功能。C語言中的函數相當於其它高級語言的子程序。C語言不僅提供了極為豐富的庫函數(如TurboC，MSC都提供了三百多個庫函數)，還允許用戶建立自己定義的函數。用戶可把自己的算法編成壹個個相對獨立的函數模塊，然後用調用的方法來使用函數。
可以說C程序的全部工作都是由各式各樣的函數完成的，所以也把C語言稱為函數式語言。由於采用了函數模塊式的結構，C語言易於實現結構化程序設計。使程序的層次結構清晰，便於程序的編寫、閱讀、調試。C語言運行時，首先系統檢查語法的正誤，再運行程序的語法；C語言中，可以在壹個函數中嵌套壹個函數，但是不能在壹個函數中定義壹個函數；只有在函數外部定義的函數才是外部函數；C語言的子程序有過程和函數兩種。