为何C++被标注为‘通常’编译型语言？何时属于非编译型？

嘿，这个问题问到点子上了——为啥维基百科和cplusplus.com直接说C是编译型语言，但有些地方却加了个“通常”的限定？其实核心在于**C标准本身并没有强制规定它的执行方式**，只是我们日常接触到的绝大多数实现都是编译型的而已。

先说说为啥C++“通常”是编译型 #

• 我们平时用的主流C++工具链（比如GCC、Clang、MSVC）全都是编译型的：你写好的代码会先被编译器翻译成机器能直接执行的二进制文件（比如Windows下的.exe、Linux下的.o或.so），之后运行的时候完全不需要再碰源代码，性能拉满。
• 维基百科和cplusplus.com这么表述，是因为99%的生产环境、教学场景用的都是这种编译实现，大家默认接触到的C++就是这么玩的，所以直接说它是编译型语言也完全没问题。

那什么时候C++是“非编译型”的？ #

这里的“非编译型”一般指解释执行或者**即时编译（JIT）**的模式，下面举几个真实存在的场景：

• C++解释器：比如Ch这个工具，它可以直接读取你的C源代码，边解析边执行，完全不需要提前编译成二进制文件。这种情况下，C的运行模式就和Python、JavaScript这类解释型语言一模一样。
• JIT编译的C++实现：有些工具会先把C代码转换成中间代码，等到运行的时候再即时编译成机器码执行。比如LLVM框架自带的JIT功能就可以用来实现这种模式，还有一些在线C运行平台，为了快速执行用户代码，背后也是用JIT来处理的；甚至有些游戏引擎的动态扩展功能，也会用到C++的JIT编译。
• 嵌入在其他语言中的即时编译场景：比如用Python的Cython写扩展的时候，如果开启了即时编译模式，你的C++代码会在Python运行时被动态编译成机器码执行，而不是提前编译好静态库。这种情况也属于非传统的编译型场景。
• 脚本化的C++使用方式：有些开发工具允许你写一段C代码直接运行，不需要手动走编译流程。比如Qt Creator里的某些快速调试功能，或者一些教育类的C在线编辑器，背后可能用了解释器或者JIT来实现即时运行。

说白了，C的标准只定义了语言“要做什么”，没规定“怎么做”——只要符合标准的语法和语义，不管是编译、解释还是JIT，都是合法的C实现。只是编译型实现的性能优势太明显，所以成了主流，才有了“通常是编译型”的说法。

内容的提问来源于stack exchange，提问作者Herpes Free Engineer