汇编告诉你为什么C++可以对函数重载
目标是要把语言最终翻译到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
- #include <stdio.h>
- int func( int a ) {
- return a + 1;
- }
- int func( double a ) {
- return a + 1;
- }
- int main() {
- printf( "%d\n", func( 1 ) );
- printf( "%f\n", func( 1.0 ) );
- return 0;
- }