当我使用 g++ -Winline xx.cpp 编译 cpp 程序时，我没有收到关于不正确的内联声明的警告。
我的代码是
#include <iostream>
inline int test(int n)
{
int res=0;
for(int i=0;i<n;++i)
res+=i;
return res;
}
int main()
{
int n=100;
int mul=test(n);
std::cout<<mul<<std::endl;
return 0;
}
main的汇编代码是:
(gdb) disassemble main
Dump of assembler code for function main():
0x080485f4 <+0>: push %ebp
0x080485f5 <+1>: mov %esp,%ebp
0x080485f7 <+3>: and $0xfffffff0,%esp
0x080485fa <+6>: sub $0x20,%esp
0x080485fd <+9>: movl $0x64,0x18(%esp)
0x08048605 <+17>: mov 0x18(%esp),%eax
0x08048609 <+21>: mov %eax,(%esp)
0x0804860c <+24>: call 0x804869c <test(int)>
0x08048611 <+29>: mov %eax,0x1c(%esp)
0x08048615 <+33>: mov 0x1c(%esp),%eax
0x08048619 <+37>: mov %eax,0x4(%esp)
0x0804861d <+41>: movl $0x804a040,(%esp)
0x08048624 <+48>: call 0x80484c0 <_ZNSolsEi@plt>
0x08048629 <+53>: movl $0x8048530,0x4(%esp)
0x08048631 <+61>: mov %eax,(%esp)
0x08048634 <+64>: call 0x8048520 <_ZNSolsEPFRSoS_E@plt>
0x08048639 <+69>: mov $0x0,%eax
0x0804863e <+74>: leave
0x0804863f <+75>: ret
End of assembler dump.
很明显，测试不是内联的，但我想知道为什么没有关于它的警告。
最佳答案
正如评论(abyss.7)中所述，除非启用优化(甚至 -O1 就足够了)，否则不会进行内联。但是，您当前的代码将得到进一步优化(gcc 可以静态计算结果)，因此您不会看到这一点。
相反，考虑一个稍微不同的代码:
#include <iostream>
int delta = 1;
inline int test(int n)
{
int res = 0;
for(int i=0;i<n;++i)
res *= delta;
return res;
}
int main()
{
int n=100;
int mul=test(n);
std::cout<<mul<<std::endl;
return 0;
}
delta 被全局声明的事实阻止了编译器在这个级别对其进行静态优化(因为它可能被另一个函数更改)。将
+= 更改为 *= 可防止它乘以 n 并添加一次，因此您仍然会得到循环。用 gcc 4.2.2(我能找到的最旧的)编译，没有优化，你得到 -
0000000000400a64 <main>:
400a64: 55 push %rbp
400a65: 48 89 e5 mov %rsp,%rbp
400a68: 48 83 ec 10 sub $0x10,%rsp
400a6c: c7 45 f8 64 00 00 00 movl $0x64,0xfffffffffffffff8(%rbp)
400a73: 8b 7d f8 mov 0xfffffffffffffff8(%rbp),%edi
400a76: e8 25 00 00 00 callq 400aa0 <_Z4testi>
400a7b: 89 45 fc mov %eax,0xfffffffffffffffc(%rbp)
400a7e: 8b 75 fc mov 0xfffffffffffffffc(%rbp),%esi
400a81: bf b0 12 50 00 mov $0x5012b0,%edi
400a86: e8 1d fd ff ff callq 4007a8 <_ZNSolsEi@plt>
400a8b: 48 89 c7 mov %rax,%rdi
400a8e: be d8 07 40 00 mov $0x4007d8,%esi
400a93: e8 20 fd ff ff callq 4007b8 <_ZNSolsEPFRSoS_E@plt>
400a98: b8 00 00 00 00 mov $0x0,%eax
400a9d: c9 leaveq
400a9e: c3 retq
用-O1编译，变成
000000000040083c <main>:
40083c: 48 83 ec 08 sub $0x8,%rsp
400840: 8b 15 12 05 10 00 mov 1049874(%rip),%edx # 500d58 <delta>
400846: be 00 00 00 00 mov $0x0,%esi
40084b: b8 00 00 00 00 mov $0x0,%eax
400850: 0f af f2 imul %edx,%esi
400853: 83 c0 01 add $0x1,%eax
400856: 83 f8 64 cmp $0x64,%eax
400859: 75 f5 jne 400850 <main+0x14>
40085b: bf 60 0d 50 00 mov $0x500d60,%edi
400860: e8 73 fe ff ff callq 4006d8 <_ZNSolsEi@plt>
400865: 48 89 c7 mov %rax,%rdi
400868: e8 7b fe ff ff callq 4006e8 <_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_@plt>
40086d: b8 00 00 00 00 mov $0x0,%eax
400872: 48 83 c4 08 add $0x8,%rsp
400876: c3 retq
所以循环显然是内联的
编辑
-Winline 不报告警告的原因是没有优化 gcc 甚至 都不会尝试 执行内联(因此不会失败)。
在我上面的函数中添加一个可变长度数组:
char buf[n];
并使用 -O1 编译 ，会产生以下警告:
test2.cpp:5: warning: function 'int test(int)' can never be inlined because it uses alloca (override using the always_inline attribute
关于c++ - 为什么 g+ +'s option "-Winline” 不起作用？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/19805063/