锐捷网络嵌入式 AI 面：constexpr、堆、ARP 与中断上下文

《面试题目》

1. const 和 constexpr 在语义上的本质差异是什么？为什么说 constexpr 强调的是编译期常量，而 const 只是只读？在哪些场景下会优先用 constexpr？
2. 用一个运行时才获取到的用户输入值去初始化 const int 变量，为什么这个变量不能用来作为数组的长度声明？
3. 最大堆和最小堆的核心区别是什么？各自的典型适用场景是什么？
4. 如果这 K 个元素是动态实时新增的，要怎么维护这个最小堆来保证始终能拿到当前最大的 K 个元素？
5. ARP 请求与响应的流程是怎样的？ARP 缓存表的存在解决了什么问题？
6. 客户端 IP 不在同一个广播域（跨三层网段通信）时，ARP 请求的目标 MAC 地址会是什么？
7. 无故 ARP 的核心作用是什么？
8. 中断上下文和进程上下文有什么区别？为什么中断处理函数中不能睡眠？顶半部与底半部是如何分工的？
9. 在中断处理流程中调用了可能触发睡眠的内存分配函数（比如 GFP_KERNEL 标志的 kmalloc），内核具体会出现什么问题？

《参考解析》

const 与 constexpr：只读 vs 编译期常量

const 表达的是「这个对象不能通过这个名字被修改」，它的初始值可以在运行期才确定（从用户输入或函数返回值得到），所以本质上是运行期概念。constexpr 表达的是「这个值在编译期就能算出来」，要求初始值必须是常量表达式，于是编译器可以把它直接折叠成立即数，也能用在数组长度、模板实参、static_assert 参数、case 标签这些必须编译期已知的位置。

所以 const int n = 用户输入; 不能当数组长度：n 虽然只读，但值要到运行时才知道，而数组长度必须是编译期常量（C99 的变长数组是 C 的特性，标准 C++ 不支持，编译器的扩展也只对栈上数组有效）。两个加分点：constexpr 函数在 C++14 起可以带循环、分支和局部变量，实参都是常量表达式时才在编译期求值，否则退化成普通函数；成员函数末尾的 const 是「不修改对象状态」，和 constexpr 完全是两回事。

堆与 Top-K 的动态维护

堆是用数组存的完全二叉树，父子下标满足固定的大小关系：最大堆的父节点不小于孩子，堆顶是全堆最大，最小堆反之。它提供 O(1) 取极值和 O(log n) 的插入、弹出，所以适合「只关心最大或最小的若干个」的场景——求 Top-K 最大用最小堆，求 Top-K 最小用最大堆，堆排序和优先队列底层也是它。实现上要能说清 sift-up/sift-down 的调整方向，以及用 priority_queue<int, vector<int>, greater<int>> 才得到最小堆（默认是最大堆，比较器方向最容易记反）。

动态新增的场景是这题的落点：维护一个容量为 K 的最小堆，新元素比堆顶大就替换堆顶并向下调整，否则直接丢弃。这样任意时刻堆里就是当前最大的 K 个，单次维护 O(log K)、空间 O(K)，不需要每次重排。对比：全排序 O(n log n)、快选平均 O(n) 但不支持流式增量，堆是流式 Top-K 的标准解。

ARP：请求广播、响应单播、缓存表省广播

同一广播域内主机只知道目标 IP，于是发一个目标 MAC 为全 F 的 ARP 请求（广播，报文里带上自己的 IP/MAC 与目标 IP）；网段内所有主机都会收到，只有 IP 匹配的那台单播回一个响应，带上自己的 MAC。拿到后写进 ARP 缓存表（有老化时间），后续通信直接查表——缓存表解决的就是「避免每次发包都广播一次」，把解析成本从每包一次降成一次加反复命中。

跨三层网段时，源主机按子网掩码发现目标 IP 不在本网段，会把包交给默认网关，所以 ARP 请求的目标 IP 是网关的 IP、拿到的是网关的 MAC，而不是最终目的主机的 MAC，这是高频追问点。无故 ARP（Gratuitous ARP）是主机主动广播「我的 IP 对应这个 MAC」：一是检测 IP 冲突（收到别人的回应就说明地址被占用），二是通告 MAC 变更（换网卡、主备切换、虚拟机迁移后让同网段立刻刷新缓存，缩短断流时间）。它同样常被用于 ARP 欺骗，所以生产网络里通常配合 DAI 之类的防护。

中断上下文为什么不能睡眠，GFP_KERNEL 会出什么事

进程上下文有 task_struct，能被调度器挂起和唤醒，所以可以睡眠等待；中断上下文没有对应的进程（current 只是恰好被打断的那个任务，并不属于它），调度器无法「挂起一个中断」，一旦在这里睡眠就没人能把它唤醒。因此中断处理函数、spin_lock 与关中断临界区里都不能调用可能睡眠的接口——kmalloc(GFP_KERNEL)、mutex_lock、msleep 都是典型禁区。

GFP_KERNEL 允许在内存紧张时回收页面、甚至触发直接回收或等待 IO，这些都可能睡眠。在中断上下文里用它，轻则打印 BUG: scheduling while atomic 并让该 CPU 的中断/抢占状态错乱，重则在内存紧张时找不到可回收路径而 oops 或 panic。正确做法是在中断里用 GFP_ATOMIC（不做回收、允许失败）并处理失败，或者把重活推到下半部。顶半部与底半部的分工也是同一个道理：顶半部只做最紧急的事（读寄存器、清中断标志、把数据塞进缓冲区），要求极短、不可睡眠；底半部做耗时处理，其中 softirq/tasklet 仍处于中断上下文同样不能睡眠，只有 workqueue 和 threaded IRQ 跑在内核线程里可以睡眠——能点出这层区别是加分项。

这类 AI 面怎么答

AI 面是在限定时间内口述答题，评分方式比人类面试官更「照点给分」：结论句放最前面，让应答里出现关键词（编译期常量、最小堆、网关的 MAC、只有进程上下文能睡眠），再展开原因和边界。四组题本身都是层层递进的结构（主问题到反例再到工程场景），按「是什么、为什么、什么时候不适用」三段答比一上来铺背景更容易拿分。这类面试没有追问互动，遇到不确定的点不要含糊带过，可以直接说出你知道的部分和边界（例如标准 C++ 不要求变长数组、这是编译器扩展），含糊比承认边界更容易失分。