C语言循环条件内嵌函数：两种写法的性能与选择疑问

结论直接给：第二种把get_length(object)提前赋值给const变量的写法，确实比第一种更优——不管是性能、可读性还是代码安全性上，都有明显优势，完全值得多写那一行代码。

1. 性能优势实打实 #

编译器没法百分百确定get_length(object)的返回值在循环期间不会变——哪怕你明确知道它不会变，但编译器得考虑这个函数会不会依赖全局变量、会不会修改内部状态、或者object有没有可能在循环里被其他代码偷偷修改。这种情况下，编译器通常不敢贸然把函数调用移到循环外，会在每次循环迭代时都执行一遍get_length。

如果get_length是个需要计算的函数（比如遍历链表统计节点数），重复调用的性能浪费就很明显；哪怕它只是返回类的成员变量，显式把结果缓存起来，也能消除编译器的不确定性，避免不必要的指令生成。提前把结果存在const unsigned length里，只调用一次，直接杜绝了这种冗余消耗。

2. 可读性和维护性更友好 #

把循环的边界值单独抽成一个命名变量，别人看代码的时候一眼就知道循环是基于什么长度在跑，不用每次都去琢磨get_length(object)到底返回啥。而且const修饰符明明白白告诉所有后续维护者：这个值在循环里绝对不会变，别想着去修改它，减少了误操作的可能。

对比第一种写法，每次看循环条件都要反应一下这个函数的作用，第二种写法的意图更清晰，代码逻辑也更直观。

3. 避免潜在的逻辑bug #

假设后续代码迭代时，有人修改了get_length的实现，让它的返回值可能在循环期间发生变化（比如加入了动态调整长度的逻辑），第一种写法会直接受到影响，循环中途可能用了新的长度，导致越界、提前退出或者遍历不完整的问题。而第二种写法因为提前缓存了初始长度，整个循环都会用同一个值，保证了逻辑的一致性和安全性。

两种写法的代码示例 #

第一种写法：

for (unsigned i = 0; i < get_length(object); ++i) {
   ...
}

第二种写法：

const unsigned length = get_length(object);
for (unsigned i = 0; i < length; ++i) {
   ...
}

内容的提问来源于stack exchange，提问作者Sasha