想搞搞自己的编程语言,暂时命名为Fun吧,希望最终的结果是这东西能用,大家觉得有趣,就可以了。虽然不一定能成功,但做到多少是多少吧。过程中学到的才是关键。
目标是要把语言最终翻译到native code。因为总不喜欢有虚拟机的语言,虽然平时用着也很爽。喜欢c的高效,但是也喜欢c#、Python之类的表达能力强的语言。貌似目前能翻译到native code的语言,表达能力是一个问题,至少没有一些高级特性的支持,编码量就一下子上去了。总是在考虑how to do,而不是what to do。
然后就想,能不能搞个试验,看能否把这几个结合起来,于是就有了上述的想法。先从linux开始吧,毕竟资料比较多,以后如果看着还有点用途,有人加入的话,才照顾windows吧。
综合衡量之后,大体方向是翻译到汇编语言(at&t语法,可以用as来编译),对接glibc的部分功能形成core。毕竟用汇编system call封api,linus、gnu那帮大牛早就做了。在这点上花时间不大值得。
只是兴趣,不喜欢的请绕路,别乱喷。
既然要用到glibc,必须在汇编层面把需要的东西都摸得一清二楚。
在本系列的文章中,我将比较深入地介绍有关汇编、c\c++、glibc之类的知识。也不能说 很系统全面,在做笔记之余,跟大家分享,希望对大家有点用途。
我将使用gnu tool chain系列的工具。
c\c++编译器为gcc,连接器为ld,汇编器为as
因为as虽然是用at&t语法,但是支持的cpu以及instruction都比较多,而且还有各种优化选项,比nasm强大点。毕竟是linux里头的国家队。哈哈。
系统为linux(本人有系统洁癖,同时是个更新控,使用archlinux,需要啥才装啥。卖个广告吧,速度的确非常快。之前贪新鲜装了Ubuntu11.10,对那个unity界面十分不爽,比gnome-shell差多了,而且漂亮是漂亮了,但是响应速度跟以前相比,降低的不是一个数量级呀。受不了,就折腾了一个星期东google,西baidu,终于装上archlinux以及配置好gnome-shell了)
当然,在windows平台上,结果也应该是一样的。有兴趣的可以使用mingw试试。
废话说多了,开始正题吧。这篇文章结构如下
1、比较c,c++对于类似的函数,翻译到汇编语言里头的区别
2、为什么这么多project,特别是库,要用C,而不用C++【这里纯属个人体会】
先看下面一段C函数 (文件名是1.c)
#include <stdio.h> int func( int a ) { return a + 1; } int main() { printf( "%d\n", func( 1 ) ); return 0; }
非常简单。哈。使用下面命令把这段代码翻译到汇编,不翻译到二进制,不链接。$ cc -S 1.c
$ ls
1.c 1.s
其中1.s的内容如下
.file "1.c" .text .globl func .type func, @function func: .LFB0: .cfi_startproc pushl %ebp .cfi_def_cfa_offset 8 .cfi_offset 5, -8 movl %esp, %ebp .cfi_def_cfa_register 5 movl 8(%ebp), %eax addl $1, %eax popl %ebp .cfi_def_cfa 4, 4 .cfi_restore 5 ret .cfi_endproc .LFE0: .size func, .-func .section .rodata .LC0: .string "%d\n" .text .globl main .type main, @function main: .LFB1: .cfi_startproc pushl %ebp .cfi_def_cfa_offset 8 .cfi_offset 5, -8 movl %esp, %ebp .cfi_def_cfa_register 5 andl $-16, %esp subl $16, %esp movl $1, (%esp) call func movl $.LC0, %edx movl %eax, 4(%esp) movl %edx, (%esp) call printf movl $0, %eax leave .cfi_restore 5 .cfi_def_cfa 4, 4 ret .cfi_endproc .LFE1: .size main, .-main .ident "GCC: (GNU) 4.6.2" .section .note.GNU-stack,"",@progbits
而对于下面一段C++代码(p1.cpp)