C++沉思录(一)

9 篇文章 0 订阅

序幕

如何解释什么事情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个字节的堆栈空间。称为自动清栈。函数在编译的时候就必须确定参数个数,并且调用者必须严格的控制参数的生成,不能多,不能少,否则返回后会出错。
PASCAL 是 Pascal语言函数调用方式,也可以在C/C++中使用,参数压栈顺序与前两者相反。返回时的清栈方式与_stdcall相同。
_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)或更小的参数,剩下的参数仍旧自右向左压栈传送,被调用的函数在返回前清理传送参数的内存栈)。
4、thiscall仅仅应用于"C++"成员函数。this 指针存放于CX寄存器,参数从右到左压。thiscall不是关键词,因此不能被 程序员指定。
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实现)里,其中部分代码如下:

  1. /* Standard streams.  */  
  2. extern struct _IO_FILE *stdin;          /* Standard input stream.  */  
  3. extern struct _IO_FILE *stdout;         /* Standard output stream.  */  
  4. extern struct _IO_FILE *stderr;         /* Standard error output stream.  */  
  5. #ifdef __STDC__  
  6. /* C89/C99 say they're macros.  Make them happy.  */  
  7. #define stdin stdin  
  8. #define stdout stdout  
  9. #define stderr stderr  
  10. #endif  

规范要求这几个变量必需是宏,所以后面跟了几个宏,当然这么做是有风险的,例如如下代码:

  1. int main() {  
  2.         setbuf( stdout, NULL );  
  3.         fprintf( stdout, "hello, " );  
  4.         stdout = stdout + 1;  
  5.         fprintf( stdout, "world! ");  
  6.         return 0;  
  7. }  
编译不会有问题,但是运行时段错误。后来我又看了一下微软的标准库代码,是这样的:

  1. #define stdin  (&__iob_func()[0])  
  2. #define stdout (&__iob_func()[1])  
  3. #define stderr (&__iob_func()[2])  
从一个函数返回值中取地址,这时stdout就不是左值了,是禁止被赋值的,编译时就会出错。

在VC6时代,微软似乎也是用了一个静态数组_iob[],直接从这个数组中取值,这和GNU实现方法差不多,都有被改变值的危险。参看:http://blog.csdn.net/wanglei5695312/article/details/5402607


其实FILE是一个结构体_IO_FILE的别名宏,里面包含了文件描述符号,读写指针偏移值等信息,在libio.h中可以找到:

  1. struct _IO_FILE {  
  2.   int _flags;           /* High-order word is _IO_MAGIC; rest is flags. */  
  3. #define _IO_file_flags _flags  
  4.   
  5.   /* The following pointers correspond to the C++ streambuf protocol. */  
  6.   /* Note:  Tk uses the _IO_read_ptr and _IO_read_end fields directly. */  
  7.   char* _IO_read_ptr;   /* Current read pointer */  
  8.   char* _IO_read_end;   /* End of get area. */  
  9.   char* _IO_read_base;  /* Start of putback+get area. */  
  10.   char* _IO_write_base; /* Start of put area. */  
  11.   char* _IO_write_ptr;  /* Current put pointer. */  
  12.   char* _IO_write_end;  /* End of put area. */  
  13.   char* _IO_buf_base;   /* Start of reserve area. */  
  14.   char* _IO_buf_end;    /* End of reserve area. */  
  15.   /* The following fields are used to support backing up and undo. */  
  16.   char *_IO_save_base; /* Pointer to start of non-current get area. */  
  17.   char *_IO_backup_base;  /* Pointer to first valid character of backup area */  
  18.   char *_IO_save_end; /* Pointer to end of non-current get area. */  
  19.   
  20.   struct _IO_marker *_markers;  
  21.   
  22.   struct _IO_FILE *_chain;  
  23.   
  24.   int _fileno;  
  25. #if 0  
  26.   int _blksize;  
  27. #else  
  28.   int _flags2;  
  29. #endif  
  30.   _IO_off_t _old_offset; /* This used to be _offset but it's too small.  */  
  31.   
  32. #define __HAVE_COLUMN /* temporary */  
  33.   /* 1+column number of pbase(); 0 is unknown. */  
  34.   unsigned short _cur_column;  
  35.   signed char _vtable_offset;  
  36.   char _shortbuf[1];  
  37.   
  38.   /*  char* _save_gptr;  char* _save_egptr; */  
  39.     
  40.   _IO_lock_t *_lock;  
  41. #ifdef _IO_USE_OLD_IO_FILE  
  42. };  

我们知道,linux操作系统都是通过文件描述符号(一个整数值)来确定对文件的api调用的,而windows是通过维护一个[文件描述符,句柄]的map,直接通过文件描述符获取内核句柄的,具体参看:http://www.cnblogs.com/fullsail/archive/2012/10/21/2732873.html


这个值就是上面结构体中的_fileno,那么stdin、stdout、stderr对应的文件描述符号分别是多少呢?我们来看unistd.h中的一段代码:

  1. /* Standard file descriptors.  */  
  2. #define STDIN_FILENO    0       /* Standard input.  */  
  3. #define STDOUT_FILENO   1       /* Standard output.  */  
  4. #define STDERR_FILENO   2       /* Standard error output.  */  

另外,提一下stdout和stderr的输出模式的区别,默认情况下,stdout上绑定了一个缓冲区,会在遇到换行符‘\n’或缓冲区满时输出,而stderr是立即输出。

一个intel面试题是写出下列代码输出:

  1. int main() {  
  2.     fprintf( stdout, "hello, " );  
  3.     fprintf( stderr, "world! ");  
  4.     return 0;  
  5. }  

输出应该是“world!hello, ”,当然可以通过setbuf/setvbuf函数来改变一个FILE*对应的缓冲区。

有点啰嗦,将就看吧。。。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值