程序中声明的存在有以下几个主要原因：
类型检查：
声明可以明确指定变量、函数和其他数据类型的类型。这有助于编译器在编译或解释阶段进行类型检查，确保数据类型的一致性和正确性，从而减少运行时错误和调试时间。
内存管理：
声明可以告诉编译器如何为变量分配和管理内存空间。编程语言可以根据声明的类型和作用域决定变量应该存储在栈上还是堆上，并在适当的时候释放内存。这有助于避免内存泄漏和其他内存管理问题。
代码提示和文档注释：
声明提供了开发环境或编辑器所需的代码提示，帮助程序员更快地编写代码。同时，通过在声明中添加注释，可以详细说明变量、函数、类的用途和功能，为其他开发人员提供清晰的指引和文档。
提高代码可读性：
通过明确地声明变量和函数的名称和类型，其他开发人员可以更容易地理解代码的意图和用途。这有助于提高代码的可读性和可维护性，使得代码更易于阅读和维护。
编译优化：
声明为编译器提供了有关变量的信息，使其能够进行静态类型检查和优化生成的机器代码。这有助于提高程序的性能和执行效率。
避免重复扫描：
在C语言中，如果函数定义在调用它的函数之后，那么在编译过程中，编译器需要先找到函数的声明，然后才能正确链接和调用该函数。声明可以避免这种重复扫描，提高编译效率。
综上所述，声明在编程中是一项重要的操作，它能够帮助程序在编译或解释过程中准确地分配内存空间，进行数据类型检查，提供代码提示和文档注释，提高代码的可读性和可维护性，以及进行编译优化。因此，声明是编写正确、可维护、易理解的程序的基础。