想成为嵌入式程式员应知道的0x10个基本问题Word下载.docx
《想成为嵌入式程式员应知道的0x10个基本问题Word下载.docx》由会员分享,可在线阅读,更多相关《想成为嵌入式程式员应知道的0x10个基本问题Word下载.docx(14页珍藏版)》请在冰点文库上搜索。
=(B)?
(A):
(B))
这个测试是为下面的目的而设的:
标识#define在宏中应用的基本知识。
这是很重要的,因为直到嵌入(inline)操作符变为标准C的一部分,宏是方便产生嵌入代码的唯一方法,对于嵌入式系统来说,为了能达到需要的性能,嵌入代码经常是必须的方法。
三重条件操作符的知识。
这个操作符存在C语言中的原因是他使得编译器能产生比if-then-else更优化的代码,了解这个用法是很重要的。
懂得在宏中小心地把参数用括号括起来
我也用这个问题开始讨论宏的副作用,例如:
当您写下面的代码时会发生什么事?
least=MIN(*p,b);
3.预处理器标识#error的目的是什么?
假如您不知道答案,请看参考文献1。
这问题对区分一个正常的伙计和一个书呆子是很有用的。
只有书呆子才会读C语言课本的附录去找出象这种问题的答案。
当然假如您不是在找一个书呆子,那么应试者最好希望自己不要知道答案。
死循环(Infiniteloops)
4.嵌入式系统中经常要用到无限循环,您怎么样用C编写死循环呢?
这个问题用几个解决方案。
我最好选择的方案是:
while
(1)
{
}
一些程式员更喜欢如下方案:
for(;
;
;
)
这个实现方式让我为难,因为这个语法没有确切表达到底怎么回事。
假如一个应试者给出这个作为方案,我将用这个作为一个机会去探究他们这样做的基本原理。
假如他们的基本答案是:
“我被教着这样做,但从没有想到过为什么。
”这会给我留下一个坏印象。
第三个方案是用goto
Loop:
...
gotoLoop;
应试者如给出上面的方案,这说明或他是个汇编语言程式员(这也许是好事)或他是个想进入新领域的BASIC/FORTRAN程式员。
数据声明(Datadeclarations)
5.用变量a给出下面的定义
a)一个整型数(Aninteger)
b)一个指向整型数的指针(Apointertoaninteger)
c)一个指向指针的的指针,他指向的指针是指向一个整型数(Apointertoapointertoanintege)r
d)一个有10个整型数的数组(Anarrayof10integers)
e)一个有10个指针的数组,该指针是指向一个整型数的。
(Anarrayof10pointerstointegers)
f)一个指向有10个整型数数组的指针(Apointertoanarrayof10integers)
g)一个指向函数的指针,该函数有一个整型参数并返回一个整型数(Apointertoafunctionthattakesanintegerasanargumentandreturnsaninteger)
h)一个有10个指针的数组,该指针指向一个函数,该函数有一个整型参数并返回一个整型数(Anarrayoftenpointerstofunctionsthattakeanintegerargumentandreturnaninteger)
答案是:
a)inta;
//Aninteger
b)int*a;
//Apointertoaninteger
c)int**a;
//Apointertoapointertoaninteger
d)inta[10];
//Anarrayof10integers
e)int*a[10];
//Anarrayof10pointerstointegers
f)int(*a)[10];
//Apointertoanarrayof10integers
g)int(*a)(int);
//Apointertoafunctionathattakesanintegerargumentandreturnsaninteger
h)int(*a[10])(int);
//Anarrayof10pointerstofunctionsthattakeanintegerargumentandreturnaninteger
人们经常声称这里有几个问题是那种要翻一下书才能回答的问题,我同意这种说法。
当我写这篇文章时,为了确定语法的正确性,我的确查了一下书。
但是当我被面试的时候,我期望被问到这个问题(或相近的问题)。
因为在被面试的这段时间里,我确定我知道这个问题的答案。
应试者假如不知道任何的答案(或至少大部分答案),那么也就没有为这次面试做准备,假如该面试者没有为这次面试做准备,那么他又能为什么出准备呢?
Static
6.关键字static的作用是什么?
这个简单的问题很少有人能回答完全。
在C语言中,关键字static有三个明显的作用:
在函数体,一个被声明为静态的变量在这一函数被调用过程中维持其值不变。
在模块内(但在函数体外),一个被声明为静态的变量能够被模块内所用函数访问,但不能被模块外其他函数访问。
他是个本地的全局变量。
在模块内,一个被声明为静态的函数只可被这一模块内的其他函数调用。
那就是,这个函数被限制在声明他的模块的本地范围内使用。
大多数应试者能正确回答第一部分,一部分能正确回答第二部分,同是很少的人能懂得第三部分。
这是个应试者的严重的缺点,因为他显然不懂得本地化数据和代码范围的好处和重要性。
Const
7.关键字const有什么含意?
我只要一听到被面试者说:
“const意味着常数”,我就知道我正在和一个业余者打交道。
去年DanSaks已在他的文章里完全概括了const的任何用法,因此ESP(译者:
EmbeddedSystemsProgramming)的每一位读者应该很熟悉const能做什么和不能做什么.假如您从没有读到那篇文章,只要能说出const意味着“只读”就能够了。
尽管这个答案不是完全的答案,但我接受他作为一个正确的答案。
(假如您想知道更周详的答案,仔细读一下Saks的文章吧。
)
假如应试者能正确回答这个问题,我将问他一个附加的问题:
下面的声明都是什么意思?
constinta;
intconsta;
constint*a;
int*consta;
intconst*aconst;
/******/
前两个的作用是相同,a是个常整型数。
第三个意味着a是个指向常整型数的指针(也就是,整型数是不可修改的,但指针能够)。
第四个意思a是个指向整型数的常指针(也就是说,指针指向的整型数是能够修改的,但指针是不可修改的)。
最后一个意味着a是个指向常整型数的常指针(也就是说,指针指向的整型数是不可修改的,同时指针也是不可修改的)。
假如应试者能正确回答这些问题,那么他就给我留下了一个好印象。
顺带提一句,也许您可能会问,即使不用关键字const,也还是能很容易写出功能正确的程式,那么我为什么还要如此看重关键字const呢?
我也如下的几下理由:
关键字const的作用是为给读您代码的人传达很有用的信息,实际上,声明一个参数为常量是为了告诉了用户这个参数的应用目的。
假如您曾花很多时间清理其他人留下的垃圾,您就会很快学会感谢这点多余的信息。
(当然,懂得用const的程式员很少会留下的垃圾让别人来清理的。
通过给优化器一些附加的信息,使用关键字const也许能产生更紧凑的代码。
合理地使用关键字const能够使编译器很自然地保护那些不希望被改变的参数,防止其被无意的代码修改。
简而言之,这样能够减少bug的出现。
Volatile
8.关键字volatile有什么含意?
并给出三个不同的例子。
一个定义为volatile的变量是说这变量可能会被意想不到地改变,这样,编译器就不会去假设这个变量的值了。
精确地说就是,优化器在用到这个变量时必须每次都小心地重新读取这个变量的值,而不是使用保存在寄存器里的备份。
下面是volatile变量的几个例子:
并行设备的硬件寄存器(如:
状态寄存器)
一个中断服务子程式中会访问到的非自动变量(Non-automaticvariables)
多线程应用中被几个任务共享的变量
回答不出这个问题的人是不会被雇佣的。
我认为这是区分C程式员和嵌入式系统程式员的最基本的问题。
搞嵌入式的家伙们经常同硬件、中断、RTOS等等打交道,任何这些都需要用到volatile变量。
不懂得volatile的内容将会带来灾难。
假设被面试者正确地回答了这是问题(嗯,怀疑是否会是这样),我将稍微深究一下,看一下这家伙是不是直正懂得volatile完全的重要性。
一个参数既能够是const还能够是volatile吗?
解释为什么。
一个指针能够是volatile吗?
下面的函数有什么错误:
intsquare(volatileint*ptr)
return*ptr**ptr;
下面是答案:
是的。
一个例子是只读的状态寄存器。
他是volatile因为他可能被意想不到地改变。
他是const因为程式不应该试图去修改他。
尽管这并不很常见。
一个例子是当一个中服务子程式修该一个指向一个buffer的指针时。
这段代码有点变态。
这段代码的目的是用来返指针*ptr指向值的平方,但是,由于*ptr指向一个volatile型参数,编译器将产生类似下面的代码:
inta,b;
a=*ptr;
b=*ptr;
returna*b;
由于*ptr的值可能被意想不到地该变,因此a和b可能是不同的。
结果,这段代码可能返不是您所期望的平方值!
正确的代码如下:
longsquare(volatileint*ptr)
inta;
returna*a;
位操作(Bitmanipulation)
9.嵌入式系统总是要用户对变量或寄存器进行位操作。
给定一个整型变量a,写两段代码,第一个配置a的bit3,第二个清除a的bit3。
在以上两个操作中,要保持其他位不变。
对这个问题有三种基本的反应
不知道如何下手。
该被面者从没做过任何嵌入式系统的工作。
用bitfields。
Bitfields是被扔到C语言死角的东西,他确保您的代码在不同编译器之间是不可移植的,同时也确保了的您的代码是不可重用的。
我最近不幸看到Infineon为其较复杂的通信芯片写的驱动程式,他用到了bitfields因此完全对我无用,因为我的编译器用其他的方式来实现bitfields的。
从道德讲:
永远不要让一个非嵌入式的家伙粘实际硬件的边。
用#defines和bitmasks操作。
这是个有极高可移植性的方法,是应该被用到的方法。
最好的解决方案如下:
#defineBIT3(0x1<
<
3)
staticinta;
voidset_bit3(void){
a|=BIT3;
voidclear_bit3(void){
a&
=~BIT3;
一些人喜欢为配置和清除值而定义一个掩码同时定义一些说明常数,这也是能够接受的。
我希望看到几个要点:
说明常数、|=和&
=~操作。
访问固定的内存位置(Accessingfixedmemorylocations)
10.嵌入式系统经常具备需要程式员去访问某特定的内存位置的特点。
在某工程中,需要配置一绝对地址为0x67a9的整型变量的值为0xaa66。
编译器是个纯粹的ANSI编译器。
写代码去完成这一任务。
这一问题测试您是否知道为了访问一绝对地址把一个整型数强制转换(typecast)为一指针是合法的。
这一问题的实现方式随着个人风格不同而不同。
典型的类似代码如下:
int*ptr;
ptr=(int*)0x67a9;
*ptr=0xaa55;
Amoreobscureapproachis:
一个较晦涩的方法是:
*(int*const)(0x67a9)=0xaa55;
即使您的品味更接近第二种方案,但我建议您在面试时使用第一种方案。
中断(Interrupts)
11.中断是嵌入式系统中重要的组成部分,这导致了很多编译研发商提供一种扩展—让标准C支持中断。
具代表事实是,产生了一个新的关键字__interrupt。
下面的代码就使用了__interrupt关键字去定义了一个中断服务子程式(ISR),请评论一下这段代码的。
__interruptdoublecompute_area(doubleradius)
doublearea=PI*radius*radius;
printf("
\nArea=%f"
area);
returnarea;
这个函数有太多的错误了,以至让人不知从何说起了:
ISR不能返回一个值。
假如您不懂这个,那么您不会被雇用的。
ISR不能传递参数。
假如您没有看到这一点,您被雇用的机会等同第一项。
在许多的处理器/编译器中,浮点一般都是不可重入的。
有些处理器/编译器需要让额处的寄存器入栈,有些处理器/编译器就是不允许在ISR中做浮点运算。
此外,ISR应该是短而有效率的,在ISR中做浮点运算是不明智的。
和第三点一脉相承,printf()经常有重入和性能上的问题。
假如您丢掉了第三和第四点,我不会太为难您的。
不用说,假如您能得到后两点,那么您的被雇用前景越来越光明了。
代码例子(Codeexamples)
12.下面的代码输出是什么,为什么?
voidfoo(void)
unsignedinta=6;
intb=-20;
(ab>
6)?
puts("
>
6"
):
=6"
);
这个问题测试您是否懂得C语言中的整数自动转换原则,我发现有些研发者懂得极少这些东西。
不管如何,这无符号整型问题的答案是输出是”>
6”。
原因是当表达式中存在有符号类型和无符号类型时任何的操作数都自动转换为无符号类型。
因此-20变成了一个很大的正整数,所以该表达式计算出的结果大于6。
这一点对于应当频繁用到无符号数据类型的嵌入式系统来说是丰常重要的。
假如您答错了这个问题,您也就到了得不到这份工作的边缘。
13.评价下面的代码片断:
unsignedintzero=0;
unsignedintcompzero=0xFFFF;
/*1'
scomplementofzero*/
对于一个int型不是16位的处理器为说,上面的代码是不正确的。
应编写如下:
unsignedintcompzero=~0;
这一问题真正能揭露出应试者是否懂得处理器字长的重要性。
在我的经验里,好的嵌入式程式员很准确地明白硬件的细节和他的局限,然而PC机程式往往把硬件作为一个无法避免的烦恼。
到了这个阶段,应试者或完全垂头丧气了或信心满满志在必得。
假如显然应试者不是很好,那么这个测试就在这里结束了。
但假如显然应试者做得不错,那么我就扔出下面的追加问题,这些问题是比较难的,我想仅仅很优秀的应试者能做得不错。
提出这些问题,我希望更多看到应试者应付问题的方法,而不是答案。
不管如何,您就当是这个娱乐吧…
动态内存分配(Dynamicmemoryallocation)
14.尽管不像非嵌入式电脑那么常见,嵌入式系统还是有从堆(heap)中动态分配内存的过程的。
那么嵌入式系统中,动态分配内存可能发生的问题是什么?
这里,我期望应试者能提到内存碎片,碎片收集的问题,变量的持行时间等等。
这个主题已在ESP杂志中被广泛地讨论过了(主要是P.J.Plauger,他的解释远远超过我这里能提到的任何解释),任何回过头看一下这些杂志吧!
让应试者进入一种虚假的安全感觉后,我拿出这么一个小节目:
下面的代码片段的输出是什么,为什么?
char*ptr;
if((ptr=(char*)malloc(0))==NULL)
{
Gotanullpointer"
}
else
Gotavalidpointer"
这是个有趣的问题。
最近在我的一个同事不经意把0值传给了函数malloc,得到了一个合法的指针之后,我才想到这个问题。
这就是上面的代码,该代码的输出是“Gotavalidpointer”。
我用这个来开始讨论这样的一问题,看看被面试者是否想到库例程这样做是正确。
得到正确的答案固然重要,但解决问题的方法和您做决定的基本原理更重要些。
Typedef
15Typedef在C语言中频繁用以声明一个已存在的数据类型的同义字。
也能够用预处理器做类似的事。
例如,思考一下下面的例子:
#definedPSstructs*
typedefstructs*tPS;
以上两种情况的意图都是要定义dPS和tPS作为一个指向结构s指针。
哪种方法更好呢?
(假如有的话)为什么?
这是个很微妙的问题,任何人答对这个问题(正当的原因)是应当被恭喜的。
typedef更好。
思考下面的例子:
dPSp1,p2;
tPSp3,p4;
第一个扩展为
structs*p1,p2;
上面的代码定义p1为一个指向结构的指,p2为一个实际的结构,这也许不是您想要的。
第二个例子正确地定义了p3和p4两个指针。
Typedef便于实现链式表达
晦涩的语法
16.C语言同意一些令人震惊的结构,下面的结构是合法的吗,假如是他做些什么?
inta=5,b=7,c;
c=a+++b;
这个问题将做为这个测验的一个愉快的结尾。
不管您相不相信,上面的例子是完全合乎语法的。
问题是编译器如何处理他?
水平不高的编译作者实际上会争论这个问题,根据最处理原则,编译器应当能处理尽可能任何合法的用法。
因此,上面的代码被处理成:
因此,这段代码持行后a=6,b=7,c=12。
假如您知道答案,或猜出正确答案,做得好。
假如您不知道答案,我也不把这个当作问题。
我发现这个问题的最大好处是这是个关于代码编写风格,代码的可读性,代码的可修改性的好的话题。
好了,伙计们,您现在已做完任何的测试了。
这就是我出的C语言测试题,我怀着愉快的心情写完他,希望您以同样的心情读完他。
假如是认为这是个好的测试,那么尽量都用到您的找工作的过程中去吧。
天知道也许过个一两年,我就不做现在的工作,也需要找一个。
NigelJones是个顾问,现在住在Maryland,当他不在水下时,您能在多个范围的嵌入项目中找到他。
他很高兴能收到读者的来信,他的email地址是:
NAJones@。
References
Jones,Nigel,"
InPraiseofthe#errordirective,"
EmbeddedSystemsProgramming,September1999,p.114.
EfficientCCodeforEight-bitMCUs,"
EmbeddedSystemsProgramming,November1998,p.66.