紅色是我標註的重點，綠色是自己新增的內容



C語言測試是招聘嵌入式系統程式設計師過程中必須而且有效的方法。這些年，我既參加也組織了許多這種測試，在這過程中我意識到這些測試能為帶面試者和被面試者提供許多有用資訊，此外，撇開面試的壓力不談，這種測試也是相當有趣的。

從被面試者的角度來講，你能瞭解許多關於出題者或監考者的情況。這個測試只是出題者為顯示其對ANSI標準細節的知識而不是技術技巧而設計嗎？這個愚蠢的問題嗎？如要你答出某個字元的ASCII值。這些問題著重考察你的系統呼叫和記憶體分配策略方面的能力嗎？這標誌著出題者也許花時間在微機上而不上在嵌入式系統上。如果上述任何問題的答案是"是"的話，那麼我知道我得認真考慮我是否應該去做這份工作。

從面試者的角度來講，一個測試也許能從多方面揭示應試者的素質：最基本的，你能瞭解應試者C語言的水平。不管怎麼樣，看一下這人如何回答他不會的問題也是滿有趣。應試者是以好的直覺做出明智的選擇，還是隻是瞎蒙呢？當應試者在某個問題上卡住時是找藉口呢，還是表現出對問題的真正的好奇心，把這看成學習的機會呢？我發現這些資訊與他們的測試成績一樣有用。

有了這些想法，我決定出一些真正針對嵌入式系統的考題，希望這些令人頭痛的考題能給正在找工作的人一點幫住。這些問題都是我這些年實際碰到的。其中有些題很難，但它們應該都能給你一點啟迪。這個測試適於不同水平的應試者，大多數初級水平的應試者的成績會很差，經驗豐富的程式設計師應該有很好的成績。為了讓你能自己決定某些問題的偏好，每個問題沒有分配分數，如果選擇這些考題為你所用，請自行按你的意思分配分數。

前處理器（Preprocessor）
1 . 用預處理指令#define 宣告一個常數，用以表明1年中有多少秒（忽略閏年問題）

#define SECONDS_PER_YEAR (60 * 60 * 24 * 365)UL
我在這想看到幾件事情：
?; #define 語法的基本知識（例如：不能以分號結束，括號的使用，等等）
?; 懂得前處理器將為你計算常數表示式的值，因此，直接寫出你是如何計算一年中有多少秒而不是計算出實際的值，是更清晰而沒有代價的。
?; 意識到這個表示式將使一個16位機的整型數溢位-因此要用到長整型符號L,告訴編譯器這個常數是的長整型數。
?; 如果你在你的表示式中用到

2 . 寫一個"標準"巨集MIN ，這個巨集輸入兩個引數並返回較小的一個。

#define MIN(A,B) ( (A) <= (B) ? (A) : (B) )

這個測試是為下面的目的而設的：
?; 標識#define在巨集中應用的基本知識。這是很重要的，因為直到嵌入(inline)操作符變為標準C的一部分，巨集是方便產生嵌入程式碼的唯一方法，對於嵌入式系統來說，為了能達到要求的效能，嵌入程式碼經常是必須的方法。
?; 三重條件操作符的知識。這個操作符存在C語言中的原因是它使得編譯器能產生比if-then-else更優化的程式碼，瞭解這個用法是很重要的。
?; 懂得在巨集中小心地把引數用括號括起來
?; 我也用這個問題開始討論巨集的副作用，例如：當你寫下面的程式碼時會發生什麼事？least = MIN(*p++, b);

3. 前處理器標識#error的目的是什麼？
#error 停止編譯並顯示錯誤資訊如果你不知道答案，請看參考文獻1。這問題對區分一個正常的夥計和一個書呆子是很有用的。只有書呆子才會讀C語言課本的附錄去找出象這種問題的答案。當然如果你不是在找一個書呆子，那麼應試者最好希望自己不要知道答案。死迴圈（Infinite loops）

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 intege）r
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 function that takes an integer as anargument and returns an integer）
h)一個有10個指標的陣列，該指標指向一個函式，該函式有一個整型引數並返回一個整型數（ An array of ten pointers to functions that take aninteger argument and return 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]; // Anarray of 10 pointers to integers
等價於int *(a[10]);

