序幕
如何解释什么事情C++可以做的很好,而C做不好。
//#include <stdio.h>
//#include <stdlib.h>
//
//class Trace
//{
//public:
// void print(char* s)
// {
// printf("%s", s);
// }
//protected:
//private:
//};
//数据隐藏(data hiding),所以它应该有公有数据(public data)和私有数据(private data),能在必要时关闭跟踪输出(trace output)
故改进如下
//#include <stdio.h>
//#include <stdlib.h>
//
//class Trace
//{
//public:
// Trace()
// //:noisy(0)
// {
// noisy = 0;
// }
//
// void print(char* s)
// {
// if (noisy)
// {
// printf("%s", s);
// }
// }
//
// void on()
// {
// noisy = 1;
// }
//
// void off()
// {
// noisy = 0;
// }
//
//protected:
//private:
// int noisy;
//};
//如果用户想要修改这样的类,将会如何?上次改进做到了可随时关闭输出,如何让它打印到标准输出设备以外的东西上?
//这个问题在C++中轻而易举,在C中就要大动干戈
//故改进如下:用一个私有数据来存储输出文件的标识,并提供参数构造函数,让用户指定输出文件
#ifndef _TRACE_H
#define _TRACE_H
//预处理防止头文件重复包含,亦可用#pragma once
#include <stdio.h>
#include <stdlib.h>
class Trace
{
public:
Trace()
//:noisy(0)
{
noisy = 0;
f = stdout;
}
Trace(FILE* ff)
{
noisy = 0;
f = ff;
}
void print(char* s)
{
if (noisy)
{
//printf("%s", s);
fprintf(f, "%s", s);
}
}
void on()
{
noisy = 1;
}
void off()
{
noisy = 0;
}
protected:
private:
int noisy;
FILE* f;
};
//printf(args);等价于fprintf(stdout, args);
#endif
//#include "Trace.h"
//
//int main(int argc, char* argv[])
//{
// Trace t;
// t.on();
// t.print("begin main()\n");
// //
// t.off();
// t.on();
// t.print("end main()\n");
//
// system("pause");
// return 0;
//}
#include "Trace.h"
int main(int argc, char* argv[])
{
Trace t(stderr);
//#ifndef _STDSTREAM_DEFINED
//#define stdin (&__iob_func()[0])
//#define stdout (&__iob_func()[1])
//#define stderr (&__iob_func()[2])
//#define _STDSTREAM_DEFINED
//#endif
//#ifndef _STDIO_DEFINED
//_CRTIMP FILE * __cdecl __iob_func(void);
//#endif /* _STDIO_DEFINED */
t.on();
t.print("begin main()\n");
//
t.off();
t.on();
t.print("end main()\n");
system("pause");
return 0;
}
//
一般的C程序会是怎样的呢?
//#include "Trace.h"
//
//static int noisy = 1;
//void trace_on();
//void trace_off();
//void trace(char* s);
//
//int main(int argc, char* argv[])
//{
// trace("begin main()");
// trace_off();
// trace_on();
// trace("end main()");
//
// system("pause");
// return 0;
//}
//
//void trace_on(){ noisy = 1; }
//void trace_off(){ noisy = 0; }
//void trace(char* s)
//{
// if (noisy)
// {
// printf("%s\n", s);
// }
//}
//这种方法是有效的,但是与C++方法比较起来有3个明显缺点:
//1.函数trace不是内联的,因此即使当跟踪关闭时,它还保持着函数调用的开销,很多C的实现中,这个额外负担都是无法避免的。
//2.C版本引入了3个全局名字:trace、trace_on、trace_off,而C++只引入了1个。
//3.也是最重要的一点,C中很难将之输出到一个以上的文件中。
//要解决第3个问题显而易见的方法就是给函数trace增加一个参数,但是要找到所有对trace函数的调用,并插入这个新增的参数。
//另外一种方法就是引入trace_out的第4个函数,用来跟踪输出转向到其他文件。
//void trace_on(FILE* f);
//void trace_off(FILE* f);
//void trace(FILE* f,char* s);
//void trace_out(FILE* f,char* s);
//再看一个C风格,看到之后猜测存在一个被操作的堆栈,并设置z为x和y的和,但是堆栈在那里?
//push(x);
//push(y);
//add();
//z=pop();
//C++风格,看到这个就基本能确认上面猜测没错
//s.push(x);
//s.push(y);
//s.add();
//z=s.pop();
//C风格很少采用的方式,除非需要很多堆栈。C++采用类将状态和动作绑定在一起,然后C则不然
//push(s,x);
//push(s,y);
//add(s);
//z=pop(s);
//C不赞成上述风格,因为在所有函数之外要单独定义一个s类型。
//C++提供了单个地方来描述所有这些东西,表明所有的东西都是相互关联的。
//通过把有关系的事物联系起来,就能更加清晰地用C++来表达自己的意图。
全局函数在静态区。全局函数名就是指向静态区的一个地址
关于函数调用约定
__cdecl 是C Declaration的缩写(declaration,声明),表示C语言默认的函数调用方法:所有参数从右到左依次入栈,这些参数由调用者清除,称为手动清栈。被调用函数不会要求调用者传递多少参数,调用者传递过多或者过少的参数,甚至完全不同的参数都不会产生编译阶段的错误。
_stdcall 是StandardCall的缩写,是C++的标准调用方式:所有参数从右到左依次入栈,如果是调用类成员的话,最后一个入栈的是this
指针。这些
堆栈中的参数由被调用的函数在返回后清除,使用的指令是 retnX,X表示参数占用的字节数,CPU在ret之后自动弹出X个字节的堆栈空间。称为自动清栈。函数在编译的时候就必须确定参数个数,并且调用者必须严格的控制参数的生成,不能多,不能少,否则返回后会出错。
_fastcall是
编译器指定的快速调用方式。由于大多数的函数参数个数很少,使用
堆栈传递比较费时。因此_fastcall通常规定将前两个(或若干个)参数由
寄存器传递,其余参数还是通过
堆栈传递。不同
编译器编译的程序规定的寄存器不同。返回方式和_stdcall相当。
_thiscall 是为了解决类成员调用中this
指针传递而规定的。_thiscall要求把this
指针放在特定寄存器中,该寄存器由
编译器决定。VC使用ecx,Borland的C++
编译器使用eax。返回方式和_stdcall相当。
_fastcall 和 _thiscall涉及的寄存器由
编译器决定,因此不能用作跨编译器的接口。所以Windows上的COM对象接口都定义为_stdcall调用方式。
C中不加说明默认函数为_cdecl方式(C中也只能用这种方式),C++也一样,但是默认的调用方式可以在IDE环境中设置。
带有可变参数的函数必须且只能使用_cdecl方式,例如下面的函数:
int printf(char * fmtStr, ...);
int scanf(char * fmtStr, ...);
*/几种调用约定的区别
区别:
__cdecl __fastcall与
__stdcall,三者都是调用约定(Calling convention),它决定以下内容:1)函数参数的压栈顺序,2)由调用者还是被调用者把参数弹出栈,3)以及产生函数修饰名的方法。
1、
__stdcall调用约定:函数的参数自右向左通过栈传递,被调用的函数在返回前清理传送参数的内存栈。
2、_cdecl是C和C++程序的缺省调用方式。每一个调用它的函数都包含清空
堆栈的代码,所以产生的
可执行文件大小会比调用_stdcall函数的大。函数采用从右到左的压栈方式。注意:对于可变参数的成员函数,始终使用__cdecl的转换方式。
3、__fastcall调用约定:它是通过
寄存器来传送参数的(实际上,它用ECX和EDX传送前两个双字(DWORD)或更小的参数,剩下的参数仍旧自右向左压栈传送,被调用的函数在返回前清理传送参数的内存栈)。
5、nakedcall采用1-4的调用约定时,如果必要的话,进入函数时
编译器会产生代码来保存ESI,EDI,EBX,EBP寄存器,退出函数时则产生代码恢复这些寄存器的内容。naked call不产生这样的代码。naked call不是类型修饰符,故必须和_declspec共同使用。
规则:
1、修饰名(Decoration name):"C"或者"C++"函数在内部(编译和链接)通过修饰名识别
2、C编译时函数名修饰约定规则:
__stdcall调用约定在输出函数名前加上一个下划线前缀,后面加上一个"@"符号和其参数的字节数,格式为_functionname@number,例如 :function(int a, int b),其修饰名为:_function@8
__cdecl调用约定仅在输出函数名前加上一个下划线前缀,格式为_functionname。
__fastcall调用约定在输出函数名前加上一个"@"符号,后面也是一个"@"符号和其参数的字节数,格式为@functionname@number。
设置方法:
1 可以直接在代码中写 __cdecl 等调用约定
2 在MS-VC++6.0中,调用约定也可以通过工程设置:Setting...\C/C++ \Code Generation项进行选择,缺省状态为__cdecl。名字修饰约定(vs2010 在c/c++ 高级中进行设置)。
关于stderr、stdin、stdout
http://blog.csdn.net/gogdizzy/article/details/8349211这篇博客写的非常到位,所以为了省事,被我完全搬过来了,希望原博主能够原谅。
我们都知道用printf( xxx )和fprintf( stdin, xxx )是一个效果。所以stdin是一个FILE*类型的变量。同样的stdout和stderr也是。
他们的定义在stdio.h(GNU实现)里,其中部分代码如下:
- /* Standard streams. */
- extern struct _IO_FILE *stdin; /* Standard input stream. */
- extern struct _IO_FILE *stdout; /* Standard output stream. */
- extern struct _IO_FILE *stderr; /* Standard error output stream. */
- #ifdef __STDC__
- /* C89/C99 say they're macros. Make them happy. */
- #define stdin stdin
- #define stdout stdout
- #define stderr stderr
- #endif
规范要求这几个变量必需是宏,所以后面跟了几个宏,当然这么做是有风险的,例如如下代码:
- int main() {
- setbuf( stdout, NULL );
- fprintf( stdout, "hello, " );
- stdout = stdout + 1;
- fprintf( stdout, "world! ");
- return 0;
- }
- #define stdin (&__iob_func()[0])
- #define stdout (&__iob_func()[1])
- #define stderr (&__iob_func()[2])
在VC6时代,微软似乎也是用了一个静态数组_iob[],直接从这个数组中取值,这和GNU实现方法差不多,都有被改变值的危险。参看:http://blog.csdn.net/wanglei5695312/article/details/5402607
其实FILE是一个结构体_IO_FILE的别名宏,里面包含了文件描述符号,读写指针偏移值等信息,在libio.h中可以找到:
- struct _IO_FILE {
- int _flags; /* High-order word is _IO_MAGIC; rest is flags. */
- #define _IO_file_flags _flags
- /* The following pointers correspond to the C++ streambuf protocol. */
- /* Note: Tk uses the _IO_read_ptr and _IO_read_end fields directly. */
- char* _IO_read_ptr; /* Current read pointer */
- char* _IO_read_end; /* End of get area. */
- char* _IO_read_base; /* Start of putback+get area. */
- char* _IO_write_base; /* Start of put area. */
- char* _IO_write_ptr; /* Current put pointer. */
- char* _IO_write_end; /* End of put area. */
- char* _IO_buf_base; /* Start of reserve area. */
- char* _IO_buf_end; /* End of reserve area. */
- /* The following fields are used to support backing up and undo. */
- char *_IO_save_base; /* Pointer to start of non-current get area. */
- char *_IO_backup_base; /* Pointer to first valid character of backup area */
- char *_IO_save_end; /* Pointer to end of non-current get area. */
- struct _IO_marker *_markers;
- struct _IO_FILE *_chain;
- int _fileno;
- #if 0
- int _blksize;
- #else
- int _flags2;
- #endif
- _IO_off_t _old_offset; /* This used to be _offset but it's too small. */
- #define __HAVE_COLUMN /* temporary */
- /* 1+column number of pbase(); 0 is unknown. */
- unsigned short _cur_column;
- signed char _vtable_offset;
- char _shortbuf[1];
- /* char* _save_gptr; char* _save_egptr; */
- _IO_lock_t *_lock;
- #ifdef _IO_USE_OLD_IO_FILE
- };
我们知道,linux操作系统都是通过文件描述符号(一个整数值)来确定对文件的api调用的,而windows是通过维护一个[文件描述符,句柄]的map,直接通过文件描述符获取内核句柄的,具体参看:http://www.cnblogs.com/fullsail/archive/2012/10/21/2732873.html
这个值就是上面结构体中的_fileno,那么stdin、stdout、stderr对应的文件描述符号分别是多少呢?我们来看unistd.h中的一段代码:
- /* Standard file descriptors. */
- #define STDIN_FILENO 0 /* Standard input. */
- #define STDOUT_FILENO 1 /* Standard output. */
- #define STDERR_FILENO 2 /* Standard error output. */
另外,提一下stdout和stderr的输出模式的区别,默认情况下,stdout上绑定了一个缓冲区,会在遇到换行符‘\n’或缓冲区满时输出,而stderr是立即输出。
一个intel面试题是写出下列代码输出:
- int main() {
- fprintf( stdout, "hello, " );
- fprintf( stderr, "world! ");
- return 0;
- }
输出应该是“world!hello, ”,当然可以通过setbuf/setvbuf函数来改变一个FILE*对应的缓冲区。
有点啰嗦,将就看吧。。。