子程序

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。 此條目可参照英語維基百科相應條目来扩充。 (2024年11月7日) 若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。 此條目没有列出任何参考或来源。 (2024年11月7日) 維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

在计算机科学中，子程式（德語：unterprogramm，英語：subroutine, subprogram, callable unit），是一個大型程式中的某部份程式碼，由一个或多个语句块组成。它負責完成某項特定任务，而且相較於其他程式碼，具備相對的獨立性。

一般会有输入参数并有返回值，提供对过程的封装和细节的隐藏。这些代码通常被整合为软件库。

函数在面向过程的语言中已经出现。是结构（struct）和类（class）的前身。本身就是对具有相关性语句的归类和对某过程的抽象。

子程式是一個概括性的術語，子程式是所有高階程式所稱。它經常被使用在組合語言層級上。子程式的主體（body）是一個程式碼區塊，當它被呼叫時就會進入執行。

函数（function）是一種子程式，利用函数名稱，可以接收回傳值。例如：

c = max(a,b);

程序（procedure）是一種子程式，它能夠接受不同的引數，來執行某些特別的動作。例如：

printf("Hello World\n");

函数與程序在某些程式語言中是被分開的，但是在C語言中，所有程序都是函数，這兩者被認為是相同的。這有可能造成一些副作用，特別是在回傳值是void型別時。

在物件導向程式設計語言中，类或物件中的子程式，被稱為方法（method）。