嵌入式軟體工程師經典筆試
> 前處理器(Preprocessor)
1. 用預處理指令#define 宣告一個常數,用以表明1年中有多少秒(忽略閏年問題)
#define SECONDS_PER_YEAR (60 * 60 * 24 * 365)UL
我在這想看到幾件事情:
1). #define 語法的基本知識(例如:不能以分號結束,括號的使用,等等)
2). 懂得前處理器將為你計算常數表示式的值,因此,直接寫出你是如何計算一年中
有多少秒而不是計算出實際的值,是更清晰而沒有代價的。
3). 意識到這個表示式將使一個16位機的整型數溢位-因此要用到長整型符號L,告訴編
譯器這個常數是的長整型數。
4). 如果你在你的表示式中用到UL(表示無符號長整型),那麼你有了一個好的起點。
記住,第一印象很重要。
2. 寫一個“標準”巨集MIN,這個巨集輸入兩個引數並返回較小的一個。
#define MIN(A,B) ((A) <= (B) (A) : (B))
這個測試是為下面的目的而設的:
1). 標識#define在巨集中應用的基本知識。這是很重要的,因為直到嵌入(inline)操作符變
為標準C的一部分,巨集是方便產生嵌入程式碼的唯一方法,對於嵌入式系統來說,為了能達到
要求的效能,嵌入程式碼經常是必須的方法。
2). 三重條件操作符的知識。這個操作符存在C語言中的原因是它使得編譯器能產生比if-
then-else更優化的程式碼,瞭解這個用法是很重要的。
3). 懂得在巨集中小心地把引數用括號括起來
4). 我也用這個問題開始討論巨集的副作用,例如:當你寫下面的程式碼時會發生什麼事?
least = MIN(*p++, b);
3. 前處理器標識#error的目的是什麼?
如果你不知道答案,請看參考文獻1。這問題對區分一個正常的夥計和一個書呆子是很有用
的。只有書呆子才會讀C語言課本的附錄去找出象這種
問題的答案。當然如果你不是在找一個書呆子,那麼應試者最好希望自己不要知道答案。
4. 嵌入式系統中經常要用到無限迴圈,你怎麼樣用C編寫死迴圈呢?
這個問題用幾個解決方案。我首選的方案是:
while(1)
{
}
一些程式設計師更喜歡如下方案:
for(;;)
{
}
這個實現方式讓我為難,因為這個語法沒有確切表達到底怎麼回事。如果一個應試者給出
這個作為方案,我將用這個作為一個機會去探究他們這樣做的
基本原理。如果他們的基本答案是:“我被教著這樣做,但從沒有想到過為什麼。”這會
給我留下一個壞印象。
第三個方案是用 goto
Loop:
...
goto Loop;
應試者如給出上面的方案,這說明或者他是一個組合語言程式設計師(這也許是好事)或者他
是一個想進入新領域的BASIC/FORTRAN程式設計師。
資料宣告(Data declarations)
5. 用變數a給出下面的定義
a) 一個整型數(An integer)
b) 一個指向整型數的指標(A pointer to an integer)
c) 一個指向指標的的指標,它指向的指標是指向一個整型數(A pointer to a pointer
to an integer)
d) 一個有10個整型數的陣列(An array of 10 integers)
e) 一個有10個指標的陣列,該指標是指向一個整型數的(An array of 10 pointers to
integers)
f) 一個指向有10個整型數陣列的指標(A pointer to an array of 10 integers)
g) 一個指向函式的指標,該函式有一個整型引數並返回一個整型數(A pointer to a fu
nction that takes an integer as an argument and returns an integer)
h) 一個有10個指標的陣列,該指標指向一個函式,該函式有一個整型引數並返回一個整型
數( An array of ten pointers to functions that take an integer argument and r
eturn an integer )
答案是:
a) int a; // An integer
b) int *a; // A pointer to an integer
c) int **a; // A pointer to a pointer to an integer
d) int a[10]; // An array of 10 integers
e) int *a[10]; // An array of 10 pointers to integers
f) int (*a)[10]; // A pointer to an array of 10 integers
g) int (*a)(int); // A pointer to a function a that takes an integer argument
and returns an integer
h) int (*a[10])(int); // An array of 10 pointers to functions that take an int
eger argument and return an integer
人們經常聲稱這裡有幾個問題是那種要翻一下書才能回答的問題,我同意這種說法。當我
寫這篇文章時,為了確定語法的正確性,我的確查了一下書。
但是當我被面試的時候,我期望被問到這個問題(或者相近的問題)。因為在被面試的這
段時間裡,我確定我知道這個問題的答案。應試者如果不知道
所有的答案(或至少大部分答案),那麼也就沒有為這次面試做準備,如果該面試者沒有
為這次面試做準備,那麼他又能為什麼出準備呢?
Static
6. 關鍵字static的作用是什麼?
這個簡單的問題很少有人能回答完全。在C語言中,關鍵字static有三個明顯的作用:
1). 在函式體,一個被宣告為靜態的變數在這一函式被呼叫過程中維持其值不變。
2). 在模組內(但在函式體外),一個被宣告為靜態的變數可以被模組內所用函式訪問,
但不能被模組外其它函式訪問。它是一個本地的全域性變數。
3). 在模組內,一個被宣告為靜態的函式只可被這一模組內的其它函式呼叫。那就是,這
個函式被限制在宣告它的模組的本地範圍內使用。
大多數應試者能正確回答第一部分,一部分能正確回答第二部分,同是很少的人能懂得第
三部分。這是一個應試者的嚴重的缺點,因為他顯然不懂得本地化資料和程式碼範圍的好處
和重要性。
Const
7.關鍵字const是什麼含意?
我只要一聽到被面試者說:“const意味著常數”,我就知道我正在和一個業餘者打交道。
去年Dan Saks已經在他的文章裡完全概括了const的所有用法,因此ESP(譯者:Embedded
Systems Programming)的每一位讀者應該非常熟悉const能做什麼和不能做什麼.如果你從
沒有讀到那篇文章,只要能說出const意味著“只讀”就可以了。儘管這個答案不是完全的
答案,但我接受它作為一個正確的答案。(如果你想知道更詳細的答案,仔細讀一下Saks
的文章吧。)如果應試者能正確回答這個問題,我將問他一個附加的問題:下面的宣告都
是什麼意思?
const int a;
int const a;
const int *a;
int * const a;
int const * a const;
前兩個的作用是一樣,a是一個常整型數。第三個意味著a是一個指向常整型數的指標(也
就是,整型數是不可修改的,但指標可以)。第四個意思a是一個指向整型數的常指標(也
就是說,指標指向的整型數是可以修改的,但指標是不可修改的)。最後一個意味著a是一
個指向常整型數的常指標(也就是說,指標指向的整型數是不可修改的,同時指標也是不
可修改的)。如果應試者能正確回答這些問題,那麼他就給我留下了一個好印象。順帶提
一句,也許你可能會問,即使不用關鍵字const,也還是能很容易寫出功能正確的程式,那
麼我為什麼還要如此看重關鍵字const呢?我也如下的幾下理由:
1). 關鍵字const的作用是為給讀你程式碼的人傳達非常有用的資訊,實際上,宣告一個引數
為常量是為了告訴了使用者這個引數的應用目的。如果你曾花很多時間清理其它人留下的垃
圾,你就會很快學會感謝這點多餘的資訊。(當然,懂得用const的程式設計師很少會留下的垃
圾讓別人來清理的。)
2). 通過給優化器一些附加的資訊,使用關鍵字const也許能產生更緊湊的程式碼。
3). 合理地使用關鍵字const可以使編譯器很自然地保護那些不希望被改變的引數,防止其
被無意的程式碼修改。簡而言之,這樣可以減少bug的出現。
Volatile
8. 關鍵字volatile有什麼含意 並給出三個不同的例子。
一個定義為volatile的變數是說這變數可能會被意想不到地改變,這樣,編譯器就不會去
假設這個變數的值了。精確地說就是,優化器在用到這個變數時必須每次都小心地重新讀
取這個變數的值,而不是使用儲存在暫存器裡的備份。下面是volatile變數的幾個例子:
1). 並行裝置的硬體暫存器(如:狀態暫存器)
2). 一箇中斷服務子程式中會訪問到的非自動變數(Non-automatic variables)
3). 多執行緒應用中被幾個任務共享的變數
回答不出這個問題的人是不會被僱傭的。我認為這是區分C程式設計師和嵌入式系統程式設計師的最
基本的問題。嵌入式系統程式設計師經常同硬體、中斷、RTOS等等打交道,所用這些都要求vo
latile變數。不懂得volatile內容將會帶來災難。
假設被面試者正確地回答了這是問題(嗯,懷疑這否會是這樣),我將稍微深究一下,看
一下這傢伙是不是直正懂得volatile完全的重要性。
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;
}
位操作(Bit manipulation)
9. 嵌入式系統總是要使用者對變數或暫存器進行位操作。給定一個整型變數a,寫兩段程式碼
,第一個設定a的bit 3,第二個清除a 的bit 3。在以上兩個操作中,要保持其它位不變。
對這個問題有三種基本的反應
1). 不知道如何下手。該被面者從沒做過任何嵌入式系統的工作。
2). 用bit fields。Bit fields是被扔到C語言死角的東西,它保證你的程式碼在不同編譯器
之間是不可移植的,同時也保證了的你的程式碼是不可重用的。我最近不幸看到Infineon為
其較複雜的通訊晶片寫的驅動程式,它用到了bit fields因此完全對我無用,因為我的編
譯器用其它的方式來實現bit fields的。從道德講:永遠不要讓一個非嵌入式的傢伙粘實
際硬體的邊。
3). 用 #defines 和 bit masks 操作。這是一個有極高可移植性的方法,是應該被用到的
方法。最佳的解決方案如下:
#define BIT3 (0x1 < <3)
static int a;
void set_bit3(void)
{
a |= BIT3;
}
void clear_bit3(void)
{
a &= ~BIT3;
}
一些人喜歡為設定和清除值而定義一個掩碼同時定義一些說明常數,這也是可以接受的。
我希望看到幾個要點:說明常數、|=和&=~操作。
訪問固定的記憶體位置(Accessing fixed memory locations)
10. 嵌入式系統經常具有要求程式設計師去訪問某特定的記憶體位置的特點。在某工程中,要求
設定一絕對地址為0x67a9的整型變數的值為0xaa66。編譯器是一個純粹的ANSI編譯器。寫
程式碼去完成這一任務。
這一問題測試你是否知道為了訪問一絕對地址把一個整型數強制轉換(typecast)為一指
針是合法的。這一問題的實現方式隨著個人風格不同而不同。典型的類似程式碼如下:
int *ptr;
ptr = (int *)0x67a9;
*ptr = 0xaa55;
一個較晦澀的方法是:
*(int * const)(0x67a9) = 0xaa55;
即使你的品味更接近第二種方案,但我建議你在面試時使用第一種方案。
中斷(Interrupts)
11. 中斷是嵌入式系統中重要的組成部分,這導致了很多編譯開發商提供一種擴充套件—讓標
準C支援中斷。具代表事實是,產生了一個新的關鍵字__interrupt。下面的程式碼就使用了
__interrupt關鍵字去定義了一箇中斷服務子程式(ISR),請評論一下這段程式碼的。
__interrupt double compute_area (double radius)
{
double area = PI * radius * radius;
printf(" Area = %f", area);
return area;
}
這個函式有太多的錯誤了,以至讓人不知從何說起了:
1). ISR 不能返回一個值。如果你不懂這個,那麼你不會被僱用的。
2). ISR 不能傳遞引數。如果你沒有看到這一點,你被僱用的機會等同第一項。
3). 在許多的處理器/編譯器中,浮點一般都是不可重入的。有些處理器/編譯器需要讓額
處的暫存器入棧,有些處理器/編譯器就是不允許在ISR中做浮點運算。此外,ISR應該是短
而有效率的,在ISR中做浮點運算是不明智的。
4). 與第三點一脈相承,printf()經常有重入和效能上的問題。如果你丟掉了第三和第四
點,我不會太為難你的。不用說,如果你能得到後兩點,那麼你的被僱用前景越來越光明
了。
程式碼例子(Code examples)
12 . 下面的程式碼輸出是什麼,為什麼?
void foo(void)
{
unsigned int a = 6;
int b = -20;
(a+b > 6) puts("> 6") : puts(" <= 6");
}
這個問題測試你是否懂得C語言中的整數自動轉換原則,我發現有些開發者懂得極少這些東
西。不管如何,這無符號整型問題的答案是輸出是“>6”。原因是當表示式中存在有符號
型別和無符號型別時所有的運算元都自動轉換為無符號型別。因此-20變成了一個非常大
的正整數,所以該表示式計算出的結果大於6。這一點對於應當頻繁用到無符號資料型別的
嵌入式系統來說是豐常重要的。如果你答錯了這個問題,你也就到了得不到這份工作的邊
緣。
13. 評價下面的程式碼片斷:
unsigned int zero = 0;
unsigned int compzero = 0xFFFF;
/*1's complement of zero */
對於一個int型不是16位的處理器為說,上面的程式碼是不正確的。應編寫如下:
unsigned int compzero = ~0;
這一問題真正能揭露出應試者是否懂得處理器字長的重要性。在我的經驗裡,好的嵌入式
程式設計師非常準確地明白硬體的細節和它的侷限,然而PC機程式往往把硬體作為一個無法避
免的煩惱。
到了這個階段,應試者或者完全垂頭喪氣了或者信心滿滿志在必得。如果顯然應試者不是
很好,那麼這個測試就在這裡結束了。但如果顯然應試者做得不錯,那麼我就扔出下面的
追加問題,這些問題是比較難的,我想僅僅非常優秀的應試者能做得不錯。提出這些問題
,我希望更多看到應試者應付問題的方法,而不是答案。不管如何,你就當是這個娛樂吧
…
動態記憶體分配(Dynamic memory allocation)
14. 儘管不像非嵌入式計算機那麼常見,嵌入式系統還是有從堆(heap)中動態分配記憶體
的過程的。那麼嵌入式系統中,動態分配記憶體可能發生的問題是什麼?
這裡,我期望應試者能提到記憶體碎片,碎片收集的問題,變數的持行時間等等。這個主題
已經在ESP雜誌中被廣泛地討論過了(主要是 P.J. Plauger, 他的解釋遠遠超過我這裡能
提到的任何解釋),所有回過頭看一下這些雜誌吧!讓應試者進入一種虛假的安全感覺後
,我拿出這麼一個小節目:下面的程式碼片段的輸出是什麼,為什麼?
char *ptr;
if ((ptr = (char *)malloc(0)) == NULL)
puts("Got a null pointer");
else
puts("Got a valid pointer");
這是一個有趣的問題。最近在我的一個同事不經意把0值傳給了函式malloc,得到了一個合
法的指標之後,我才想到這個問題。這就是上面的程式碼,該程式碼的輸出是“Got a valid
pointer”。我用這個來開始討論這樣的一問題,看看被面試者是否想到庫例程這樣做是正
確。得到正確的答案固然重要,但解決問題的方法和你做決定的基本原理更重要些。
Typedef
15. Typedef 在C語言中頻繁用以宣告一個已經存在的資料型別的同義字。也可以用預處理
器做類似的事。例如,思考一下下面的例子:
#define dPS struct s *
typedef struct s * tPS;
以上兩種情況的意圖都是要定義dPS 和 tPS 作為一個指向結構s指標。哪種方法更好呢?
(如果有的話)為什麼?
這是一個非常微妙的問題,任何人答對這個問題(正當的原因)是應當被恭喜的。答案是
:typedef更好。思考下面的例子:
dPS p1,p2;
tPS p3,p4;
第一個擴充套件為
struct s * p1, p2;
上面的程式碼定義p1為一個指向結構的指,p2為一個實際的結構,這也許不是你想要的。第
二個例子正確地定義了p3 和p4 兩個指標。
晦澀的語法
16. C語言同意一些令人震驚的結構,下面的結構是合法的嗎,如果是它做些什麼?
int a = 5, b = 7, c;
c = a+++b;
這個問題將做為這個測驗的一個愉快的結尾。不管你相不相信,上面的例子是完全合乎語
法的。問題是編譯器如何處理它?水平不高的編譯作者實際上會爭論這個問題,根據最處
理原則,編譯器應當能處理儘可能所有合法的用法。因此,上面的程式碼被處理成:
c = a++ + b;
因此, 這段程式碼持行後a = 6, b = 7, c = 12。
如果你知道答案,或猜出正確答案,做得好。如果你不知道答案,我也不把這個當作問題
。我發現這個問題的最大好處是:這是一個關於程式碼編寫風格,程式碼的可讀性,程式碼的可修
改性。