面试问题——嵌入式软开1

声明：本文为CSDN博主「翟羽嚄」的文章
原文链接：https://blog.csdn.net/mao_hui_fei/article/details/82710536

1. 用预处理指令#define 声明一个常数，用以表明1年中有多少秒（忽略闰年问题）

#define  SECONDS_PER_YEAR (60*60*24*365)UL

注意点：
（1）#define 语法的基本知识（不能以分号结束，括号的使用……）；
（2）UL（表示无符号长整型）；
（3）预处理器可以计算常量表达式的值；
（4）此常量表达式的值会使16位整数溢出，因此用到长整形符号L,告诉编译器这个常数是的长整型数。

2. 写一个“标准”宏MIN，这个宏输入两个参数并返回较小的一个。

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

注意点：
（1）标识#define在宏中应用的基本知识，嵌入(inline)操作符变为标准C的一部分，宏是方便产生嵌入代码的唯一方法，对于嵌入式系统来说，为了能达到要求的性能，嵌入代码经常是必须的方法。
（2）谨慎地将宏定义中的“参数”和整个宏 用括弧括起来。所以，严格地讲，下述解答：

#define MIN(A,B) (A) <= (B) ? (A) : (B)
#define MIN(A,B) (A <= B ? A : B )
都应判0分；

(3) 防止宏的副作用。

宏定义#define MIN(A,B) ((A) <= (B) ? (A) : (B))对MIN(*p++, b)的作用结果是：((*p++) <= (b) ? (*p++) : (b)) 这个表达式会产生副作用，指针p会作两次++自增操作。除此之外，另一个应该判0分的解答是：#define MIN(A,B) ((A) <= (B) ? (A) : (B));
这个解答在宏定义的后面加“;”，显示编写者对宏的概念模糊不清，只能被无情地判0分并被面试官淘汰。

3.预处理器标识#error的目的是什么？

大家想必对”断言“早有耳闻。在程序运行时，一旦遇到断言不成立，程序即会报错终止，以方便程序调试。#error与#if搭配使用可以认为是一个用于调试宏的编译期断言。

#include "stdio.h"  
int main(int argc, char* argv[])   
{  
#define CONST_NAME1 "CONST_NAME1"  
    printf("%s\n",CONST_NAME1);  
#undef CONST_NAME1  
  
#ifndef CONST_NAME1  
    #error No defined Constant Symbol CONST_NAME1  
#endif  
  
#define CONST_NAME2 "CONST_NAME2"  
    printf("%s\n",CONST_NAME2);    
    printf("%s\n",CONST_NAME2);      
    return 0;   
} 

在编译的时候输出如编译信息 ：
fatal error C1189: #error : No defined Constant Symbol CONST_NAME1

上面的代码会引发一个#error错误。综上，对含有复杂逻辑的宏代码使用#error是一个很好用的技巧。它确保了程序在关键点上确实按照程序员的想法被预处理，否则便无法编译通过。而且，重要的是：编译期行为不会引起任何运行期的资源开销。

4. 嵌入式系统中经常要用到无限循环，你怎么样用C编写死循环呢？

这个问题用几个解决方案。我首选的方案是：

while(1)

{

}

一些程序员更喜欢如下方案：

for( ; ; )

{

}
此方案不佳。

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 pointer to an integer
d) int a[10]; //An array of 10 integers
e) int *a[10]; //An array of 10 pointers to integers一个有10个指针的数组,指针数组
f) int (*a)(10); //一个指向有10个整型数数组的指针,数组指针
g) int (*a)(int); //指向函数的指针
h) int (*a(int))[10]; //一个有10个指针的数组，该指针指向一个函数

6. 关键字static的作用是什么？

在C语言中，关键字static有三个明显的作用：
1）.在函数体中，一个被声明为静态的变量在这一函数被调用的过程中维持其值不变；
2）.被声明的变量是一个本地的全局变量，只能被模块内的函数访问，不能被模块外的函数访问；
3）.在模块内，一个被声明为静态的函数只可以被这一模块内的其他函数调用，这个函数被限制在声明它的模块本地范围内使用。

