※ 引述《simonho (天下)》之铭言： : A 'C' Test: The 0x10 Best Questions for Would-be Embedded Programmers : http://www.embedded.com/2000/0005/0005feat2.htm : 这篇蛮值得嵌入式新手看 网路上查到的中文版本 作者不详 有些我到现在还是没用到的机会..... 个人推荐6、9、12题 C语言测试是徵选嵌入式系统程式员过程中必须而且有效的方法。 这些年我既参加也组织了许多这种测试， 在这过程中我意识到这些测试能为面试者和被面试者提供许多有用讯息， 此外，撇开面试的压力不谈，这种测试也是相当有趣的。 从被面试者的角度来讲，你能了解许多关於出题者或监考者的情况。 这个测试只是出题者为显示其对ANSI标准细节的知识而不是技术技巧而设计吗 ? 这个愚蠢的问题吗 ?如要你答出某个字符的ASCII值。 这些问题着重考察你的系统调用(invoke)和记忆体分发策略方面的能力吗 ? 这反映出出题者也许花时间在微处理机上而不在嵌入式系统上。 如果上述任何问题的答案是“是”的话， 那麽我知道我得认真考虑我是否应该去做这份工作。 从面试者的角度来讲，一个测试也许能从多方面揭示应试者的素质︰ 最基本的，你能了解应试者C语言的水准。 不管怎麽样，看一下这人如何回答他不会的问题也是满有趣。 应试者是以好的直觉做出明智的选择，还是只是瞎蒙呢 ? 当应试者在某个问题上卡住时是找藉口呢，还是表现出对问题的真正的好奇心， 把这看成学习的机会呢 ?我发现这些讯息与他们的测试成绩一样有用。 有了这些想法，我决定出一些真正针对嵌入式系统的考题， 希望这些令人头痛的考题能给正在谋职的人一点帮住。 这些问题都是我这些年实际碰到的。其中有些题很难，但它们应该都能给你一点启发。 这个测试适用於不同水准的应试者，大多数初级水准的应试者的成绩会很差， 经验丰富的程式员应该有很好的成绩。 为了让你能自己决定某些问题的偏好，每个问题没有分发分数， 如果选择这些考题为你所用，请自行按你的意思分发分数。 ============================================== 预处理器 (Preprocessor) 1.用预处理指令#define 声明一个常数，用以表示1年中有多少秒 (忽略闰年问题) #define SECONDS_PER_YEAR (60 * 60 * 24 * 365)UL 我在这想看到几件事情︰ a #define 语法的基本知识 (例如︰不能以分号结束，括号的使用，等等) b 懂得预处理器将为你计算常数表达式的值，因此， 直接写出你是如何计算一年中有多少秒会比直接计算出实际的值更清晰。 c 意识到这个表达式将使一个16位元的机器产生整数型溢位 - 因此要用到长整型符号L， 告诉编译器这个常数是的长整型数。 d 如果你在你的表达式中用到UL (表示无符号长整型) ，那麽你有了一个好的起点。记住，第一印象很重要。 2.写一个“标准”巨集MIN ，这个巨集输入两个参数并返回较小的一个。 #define MIN(A，B) ( (A) <= (B) ? (A) : (B)) 这个测试是为下面的目的而设的︰ a 标识#define在巨集中应用的基本知识。这是很重要的，因为在行内(inline)运算子变为标准C的一部分之前，巨集是方便产生行内程式码的唯一方法，对於嵌入式系统来说，为了能达到要求的性能，行内程式码经常是必须的方法。 b 三元运算子的知识。这个运算子存在C语言中的原因是它使得编译器能产生 比if-then-else更优化的程式码，了解这个用法是很重要的。 c 懂得在巨集中小心地把参数用括号括起来 我也用这个问题开始讨论巨集的副作用，例如︰当你写下面的程式码时会发生什麽事 ? least = MIN(*p++, b); 3.预处理器标识#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 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 function 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 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]; // 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 integer argument and return an integer 人们经常声称这里有几个问题是那种要翻一下书才能回答的问题，我同意这种说法。 当我写这篇文章时，为了确定语法的正确性，我的确查了一下书。 但是当我被面试的时候，我期望被问到这个问题 (或者相近的问题)。 因为在被面试的这段时间里，我确定我知道这个问题的答案。 应试者如果不知道所有的答案 (或至少大部分答案)，那麽也就没有为这次面试做准备， 如果该面试者没有为这次面试做准备，那麽他又能为什麽出准备呢 ? ============================================== Static 6.关键字static的作用是什麽 ? 这个简单的问题很少有人能回答完全。在C语言中，关键字static有三个明显的作用︰ a 在函数本体内(in Function Block)，一个被宣告为静态的变数， 在这一函数被呼叫过程中维持其值不变。 b 在一个Block(ie. {...} )内 (但在函数体外)， 一个被宣告为静态的变数可以被Block内所有的函数存取， 但不能被Block外的其它函数存取。它是一个本地的全局变量。 c 在Block内，一个被声明为静态的函数，只可被这一Block内的其它函数呼叫。 也就是这个函数被限制在宣告它的Block的本地范围内使用。 大多数应试者能正确回答第一部分，一部分能正确回答第二部分， 同是很少的人能懂得第三部分。这是一个应试者的严重的缺点， 因为他显然不懂得本地化资料和程式码范围的好处和重要性。 ============================================== 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呢 ? 我有以下的几个理由︰ a 关键字const的作用是给读你程式码的人传达非常有用的讯息， 实际上，宣告一个参数为常量是为了告诉了程式员这个参数的应用目的。 如果你曾花很多时间清理其它人留下的垃圾(记忆体回收)， 你就会很快学会感谢这点多余的讯息。 (当然，懂得用const的程式员很少会留下的垃圾让别人来清理的) b 透过给优化器一些附加的讯息，使用关键字const也许能产生更紧凑的程式码。 c 合理地使用关键字const可以使编译器很自然地保护那些不希望被改变的参数， 防止其被无意的程式码修改。简而言之，这样可以减少bug的出现。 ============================================== Volatile(易变的) 8. 关键字volatile有什麽含意? 并给出三个不同的例子。 一个定义为volatile的变量是说这变量可能会被意想不到地改变， 这样，编译器就不会去假设这个变量的值了。 精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值， 而不是使用保存在暂存器里的备份。 下面是volatile变量的几个例子︰ a 并行设备的硬体暂存器 (如︰状态暂存器) b 一个中断服务次程序中会访问到的非自动变数(Non-automatic variables) c 多执行绪应用中被几个任务(task)共享的变数 回答不出这个问题的人是不会被雇佣的。 (os:还好我不是让这个人面试.....) 我认为这是区分C程式员和嵌入式系统程式员的最基本的问题。 搞嵌入式的家伙们经常同硬体、中断、RTOS等等打交道， 所有这些都要求用到volatile变量。不懂得volatile的内容将会带来灾难。 假设被面试者正确地回答了这是问题 (嗯，怀疑是否会是这样)， 我将稍微深究一下，看一下这家伙是不是直正懂得volatile完全的重要性。 Q 一个参数可以同时是const也是volatile吗? 解释为什麽。 Q 一个指标可以是volatile 吗? 解释为什麽。 Q 下面的函数有什麽错误︰ int square(volatile int *ptr) { return *ptr * *ptr; } 下面是答案︰ A 是的。举的例子是"只读的状态暂存器"。它是volatile因为它可能被意想不到地改变。它是const因为程式不应该试图去修改它。 A 是的。尽管这并不很常见。举的例子是当一个执行中的次程序修该一个指向一个buffer 的指标时。 A 这段程式码有点变态。这段程式码的目的是用来返指标*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 不能返回一个值。如果你不懂这个，那麽你不会被雇用的。 (os : 囧) ~ ISR 不能传递参数。如果你没有看到这一点，你被雇用的机会等同第一项。 ~ 在许多的处理器/编译器中，浮点一般都是不可重入的。 有些处理器/编译器需要让多余的暂存器入栈(PUSH入堆叠)， 有些处理器/编译器就是不允许在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语言中的整数自动转型原则， 我发现极少有开发者懂得这些东西。不管如何，这unsigned int的答案是输出是 "> 6"。 原因是当表达式中存在有符号类型和无符号类型时所有的操作数都自动转换为无符号类型 (unsigned)。因此-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) else puts("Got a null pointer"); 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 如果你知道答案，或猜出正确答案，做得好。如果你不知道答案， 我也不把这个当作问题。 我发现这个问题的最大好处是这是一个关於程式码编写风格， 程式码的可读性，程式码的可修改性的好的话题。 ============================================== 好了，伙计们，你现下已经做完所有的测试了。这就是我出的C语言测试题， 我怀着愉快的心情写完它，希望你以同样的心情读完它。如果是认为这是一个好的测试， 那麽尽量都用到你的谋职的过程中去吧。天知道也许过个一两年，我就不做现下的工作，也需要找一个。 Nigel Jones 是一个顾问，现下住在Maryland。他很高兴能收到读者的来信， 他的email位址是: [email protected] 。 ============================================== --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.229.112.48