C语言属于什么类型语言？

C语言是一种过程式编程语言，也是一种中级语言。

下面我们来详细解释这两个核心分类,以及其他相关的分类。

按编程范式分类：过程式编程语言

这是C语言最根本、最核心的特征。

• 什么是过程式编程？ 它关注的是“要做什么”和“按什么顺序做”，程序被看作是一系列按顺序执行的步骤（过程或函数），这些步骤操作数据（变量）来完成任务，你就像一个厨师，严格按照菜谱（算法）的步骤一步步操作食材（数据）。

• C语言如何体现过程式？ C程序由一个或多个函数组成，其中必须有一个且仅有一个名为 main() 的主函数，程序的执行从 main() 函数开始，依次调用其他函数来完成不同的子任务,数据和操作数据的函数是分离的。

• 对比其他范式：

  
  （图片来源网络，侵删）
  • 面向对象编程：关注的是“谁来做”，数据和操作数据的方法被封装在“对象”中，代表语言：C++, Java, C#，C语言没有类、对象、继承、多态等OOP特性。
  • 函数式编程：关注的是“计算本身”，将计算视为数学函数的求值，避免使用状态变化和可变数据，代表语言：Haskell, Lisp, Scala。

按语言层次分类：中级语言

这是C语言一个非常独特的标签,它介于高级语言和低级语言之间。

• 什么是高级语言？ 接近人类的自然语言和数学思维，易于阅读和编写，与计算机硬件无关，Python, Java,你不需要关心内存地址或寄存器。

• 什么是低级语言？ 非常接近计算机的机器指令，直接操作硬件,汇编语言。

• 为什么C是中级语言？ C语言兼具了高级语言和低级语言的特点：

  • 高级语言特性：它有变量、数据类型、运算符、循环、函数等结构，语法相对简洁，可读性比汇编强得多，不依赖于特定的机器架构，具有很好的可移植性，你可以用 int a = 10; 这样的语句,而不需要关心它在内存中是如何存储的。
  • 低级语言特性：它允许程序员直接进行内存地址操作（通过指针），可以位运算，能够直接与硬件交互（如通过寄存器操作I/O端口），这使得C语言非常强大,能够编写出高效的系统级软件。

C语言让你既能像使用高级语言一样方便地编程，又能在需要的时候深入到“底层”进行精细控制,这是它成为系统编程语言之王的关键。

其他重要的分类维度

除了以上两个核心分类,我们还可以从其他角度描述C语言：

a. 编译型语言

• 解释型语言：代码在运行时由解释器逐行翻译并执行，如Python, JavaScript，优点是跨平台,缺点是运行速度较慢。
• 编译型语言：代码在运行前，需要通过编译器一次性全部翻译成机器码，生成一个可执行文件（如 .exe）,运行时直接执行这个机器码文件。
• C语言是典型的编译型语言，你需要使用GCC (GNU Compiler Collection) 或 Clang 等编译器，将 .c 源文件编译成 .exe 或其他可执行文件，这使得C语言的执行效率非常高,几乎和汇编语言一样快。

b. 命令式语言

这是与“声明式语言”相对的概念。

• 命令式语言：告诉计算机“如何做”（How to do），通过一系列改变程序状态的命令来达到目的，C语言、Java、Python都是命令式语言。
• 声明式语言：告诉计算机“做什么”（What to do），而不关心具体步骤，SQL（SELECT * FROM table 只告诉数据库要做什么，不关心数据库内部如何查询）。

c. 通用编程语言

C语言不是为解决某一特定领域问题而设计的（如R语言主要用于统计分析），而是可以用于开发各种类型的应用程序,包括：

• 系统软件：操作系统（Linux内核、Windows核心部分）、编译器、数据库等。
• 应用程序：图形界面程序、嵌入式系统软件（路由器、智能设备）、游戏引擎等。
• 底层库和工具：许多其他语言（如Python）的解释器本身就是用C语言编写的。

为了方便理解,这里有一个总结表格：

当别人问“C语言是什么类型”时，最准确、最核心的回答是：C语言是一门过程式的、中级编译型语言。