子程序（Subroutine）是 执行特定任务的代码块，可以从程序的不同部分调用。它通常涉及参数和返回值，并且其执行涉及调用和返回机制。子程序可以是独立的程序模块，也可以是集成的程序部分，用于完成单一或相关联的功能。在程序设计中，子程序的主要作用是提高代码的模块化和重用性，简化代码的编写和维护。
子程序的特点包括：
模块化：
子程序将程序分解为独立的、可重用的部分，有助于代码的组织和管理。
重用性：
子程序可以在程序的不同位置多次调用，避免了重复编写相同功能的代码。
参数化：
子程序可以接受输入参数，并根据这些参数执行特定的任务。
返回值：
子程序可以返回结果或状态信息给调用它的程序。
调用机制：
子程序的执行涉及调用指令和返回指令，通常通过堆栈操作来实现正确的程序转移和返回。
子程序在不同的编程语言和上下文中有不同的实现方式，但它们的基本概念和作用是相似的。例如，在C语言中，子程序通常称为函数；在Java中，子程序称为方法；在Python中，子程序称为函数。在数控编程中，子程序是一段可被机床控制指令调用的加工程序，用于完成特定的加工任务。