被形式化验证的C编译器

⑴ C语言编译器是什么

C语言是一门面向过程的计算机编程语言，与C++、java等面向对象编程语言有所不同。C语言的设计目标是提供一种能以简易的方式编译、处理低级存储器、仅产生少量的机器码以及不需要任何运行环境支持便能运行的编程语言。C语言描述问题比汇编语言迅速，工作量小、可读性好，易于调试、修改和移植，而代码质量与汇编语言相当。C语言一般只比汇编语言代码生成的目标程序效率低10%～20%。因此，C语言可以编写系统软件。[2]
二十世纪八十年代，美国国家标准局为了避免各开发厂商用的C语言语法产生差异，给C语言制定了一套完整的美国国家标准语法，称为ANSI C。作为C语言最初的标准。[3]2011年12月8日，国际标准化组织（ISO）和国际电工委员会（IEC）发布的C11标准是C语言的第三个官方标准，也是C语言的最新标准，该标准更好的支持了汉字函数名和汉字标识符，一定程度上实现了汉字编程。
C语言编译器普遍存在于各种不同的操作系统中，例如Microsoft Windows, Mac OS X, linux, Unix等。C语言的设计影响了众多后来的编程语言，例如C++、Objective-C、Java、C#等。

例:
#include <stdio.h>

int main() {
printf("Hello,world!");

return 0;
}

编译运行将输出: Hello,world!

⑵ c语言用什么编译器

⑶ c语言编译软件有哪些

6款好用的C语言编译器推荐

一些刚开始接触C语言编译的网友想下载一款C语言编译器来使用，不过，网络上有不少C语言编译器相关的软件，让人很难抉择。那么，C语言编译器哪个好？今天的文章里，小编给大家整理了6款好用的C语言编译器推荐给大家，需要C语言编译器的网友，不妨了解一下！

一、Dev-C++

Visual Studio（VS） 是一套非常完备的工具和服务，可帮助您为 Microsoft 平台和其他平台创建各种各样的应用程序。Visual Studio 还可将您所有的项目、团队和利益干系人联系在一起。现在您的团队可以从任何位置以虚拟方式进行更为敏捷的合作，无论他们采用何种开发工具。

功能介绍

可以通过强大的集成开发环境构建面向 Windows、Android、iOS 以及 Web 的出色应用。使用任何 IDE 或编辑器在云中进行版本控制、敏捷、持续交付、应用程序分析协作。

适用于所有操作系统的编辑器使用可在 Windows、OS X 或 Linux 上运行的免费代码编辑器构建和调试现代 Web 和云应用程序。

⑷ 本科独立用C语言完成没有优化的C语言编译器属于什么水平

我觉得水平还是很高的，但意义恐怕不大。编译器技术是非常成熟的领域，而且由于应用场景的限
制实时，复杂的算法已经自动出局了，你可选的东西是有限的。编译器可能有很多实现的形
式，虚拟机/解释器/静态编译器 等，也有成熟的开源实现。作为本科生，而非专门研究该分支的学生，应该合理分配自己学习的时间，如果做这个编译器就干
掉了大半年，那计网和OS这些课程该咋办？ 

我知道很多人会认为没有做编译器优化特指中段优化，不考虑机器码上的优化比较划水。但编
译器优化是一个很复杂的东西：首先它和你用的IR表示有关而且是强烈耦合，SSA IR基本还
好，有开源代码和文献记载，你想要的都能在网上挖到但这怎么体现你的水平是吧。你
要考虑编译器的性能，尽管编译器的后端优化基本上可以纳入到某种PEabstract interpretation的
范畴中。

要不然你可以通过编写插件的方式白嫖例如visual studio code这类软
件的强大编辑功能,如果你写的不是c compiler,你也可以尽量把语法设计得很像c,这样你又能进一步
白嫖其强大的intellisense code,当然仍然有不少人或者应该说团队达到了这一步,到这里,应该卷死
了99.99%的同行应该毫无问题。

⑸ 最早的C语言编译器是什么做的

汇编。这真的是最早最早的。