f) int (*a)[10]; // Apointer to an array of 10 integers
g) int (*max_function)(int a); // A pointer to afunction 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 integer argument andreturn an integer

人們經常聲稱這裡有幾個問題是那種要翻一下書才能回答的問題，我同意這種說法。當我寫這篇文章時，為了確定語法的正確性，我的確查了一下書。但是當我被面試的時候，我期望被問到這個問題（或者相近的問題）。因為在被面試的這段時間裡，我確定我知道這個問題的答案。應試者如果不知道所有的答案（或至少大部分答案），那麼也就沒有為這次面試做準備，如果該面試者沒有為這次面試做準備，那麼他又能為什麼出準備呢？

6. 關鍵字static的作用是什麼？在C語言中，關鍵字static有三個明顯的作用：一旦宣告為靜態變數,在編譯時刻開始永遠存在,不受作用域範圍約束,但是如果是區域性靜態變數,則此靜態變數只能在區域性作用域內使用,超出範圍不能使用,但是它確實還佔用記憶體,還存在.
?; 在模組內（但在函式體外），一個被宣告為靜態的變數可以被模組內所用函式訪問，但不能被模組外其它函式訪問。它是一個本地的全域性變數。
?; 在模組內，一個被宣告為靜態的函式只可被這一模組內的其它函式呼叫。那就是，這個函式被限制在宣告它的模組的本地範圍內使用。大多數應試者能正確回答第一部分，一部分能正確回答第二部分，很少人能懂得第三部分。這是一個應試者的嚴重的缺點，因為他顯然不懂得本地化資料和程式碼範圍的好處和重要性。

7．關鍵字const有什麼含意？總結：1）只讀。2）使用關鍵字const也許能產生更緊湊的程式碼。3）使編譯器很自然地保護那些不希望被改變的引數，防止其被無意的程式碼修改。

我只要一聽到被面試者說："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呢？我也如下的幾下理由：
?; 關鍵字const的作用是為給讀你程式碼的人傳達非常有用的資訊，實際上，宣告一個引數為常量是為了告訴了使用者這個引數的應用目的。如果你曾花很多時間清理其它人留下的垃圾，你就會很快學會感謝這點多餘的資訊。（當然，懂得用const的程式設計師很少會留下的垃圾讓別人來清理的。）
?; 通過給優化器一些附加的資訊，使用關鍵字const也許能產生更緊湊的程式碼。
?; 合理地使用關鍵字const可以使編譯器很自然地保護那些不希望被改變的引數，防止其被無意的程式碼修改。簡而言之，這樣可以減少bug的出現。

8. 關鍵字volatile有什麼含意?並給出三個不同的例子。一個定義為volatile的變數是說這變數可能會被意想不到地改變，這樣，編譯器就不會去假設這個變數的值了。精確地說就是，優化器在用到這個變數時必須每次都小心地重新讀取這個變數的值，而不是使用儲存在暫存器裡的備份。

下面是volatile變數的幾個例子：
?; 並行裝置的硬體暫存器（如：狀態暫存器）
?; 一個中斷服務子程式中會訪問到的非自動變數(Non-automatic variables)
?; 多執行緒應用中被幾個任務共享的變數

要想清楚自動和非自動變數，得先說一下儲存類的概念，在說儲存類之前還要清楚作用域、連結、儲存時期的概念：

作用域：變數等識別符號的作用範圍

程式碼塊作用域：大括號的開始到結束

函式原型作用域：函式原型中使用的變數名

檔案作用域：函式之外定義的

連結：

外部連結：檔案作用域的變數有內部和外部連結，可在多個檔案中使用的是外部連結

內部連結：只在定義檔案中使用額是內部連結，區分內部、外部連結主要看關鍵字static

空連結：具有程式碼塊作用域、函式原型作用域的變數有空連線，是私有的