7．关键字const是什么含义？

const意味着“只读”。
Const int a; //a是一个常整型数
int const a; //a是一个常整型数
*const int a; //a是一个指向常整型数的指针，整型数是不可以修改的，但指针可以
int * const a; //a是一个指向整型数的常指针，整型数是可以修改的，但指针不可以
int const * a const; //a是一个指向常整型数的常指针，整型数和指针都是不可以修改的

顺带提一句，也许你可能会问，即使不用关键字const，也还是能很容易写出功能正确的程序，那么我为什么还要如此看重关键字const呢？我也如下的几下理由：
1). 关键字const的作用是为给读你代码的人传达非常有用的信息，实际上，声明一个参数为常量是为了告诉了用户这个参数的应用目的。如果你曾花很多时间清理其它人留下的垃圾，你就会很快学会感谢这点多余的信息。（当然，懂得用const的程序员很少会留下的垃圾让别人来清理的。）
2). 通过给优化器一些附加的信息，使用关键字const也许能产生更紧凑的代码。
3). 合理地使用关键字const可以使编译器很自然地保护那些不希望被改变的参数，防止其被无意的代码修改。简而言之，这样可以减少bug的出现。

8. 关键字volatile有什么含义 并给出三个不同的例子。

一个定义为volatile的变量是说这变量可能会被意想不到地改变，这样，编译器就不会去假设这个变量的值了。精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。下面是volatile变量的几个例子：

1). 并行设备的硬件寄存器（如：状态寄存器）
2). 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3). 多线程应用中被几个任务共享的变量

回答不出这个问题的人是不会被雇佣的。我认为这是区分C程序员和嵌入式系统程序员的最基本的问题。嵌入式系统程序员经常同硬件、中断、RTOS等等打交道，所用这些都要求volatile变量。不懂得volatile内容将会带来灾难。
假设被面试者正确地回答了这是问题（嗯，怀疑这否会是这样），我将稍微深究一下，看一下这家伙是不是直正懂得volatile完全的重要性。

继续深入的问题：

1). 一个参数既可以是const还可以是volatile吗？解释为什么。

volatile修饰符告诉complier变量值可以以任何不被程序明确指明的方式（意想不到的方式）改变，最常见的例子就是外部端口的值，它的变化可以不用程序内的任何赋值语句就有可能改变的，这种变量就可以用volatile来修饰，complier不会优化掉它。

const修饰的变量在程序里面是不能改变的，但是可以被程序外的东西修改，就象上面说的外部端口的值，如果仅仅使用const，有可能complier会优化掉这些变量，加上volatile就万无一失了。

所以使用const volatile修饰变量表明变量值只由外部条件改变，不会出现其它的副作用。
例如const volatile char *port = (const volatile char *)0x00ff;

补充：
volatile 关键字是一种类型修饰符，用它声明的类型变量表示可以被某些编译器未知的因素更改，比如：操作系统、硬件或者其它线程等。遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。声明时语法：int volatile vInt; 当要求使用 volatile 声明的变量的值的时候，系统总是重新从它所在的内存读取数据，即使它前面的指令刚刚从该处读取过数据。

2). 一个指针可以是volatile 吗？解释为什么

是的。尽管这并不很常见。一个例子是当一个中服务子程序修该一个指向一个buffer的指针时。

3). 下面的函数有什么错误：
int square(volatile int *ptr)
{
return ptr *ptr;
}

答：这段代码的有个恶作剧。这段代码的目的是用来返指针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;
}

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 ;
}

10. 嵌入式系统经常具有要求程序员去访问某特定的内存位置的特点。在某工程中，要求设置一绝对地址为0x67a9的整型变量的值为0xaa66。编译器是一个纯粹的ANSI编译器。写代码去完成这一任务。

这一问题测试你是否知道为了访问一绝对地址把一个整型数强制转换（typecast）为一指针是合法的。这一问题的实现方式随着个人风格不同而不同。典型的类似代码如下：

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

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中做浮点运算是不明智的。另外中断服务程序是运行在内核态的（linux），内核通常是不支持浮点运算的。
4). 与第三点一脉相承，printf()经常有重入和性能上的问题。如果你丢掉了第三和第四点，我不会太为难你的。不用说，如果你能得到后两点，那么你的被雇用前景越来越光明了。