准确的来说，这和编译器的开发有关，不用说太细，很麻烦怕你不懂。你现在假设第一个编译器是用会变写出来的，它的功能很简单，就是解释简单一种类似于C语言的高级语言，但是这种所谓的高级语言还没有完全拥有C语言的所有特性。只有比较简单核心功能，比如能把文本文件的高级语言转换成机器代码并且执行。

有了这个原型之后，就可以用这个编译器来解释简单C程序，就可以用C重写编写一个新的编译器，这样就有更多的C的功能。于是，从此之后就用现有的编译器解释更复杂的语言，用更复杂的语言写出更好的编译器，然后不断这样迭代。这确实是编译器的演变。

然后最后一个问题就是当一个新的CPU发明过后，怎么办，需要重写又从汇编开始写编译器吗？答案是不用。假设你有一个CPU A执行一些代码，你用汇编写了一个基础的C编译器，然后用C写出了更复杂的编译器，接受更复杂的C功能，然后不断循环演化。现在你有了CPU B，CPU B和CPU A执行两套完全不同的代码，那如何让CPU B的机器也可以变异C语言呢？因为现在A上面已经可以运行非常复杂的C语言程序了，所以你可以在A上面开发一个编译器把C语言程序转化为CPU B的执行代码。然后用这个程序，直接编译你的C语言编译器，再把这个程序转换到有B命令集的电脑上面，这样你就开发出了B电脑需要的C语言编译器。

所以除非你真的是活在非常早起的人类。否在现在的编译器基本上都利用这种原理直接编译已经用C语言或者其它高级语言写好的代码来产生新的编译器就行了。理论上可以只使用C语言来开发C的编译器，不过处于一些历史原因和底层效率等因素的考量，部分代码还是使用汇编来实现的。

我举得不过是一个例子，不一定是真实的C语言编译的进化，何况有这么多不同的C语言编译器，每一个的发展历史都有小的不同。但是基本上都是利用了这种编译器编译新的编译器的思想来实现了。而这样回溯回去，最早的编译器只能使用汇编来些。而其实最早的汇编语言的编译器就只能使用机器语言来写了。不过都是先处理简单的转换任务，有了这个核心功能过后，就可以写程序转换更复杂的语法。然后越来越复杂。就有了各种各样的高级语言编译器了。

⑹ 现在学习c语言都是用什么编译器

初学者用的一般是TC编译器。
名词解释
c语言
C语言是一种计算机程序设计语言，属高级语言范畴。它既具有高级语言的特点，又具有汇编语言的特点。它可以作为工作系统设计语言，编写系统应用程序，也可以作为应用程序设计语言，编写不依赖计算机硬件的应用程序，代码清晰精简，十分灵活。
C语言，是一种通用的、过程式的编程语言，广泛用于系统与应用软件的开发。具有高效、灵活、功能丰富、表达力强和较高的移植性等特点，在程序员中备受青睐。最近25年是使用最为广泛的编程语言。
C语言是由UNIX的研制者丹尼斯·里奇（Dennis Ritchie）于1970年 由 肯·汤普逊（Ken Thompson）所研制出的B语言的基础上发展和完善起来的。目前，C语言编译器普遍存在于各种不同的操作系统中，例如UNIX、MS-DOS、Microsoft Windows及Linux等。C语言的设计影响了许多后来的编程语言，例如C++、Objective-C、Java、C#等。
语言是1972年由美国的Dennis Ritchie设计发明的，并首次在UNIX操作系统的 DEC PDP-11 计算机上使用。它由早期的编程语言BCPL(Basic Combined Programming Language)发展演变而来，在1970年,AT&T贝尔实验室的Ken Thompson根据BCPL语言设计出较先进的并取名为B的语言,最后导致了C语言的问世。 而B语言之前还有A语言，取名自世界上第一位女程序员Ada（艾达）。
随着微型计算机的日益普及,出现了许多C语言版本。由于没有统一的标准, 使得这些C语言之间出现了一些不一致的地方。为了改变这种情况,美国国家标准研究所(ANSI)为C语言制定了一套ANSI标准，成为现行的C语言标准。
注：国际标准化组织ISO也制定的C语言的标准，目前被很多编译器所采用，如：GCC等。
C语言是世界上最流行、使用最广泛的高级程序设计语言之一。[2]
在操作系统和系统使用程序以及需要对硬件进行操作的场合，用C语言明显优于其它高级语言，许多大型应用软件都是用C语言编写的。
C语言绘图能力强，具有可移植性，并具备很强的数据处理能力，因此适于编写系统软件，三维，二维图形和动画。它是数值计算的高级语言。
常用的编译软件有Microsoft Visual C++,Borland C++,gcc(linux系统下最常用的编译器),Watcom C++ ,Borland C++, Borland C++ Builder,Borland C++ 3.1 for DOS,Watcom C++ 11.0 for DOS,GNU DJGPP C++, Lccwin32 C Compiler 3.1,Microsoft C,High C等。
同时也是中国国家计算机等级考试中计算机二级考试下的一个考试科目。

