c++ - 为什么 g+ +'s option "-Winline"不起作用？

Question

当我使用 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.

很明显测试没有内联，但我想知道为什么没有关于它的警告。

Answer 1

正如评论中所述(来自 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