补充：
（转）可重入和不可重入
这种情况出现在多任务系统当中，在任务执行期间捕捉到信号并对其进行处理时，进程正在执行的指令序列就被信号处理程序临时中断。如果从信号处理程序返回，则继续执行进程断点处的正常指令序列，从重新恢复到断点重新执行的过程中，函数所依赖的环境没有发生改变，就说这个函数是可重入的，反之就是不可重入的。

12 . 下面的代码输出是什么，为什么？

void foo(void)
{
unsigned int a=6;
int b=-20;
(a+b>6) puts(">6"):puts("<=6");
}

无符号整型问题的答案是输出是“>6”。原因是当表达式中存在有符号类型和无符号类型时所有的操作数都自动转换为无符号类型。 因此-20变成了一个非常大的正整数，所以该表达式计算出的结果大于6。这一点对于应当频繁用到无符号数据类型的嵌入式系统来说是丰常重要的。如果你答错了这个问题，你也就到了得不到这份工作的边缘。

13. 评价下面的代码片断：

unsigned int zero = 0; 
unsigned int compzero = 0xFFFF; 
/*1's complement of zero */

unsigned int compzero = 0xFFFF;
只写了2个字节，16位的处理器系统才符合
32位的处理器系统可以写：
unsigned int compzero = 0xFFFFFFFF;

但unsigned int compzero = ~0;更安全，不管有多少位，直接取反，把所有的0都变成1了

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”。我用这个来开始讨论这样的一问题，看看被面试者是否想到库例程这样做是正确。得到正确的答案固然重要，但解决问题的方法和你做决定的基本原理更重要些。

补充：
在网上看到很多关于在嵌入式上是否使用动态内存及如何应对内存碎片的文章，我在进行嵌入式程序设计时也老在纠结这个问题。

内存碎片是由动态内存分配造成的，经过频繁的动态分配和释放后，在很多内存段上会出现两个已经被分配的内存快之间有一段很小的空闲内存的情况，这些小的空闲内存就是所为的碎片。

因为这些小内存并不连续而且小到无法或者很难再被利用起来，所以会导致本来系统有空闲的内存但应用程序确无法获取动态内存分配的情况。是否会出现这种情况取决于应用程序动态分配的动作，所以可以通过分析应用程序的动态内存分配的特点来判断系统长时间运行后是否会出现大量内存碎片。比如在很多网络协议栈里是使用动态内存的，里面的动态内存都有一个特点就是有一个很短的生命周期，这样内存块中就不可能形成固定的碎片，碎片的规模就不会累加增长。

因此在嵌入式程序设计中我觉得应该遵循的一个原则是根据所设计系统的特点来决定选择使用动态还是静态，一些可靠性要求非常高的使用静态的，而普通的业务可以使用动态来提高内存使用效率。静态可以保证可靠性但是需要考虑上限，内存使用效率低，而动态则是相反。

15. Typedef 在C语言中频繁用以声明一个已经存在的数据类型的同义字。也可以用预处理器做类似的事。例如，思考一下下面的例子：

#define dps struct s*
typedef struct s * tps;

以上两种情况的意图都是要定义dPS 和 tPS 作为一个指向结构s指针。哪种方法更好呢？（如果有的话）为什么？
这是一个非常微妙的问题，任何人答对这个问题（正当的原因）是应当被恭喜的。答案是：typedef更好。思考下面的例子：

dPS p1,p2; 
tPS p3,p4;

dps扩展为：

struct s * p1, p2;

上面的代码定义p1为一个指向结构的指，p2为一个实际的结构，这也许不是你想要的。第二个例子正确地定义了p3 和p4 两个指针。

16. C语言同意一些令人震惊的结构,下面的结构是合法的吗，如果是它做些什么？

Int a = 5, b = 7, c; 
c = a+++b;

上述代码是正确的，因为自加++优先级最高，所以上述例子合乎语法。执行结果为：
c=12,a=6,b=7