⑺ 常见的C语言编译器是什么

目前最流行的C语言编译器有以下几种：

1、GNU Compiler Collection 或称GCC

GCC（GNU Compiler Collection，GNU编译器套件），是由 GNU 开发的编程语言编译器。它是以GPL许可证所发行的自由软件，也是 GNU计划的关键部分。

GCC原本作为GNU操作系统的官方编译器，现已被大多数类Unix操作系统（如Linux、BSD、Mac OS X等）采纳为标准的编译器，GCC同样适用于微软的Windows。GCC是自由软件过程发展中的着名例子，由自由软件基金会以GPL协议发布。

2、Microsoft C 或称 MS C

Microsoft C 是c语言的一种IDE（集成开发环境），常见的还有Microsoft Visual C++，Borland C++，Watcom C++ ,Borland C++ ，Borland C++ Builder,Borland C++ 3.1 for DOS,Watcom C++ 11.0 for DOS,GNU DJGPP C++ ，Lccwin32 C Compiler 3.1,High C,Turbo C等等......

3、Borland Turbo C 或称 Turbo C

Turbo C是美国Borland公司的产品，Borland公司是一家专门从事软件开发、研制的大公司。该公司相继推出了一套 Turbo系列软件, 如Turbo BASIC, Turbo Pascal, Turbo Prolog, 这些软件很受用户欢迎。

(7)被形式化验证的C编译器扩展阅读：

C编译的整个过程很复杂，大致可以分为以下四个阶段：

1、预处理阶段在该阶段主要完成对源代码的预处理工作，主要包括对宏定义指令，头文件包含指令，预定义指令和特殊字符的处理，如对宏定义的替换以及文件头中所包含的文件中预定义代码的替换等，总之这步主要完成一些替换工作，输出是同源文件含义相同但内容不同的文件。

2、编译、优化阶段编译就是将第一阶段处理得到的文件通过词法语法分析等转换为汇编语言。优化包括对中间代码的优化，如删除公共表达式，循环优化等；和对目标代码的生成进行的优化，如如何充分利用机器的寄存器存放有关变量的值，以减少内存访问次数。

3、汇编阶段将汇编语言翻译成机器指令。

4、链接阶段链接阶段的主要工作是将有关的目标文件连接起来，即将在一个文件中引用的符号同该符号在另外一个文件中的定义连接起来，使得所有的目标文件成为一个能够被操作系统装入执行的统一整体。

⑻ 适合win10系统的c语言编译器

桌面操作系统

对于当前主流桌面操作系统而言，可使用 VisualC++、GCC以及 LLVM Clang 这三大编译器。

Visual C++（简称 MSVC）只能用于 Windows 操作系统；GCC 和 LLVM Clang除了可用于Windows操作系统之外，主要用于 Unix/Linux操作系统。

像现在很多版本的 Linux 都默认使用 GCC 作为C语言编译器，而像 FreeBSD、macOS 等系统默认使用 LLVM Clang 编译器。由于当前 LLVM 项目主要在 Apple 的主推下发展的，所以在 macOS中，Clang 编译器又被称为 Apple LLVM 编译器。

MSVC 编译器主要用于 Windows 操作系统平台下的应用程序开发，它不开源。用户可以使用 Visual Studio Community 版本来免费使用它，但是如果要把通过 Visual Studio Community 工具生成出来的应用进行商用，那么就得好好阅读一下微软的许可证和说明书了。

而使用 GCC 与 Clang 编译器构建出来的应用一般没有任何限制，程序员可以将应用程序随意发布和进行商用。