儲存時期：

靜態儲存時期：在程式執行期間一直存在，檔案作用域的變數具有靜態儲存時期

自動儲存時期：程式碼塊作用域的變數一般情況下具有自動儲存期

這就可以說明儲存類了，共分6類:

自動、暫存器、具有外部連結的靜態、具有內部連結的靜態、空連線的靜態

自動變數：屬於自動儲存類的變數具有自動儲存時期、程式碼塊作用域、空連線

回答不出這個問題的人是不會被僱傭的。我認為這是區分C程式設計師和嵌入式系統程式設計師的最基本的問題。搞嵌入式的傢伙們經常同硬體、中斷、RTOS等等打交道，所有這些都要求用到volatile變數。不懂得volatile的內容將會帶來災難。假設被面試者正確地回答了這是問題（嗯，懷疑是否會是這樣），我將稍微深究一下，看一下這傢伙是不是直正懂得volatile完全的重要性。

?; 一個引數既可以是const還可以是volatile嗎？解釋為什麼。

?; 一個指標可以是volatile 嗎？解釋為什麼。

?; 下面的函式有什麼錯誤：int square(volatile int *ptr){return *ptr * *ptr;}

下面是答案：
?; 是的。一個例子是隻讀的狀態暫存器。它是volatile因為它可能被意想不到地改變。它是const因為程式不應該試圖去修改它。
?; 是的。儘管這並不很常見。一個例子是當一箇中斷服務子程式修改一個指向一個buffer的指標時。
?; 這段程式碼有點變態。這段程式碼的目的是用來返回指標*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。在以上兩個操作中，要保持其它位不變。

對這個問題有三種基本的反應
?; 不知道如何下手。該被面者從沒做過任何嵌入式系統的工作。
?; 用bit fields。Bit fields是被扔到C語言死角的東西，它保證你的程式碼在不同編譯器之間是不可移植的，同時也保證了的你的程式碼是不可重用的。我最近不幸看到Infineon為其較複雜的通訊晶片寫的驅動程式，它用到了bit fields因此完全對我無用，因為我的編譯器用其它的方式來實現bit fields的。從道德講：永遠不要讓一個非嵌入式的傢伙粘實際硬體的邊。

?; 用 #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的整型變數的值為0xaa55。

編譯器是一個純粹的ANSI編譯器。寫程式碼去完成這一任務。這一問題測試你是否知道為了訪問一絕對地址把一個整型數強制轉換（typecast）為一指標是合法的。這一問題的實現方式隨著個人風格不同而不同。典型的類似程式碼如下：

int *ptr;
ptr = (int *)0x67a9;
*ptr = 0xaa55;

A more obscure approach is:
一個較晦澀的方法是：
*(int * const)(0x67a9) = 0xaa55;

即使你的品味更接近第二種方案，但我建議你在面試時使用第一種方案。

中斷（Interrupts）
11. 中斷是嵌入式系統中重要的組成部分，這導致了很多編譯開發商提供一種擴充套件——讓標準C支援中斷。具代表事實是，產生了一個新的關鍵字__interrupt。下面的程式碼就使用了__interrupt關鍵字去定義了一箇中斷服務子程式(ISR)，請評論一下這段程式碼的。

__interrupt double compute_area (double radius)
{
double area = PI * radius * radius;
printf("/nArea = %f", area);
return area;
}

這個函式有太多的錯誤了，以至讓人不知從何說起了：
?; ISR 不能返回一個值。如果你不懂這個，那麼你不會被僱用的。
?; ISR 不能傳遞引數。如果你沒有看到這一點，你被僱用的機會等同第一項。
?; 在許多的處理器/編譯器中，浮點一般都是不可重入的。有些處理器/編譯器需要讓額處的暫存器入棧，有些處理器/編譯器就是不允許在ISR中做浮點運算。此外，ISR應該是短而有效率的，在ISR中做浮點運算是不明智的。
?; 與第三點一脈相承，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雜誌中被廣泛地討論過了（主要是