子程序是 大型程序中的某部分代码，由一个或多个语句块组成，负责完成某项特定任务，并且相较于其他代码，具备相对的独立性。子程序可以被其他程序调用，并且具有重复性、通用性、可浮动性、可递归和可重入性等特性。在结构化程序设计中，子程序是实现整个程序功能的基础，其执行至少包含调用及返回两个步骤。
子程序的主要作用包括：
提高程序的模块化和重用性：
通过将常用功能模块编写成子程序，可以减少重复编写代码的工作量，提高代码的可读性和可维护性。
简化代码的编写和维护：
子程序使得程序员可以专注于特定的任务，从而简化了代码的编写和维护工作。
实现代码的复用和模块化：
子程序可以在主程序中被多次调用，实现代码的复用和模块化。
在编程中，子程序通常具有以下特点：
输入参数和返回值：子程序可以接受输入参数并返回输出结果，提供对过程的封装和细节的隐藏。
可递归和可重入性：子程序可以递归调用自身，也可以被其他子程序调用，具有可重入性。
调用和返回：子程序执行完后，应返回到主程序的调用处，继续执行主程序，这个过程称为返回主程序。
常见的编程语言如C、Java、Python等都支持子程序的定义和调用。在数控加工程序中，子程序还可以用于实现一组程序段的重复使用，提高编程效率和加工效率。