MSVC 编译器对 C99 标准的支持就十分有限，加之它压根不支持任何 C11 标准，所以本教程中设计 C11 的代码例子不会针对 MSVC 进行描述。所幸的是，Visual Studio Community 2017 加入了对 Clang 编译器的支持，官方称之为——Clang with Microsoft CodeGen，当前版本基于的是 Clang 3.8。

也就是说，应用于 Visual Studio 集成开发环境中的 Clang 编译器前端可支持 Clang 编译器的所有语法特性，而后端生成的代码则与 MSVC 效果一样，包括像 long 整数类型在 64 位编译模式下长度仍然为 4 个字节，所以各位使用的时候也需要注意。

为了方便描述，本教程后面涉及 Visual Studio 集成开发环境下的 Clang 编译器简称为 VS-Clang 编译器。

嵌入式系统

而在嵌入式系统方面，可用的C语言编译器就非常丰富了，比如：

• 用于 Keil 公司 51 系列单片机的 Keil C51 编译器；

• 当前大红大紫的 Arino 板搭载的开发套件，可用针对 AVR 微控制器的 AVRGCC 编译器；

• ARM 自己出的 ADS（ARM Development Suite）、RVDS（RealView Development Suite）和当前最新的 DS-5 Studio；

• DSP 设计商 TI（Texas Instruments）的 CCS（Code Composer Studio）；

• DSP 设计商 ADI（Analog Devices，Inc.）的 Visual DSP++ 编译器，等等。



• 通常，用于嵌入式系统开发的编译工具链都没有免费版本，而且一般需要通过国内代理进行购买。所以，这对于个人开发者或者嵌入式系统爱好者而言是一道不低的门槛。



• 不过 Arino 的开发套件是可免费下载使用的，并且用它做开发板连接调试也十分简单。Arino 所采用的C编译器是基于 GCC 的。



• 还有像树莓派（Raspberry Pi）这种迷你电脑可以直接使用 GCC 和 Clang 编译器。此外，还有像 nVidia 公司推出的 Jetson TK 系列开发板也可直接使用 GCC 和 Clang 编译器。树莓派与 Jetson TK 都默认安装了 Linux 操作系统。



• 在嵌入式领域，一般比较低端的单片机，比如 8 位的 MCU 所对应的C编译器可能只支持 C90 标准，有些甚至连 C90 标准的很多特性都不支持。因为它们一方面内存小，ROM 的容量也小；另一方面，本身处理器机能就十分有限，有些甚至无法支持函数指针，因为处理器本身不包含通过寄存器做间接过程调用的指令。



• 而像 32 位处理器或 DSP，一般都至少能支持 C99 标准，它们本身的性能也十分强大。而像 ARM 出的 RVDS 编译器甚至可用 GNU 语法扩展。



• 下图展示了上述C语言编译器的分类。

⑼ 都有哪些好的c语言编译器阿

1. GCC
大名鼎鼎的GNU的C/C++/Obj-C编译器, 当前版本是2.8.1, 但据说与2.7.*有兼容性
问题. 而使用较广的是gcc 2.7.2系列, 如RedHat5中带的就是gcc 2.7.2.3
有时候在Cyrix上用gcc会有些问题, 因此有一套针对Cyrix特点的gcc 2.7.2.3
我这里有RedHat5的rpms ftp://166.111.68.98/pub/Warez-CD/Huricane-contrib
(Cyrix 2.7.2.3 & 2.8.1)

其基本结构就是一个front end和back end,
/usr/bin/gcc 就是个front end, 其kernel东西都放在 /usr/lib/gcc-lib下面,
cpp是C预处理器, cc1*的1M多的就是编译器的核心模块了
cc1 C compiler
cc1plus C++ compiler
cc1obj Object-C compiler
但gcc并没有集成Fortran的compiler, 一般要用f2c转成C后才用gcc编译
好象也还有个g77 Fortran compiler吧?

gcc的不断发展完善使许多commercial compiler都相形见绌, 那当然, gcc/emacs
都由GNU创始人Richard Stallman手创, 是GNU的旗舰产品, 质量当然没得说了:-)
由于 Unix平台的高度可移植性, gcc几乎在各种常见的Unix平台上都有, 即使是
Win32/DOS也有gcc的port. 比如说该死的Solaris普通版本连compiler都没有, 也
就只好用gcc了...

