C++优化器作为一般规则派生类构造函数应该不能直接向一个基类数据成员赋值而是把值传递给适当的基类构造函数否则两个类的实现变成紧耦合的(tightly coupled)将更加难于正确地修改或扩展基类的实现。
下面是C++优化器的几个例子:
1) 并行设备的硬件寄存器(如:状态寄存器)
2) 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3) 多线程应用中被几个任务共享的变量
回答不出这个问题的人是不会被雇佣的。我认为这是区分C程序员和嵌入式系统程序员的最基本的问题。搞嵌入式的家伙们经常同硬件、中断、RTOS等等打交道,所有这些都要求用到C++优化器。不懂得volatile的内容将会带来灾难。假设被面试者正确地回答了这是问题(嗯,怀疑是否会是这样),我将稍微深究一下,看一下这家伙是不是直正懂得volatile完全的重要性。#t#
1)一个参数既可以是const还可以是volatile吗?解释为什么。
2); 一个指针可以是volatile 吗?解释为什么。
3); 下面的函数有什么错误:
- int square(volatile int *ptr)
- {
- return *ptr * *ptr;
- }
下面是答案:
1)是的。一个例子是只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。
2); 是的。尽管这并不很常见。一个例子是当一个中服务子程序修该一个指向一个buffer的指针时。
3) 这段代码有点变态。这段代码的目的是用来返指针*ptr指向值的平方,但是,由于*ptr指向一个volatile型参数,编译器将产生类似下面的代码:
- int square(volatile int *ptr)
- {
- int a,b;
- a = *ptr;
- b = *ptr;
- return a * b;
- }
- 由于*ptr的值可能被意想不到地该变,因此a和b可能是不同的。结果,这段代码可能返不是你所期望的平方值!正确的代码如下:
- long square(volatile int *ptr)
- {
- int a;
- a = *ptr;
- return a * a;
- }
编译器为了方便大规模程序的编写,通常分为两个阶段:编译和链接,以允许将大型程序分成多个独立的小模块单独编译,还可以引入一些现成的库。C++优化器的这里只大略地分为分析和生成代码两步,中间还可以进行优化。
C++优化器为每个文件生成目标代码,链接程序把各个模块连接起来,解释每个模块的外部引用,并链入一些系统库,最终生成可执行程序。为了检查源码语法是否正确,编译器要执行静态类型检查,但程序中使用的外部变量和函数编译器无从知晓,需要程序员在使用前声明。声明告诉编译器这个名字会在某处定义,它应该按声明的这样使用,而定义才会分配内存,定义同时也有声明的作用。链接程序只会链接含有你使用的函数或变量的模块。