GCC 是否对以下函数进行尾调用优化?
bool isEqual(Node *head1, Node *head2)
{
if(head1 == NULL || head2 == NULL)
return head1 == NULL && head2 == NULL;
return head1->data == head2->data && isEqual(head1->next, head2->next);
}
最佳答案
是的,至少我编译它的方式是这样。该函数的汇编代码是
isEqual(Node*, Node*):
test rdi, rdi
sete dl
test rsi, rsi
sete cl
mov eax, ecx
or al, dl
jne .L2
mov edx, DWORD PTR [rsi+8]
cmp DWORD PTR [rdi+8], edx
je .L5
rep ret
.L2:
mov eax, ecx
and eax, edx
ret
.L5:
mov rdi, QWORD PTR [rdi]
mov rsi, QWORD PTR [rsi]
test rdi, rdi
sete dl
test rsi, rsi
sete cl
mov eax, ecx
or al, dl
jne .L2
mov ecx, DWORD PTR [rsi+8]
cmp DWORD PTR [rdi+8], ecx
je .L5
rep ret
那显然是一个循环,并没有出现嵌套调用。
您应该验证它是否与您平台上的 GCC 版本和您的编译选项类似。
关于 bool AND 的 C 尾调用优化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26428100/