2. EGCS(Experimental/Enhanced GNU Compiler System)
这是gcc的发展方向, 把fortran等编译器集成进来, 也许还会有Pascal?
它的构造很清晰, 把对gcc的各种改进/port都集成回去. 如gcc 2.7系列据说是
没有对Pentium进行优化的, 而egcs则把pgcc对Pentium的一些优化集成进去了
现在gcc的开发工作主要就是egcs, 由Cygnus公司领导(?), 这Cygnus公司还是很
不错的, 还出了GNU-Win32, SourceNavigator等, 是GNU的坚实拥护者:-))

http://egcs.cygnus.com

包括了C/C++/Obj-C/Fortran 编译器, 当前最新版本1.0.2, 还在不断开发中
昨天download发现KDE Beta4都用egcs编译了 :-)

Fortran集成进来后在/usr/lib/gcc-lib下又多了个f771的back end, 当然
还是g77/f77 编译
我这里有egcs 1.0.2 的rpm 在RH5-CD/collect下面

3. PGCC(Pentium GCC)
http://www.gcc.ml.org
针对Pentium CPU进行了编译器优化的compiler
pgcc据说用JPEG压缩解压缩测试最快可比gcc快 30%!
新版的pgcc都是基于egcs的, 以一个patch的形式release

⑽ 大家都用什么C/C++编译环境

