有人可以解释这两个 for 循环之间的区别吗？

Question

int n = strlen(s)
for (int i = 0; i < n; i++)
{
printf("%c", s[i]);

}

for (int i = 0; i <strlen(s); i++)
{
printf("%c", s[i]);
}

我想问的是内存中发生了什么（引擎盖下）。 假设字符串长度为 4，将 4 分配给 n，这会使编译器更容易编译吗？ 在第二个代码中，编译器是否必须一遍又一遍地检查 s 的字符串长度是多少？ 第一个代码的重点是让编译器记住字符串长度，所以它不需要每次都检查它。 如果我的问题不够清楚，我很抱歉，告诉我如何改进将不胜感激。

Answer 1

在第二个代码中，编译器是否必须一遍又一遍地检查 s 的字符串长度是多少？

这是完全正确的。 每次迭代都会评估for循环的条件。 因此，您应该缓存长度（或任何其他在每次迭代中不会改变的结果，就此而言）。

在这种情况下，正如人们指出的那样，您可以更好地避免计算长度，因为无论如何您都在迭代字符串。

Answer 2

主要区别在于第一个循环将在每次迭代时调用strlen 。

int foo(const char *s)
{
    for (int i = 0; i <strlen(s); i++)
    {
        printf("%c", s[i]); 
    }
    return 0;
}

int bar(const char *s)
{
    int n = strlen(s);
    for (int i = 0; i < n; i++)
    {
        printf("%c", s[i]);
    }
    return n;
}

和结果代码：

foo:
        push    rbp
        mov     rbp, rdi
        push    rbx
        xor     ebx, ebx
        sub     rsp, 8
        jmp     .L2
.L3:
        movsx   edi, BYTE PTR [rbp+0+rbx]
        add     rbx, 1
        call    putchar
.L2:
        mov     rdi, rbp
        call    strlen
        cmp     rax, rbx
        ja      .L3
        add     rsp, 8
        xor     eax, eax
        pop     rbx
        pop     rbp
        ret
bar:
        push    r12
        push    rbp
        push    rbx
        mov     rbx, rdi
        call    strlen
        mov     r12, rax
        test    eax, eax
        jle     .L6
        lea     eax, [rax-1]
        lea     rbp, [rbx+1+rax]
.L8:
        movsx   edi, BYTE PTR [rbx]
        add     rbx, 1
        call    putchar
        cmp     rbx, rbp
        jne     .L8
.L6:
        mov     eax, r12d
        pop     rbx
        pop     rbp
        pop     r12
        ret

(gcc -O3) https://godbolt.org/z/1oh991