C 程序中的“原型”是什么？

我用来学习 C 的书解释了一种叫做“原型”的东西，但我无法正确理解。在书中，以下示例代码解释了这些“原型”。这在这里意味着什么？什么是“原型”？

//* two_func.c -- a program using two functions in one file */
#include <stdio.h>
void butler(void);
int main(void)
{
    printf("I will summon the butler function.\n");
    butler();
    printf("Yes! bring me some tea and writable DVD's.\n");
    getchar();
    return 0;
}

void butler(void)   /*start of function definition*/

{
    printf("You rang,sir.\n");

}

请用简单的话解释一下。

功能原型（也称为“前向声明”）声明函数而不立即提供“主体”。除了函数本身之外，您还编写原型，以便告诉编译器您在其他地方定义的函数：

你的原型void butler(void);执行以下所有操作：

• 它告诉编译器该函数butler exists,
• 它告诉我们butler不带任何参数，并且
• 它告诉我们butler不返回任何内容。

原型很有用，因为它们可以帮助您隐藏函数的实现细节。您将原型放入库的头文件中，并将实现放入 C 文件中。这使得依赖于您的库的代码可以与您的代码分开编译 - 这是一件非常重要的事情。