了解的C/C++编译器如下： x0dx0aGCC家族有 x0dx0aCygwin x0dx0aMingw32 x0dx0aDJGPP x0dx0aDev-C++(Mingw32) x0dx0a还有正宗的GNU GCC 2.95.5~3.0.0.4版本 x0dx0aMS家族有 x0dx0aMSC 5.0、6.0、7.0 x0dx0aMSQC 1.0、2.5 x0dx0aMSVC 1.0、4.2、6.0、7.0 x0dx0aBorland家族有 x0dx0aTC 1.0、2.0 x0dx0aTC++ 1.01、3.0 x0dx0aBC 3.0、3.1、4.0、4.5、5.0、5.02 x0dx0aBCB 3.0、5.0、6.0 x0dx0a其它有 x0dx0aIntel C/C++ 5.0 x0dx0aWatcom C/C++ 11.0、11.0c x0dx0aVectorC 1.3.3 x0dx0aIBM VisualAge for C++ x0dx0aDigitalMars C/C++ x0dx0aKAI C/C++ 4.03f for RedHat 7.2 x0dx0aLcc4.1 x0dx0aLCC-WIN32 2001-09-25~2002-04-28日版 x0dx0aSmall C x0dx0aCC386 x0dx0aPacific C x0dx0a另外还有C的解释器 x0dx0aQuincy x0dx0aEic x0dx0aCINT x0dx0ax0dx0a上面提到的编译器/解释器，大部分我都使用过。现在固定使用VC7.0 Cygwin Mingw32 VectorC和LCC-WIN32这五种编译器。 x0dx0ax0dx0a在GCC家族中GNU GCC是根本，其它的编译器版本都是从它导出的。其中，Cygwin和Mingw32都是WIN32平台下的编译器，DJGPP是DOS下的32位编译器。大家所熟知的DEV-C++充其量只是GCC的一个外壳，它所自带的编译器就是Mingw32的一个版本。这些GCC的版本中，Cygwin是最大的，它与其说是一个编译器，倒不如说是一套编程工具。它不仅有编译器，还有其它很多的工具。其实，它就是一个UNIX系统在WIN32平台上的实现。实现了大多常用的UNIX工具，最近的版本中连Apache这样的“工具”都集成进来的。不过，Cygwin虽然功能强大，但它却不是很易用（和UNIX相似，熟悉UNIX的人用它可以很快上手），因为太多其它的工具分散了人们的注意力。相比之下Mingw32就要好用得多，它只有最基本的几个编程工具（只可惜它不自带GDB）。GCC中并不只是C/C++编译器，其中还有很多其它的编译器如JAVA，Fortran，ADA等。它是一个编译器集合，不过有些编译器只能在UNIX系统上用。MS家族的编译器就不用说了，大家对它们都很熟悉。VC 7.0(VC.NET)是它的最新产品。Borland家族也不用说，大家也是耳熟能详。最近它才推出了BCB 6.0。 x0dx0ax0dx0a其它的编译器如：Intel C/C++大家一看名称就知道是Intel的东西，它和VC6完全兼容，不过要挂在VC6下才能用。Watcom C/C++是早先编译器四国大战中的一员，原本是很不错的东西，可惜战略不对，现在已不见声息了。倒是以它为基础的一个OpenWatcom现在还在奋战。VectorC是我近日才发现的一个好东东，它是个纯C的编译器。IBM的VisualAge for C++原本是IBM想用来淌C++编译器这片浑水的东西，不过IBM的战略改了，它就被放弃了。DigitalMars C/C++的前身的Symantec C++（它也是编译器四国大战中的一员），不过现在Symantec不做了，于是它的作者就把它改成了DigitalMars C/C++开放给大家使用。以上这些都是WIN32平台上的东西。KAI C/C++是个很强大的C/C++编译器，它是个多平台的编译器。不过现在被INTEL收购了，已经停止开发了。Lcc4.1是个纯C的编译器它是开放源代码的。不过不怎么好用。LCC-WIN32是一个在LCC基础上开发的C语言的集成开发环境，很好用，而且有很详细的资料，FREE！Pacific C是一个纯DOS的C的集成开发环境，就不多说了。Small C CC386都是开放源代码的编译器，它们都很简单，应用来给大家学习编译器的。Quincy Eic CINT都是C的解释器，是用来让大家学习C语言的其中CINT的功能很强大，还支持一些C++的特性。 x0dx0a当然还有很多其它的编译器，这里我给出的编译器都是可以在WIN32或DOS平台上用的（除KAI外）。UNIX平台上的编译器还是以GNU的为主，其它的我就不是很清楚了。 x0dx0ax0dx0a在以上的编译器中，最特别的就是VectorC这个东西只支持纯C。但它却号称是最快的编译器，不过经过我的试验，它的确在有些情况下强过其它编译器很多！而且它还有个交互式的优化器，可以让你直接看到C代码对映的汇编代码。Cygwin和Mingw32为一母所生，其运行效果相差不大。它们生成的代码效率都很不错，编译的速度也很快，最值得一提的是它们对C++的特性的支持算是所有编译器中最完全的，而且它们还支持C99的大部分特性。这一点很是不错！大家对MS的VC已经很熟悉了，本不用我多说。不过在它的最新的产品VC7.0中，有很大的改进。它对C++的特性的支持比6.0有了很大的提高，是我所用的编译器中是仅次于GCC的。而且它编译出的程序，运行速度很快！仅有少数时候次于VectorC与GCC，其它情况都是最快的！其平均运行速度是最快的。对Borland的产品我也无需多说。它的TC2.0与BC3.1都是我最喜欢的东西。可是现在的BCB却大不如前了，编译的速度和VC6一样慢！IDE还有较多的BUG。最令人想不通的是它生成的代码的运行速度很慢，比LCC-WIN32还慢！它唯一值得一提的就是它的RAD做的比MS的好。Intel的编译器大家可能不熟，它太贵了！还要有VC的支持，很不划算，而且编译速度比VC6还慢。不过它的代码质量很不错。DigitalMars C/C++没有什么亮点，编译速度较快，代码执行速度适中，对C++特性支持还算不错。LCC-WIN32是个很不错的集成开发环境，它只支持纯C。它的编译速度极快！代码执行速度较慢。不过它的最大亮点在于它的IDE，在所有的FREE编程工具中，它的IDE是最专业的，有很强大的代码分析，管理功能。而且它提供了大量的编程资料。 x0dx0a我曾对一些编译器的代码执行效率做过一些测试，以下是概况： x0dx0a1. VectorC、VC 7.0 （极快） x0dx0a2. Intel C/C++、VC 6.0、GCC （很快） x0dx0a3. DigitalMars C/C++ （一般） x0dx0a4. LCC-WIN32、BCB、BC5.02 (较慢) x0dx0a当然，我所做的测试比较片面。不过在很大程度上已能反映其大概状况。