Question

我有这个（相当无用的）代码：

 __declspec(noinline)
 int foo( char* ptr, int offset )
 {
    if( 5 / offset == 3 ) {
      return 1;
    }
    if( ptr != ptr + offset ) {
      return 2;
    }
    return 0;
 }

 int _tmain(int /*argc*/, _TCHAR* /*argv*/[])
 {
    if( foo( 0, 0 ) ) {
       rand();
    }
 }

我通过优化编译它并获得此反汇编：

    141: __declspec(noinline)
    142: int foo( char* ptr, int offset )
    143: {
    144:   if( 5 / offset == 3 ) {
00401000  push        5  
00401002  pop         eax  
00401003  cdq  
00401004  xor         ecx,ecx  
00401006  idiv        eax,ecx  
00401008  sub         eax,3  
0040100B  neg         eax  
0040100D  sbb         eax,eax  
0040100F  inc         eax  
    145:     return 1;
    146:   }
    147:   if( ptr != ptr + offset ) {
    148:     return 2;
    149:   }
    150:   return 0;
    151: }
00401010  ret  
    152: 
    153: int _tmain(int /*argc*/, _TCHAR* /*argv*/[])
    154: {
    155:    if( foo( 0, 0 ) ) {
00401011  call        foo (401000h)  
00401016  test        eax,eax  
00401018  je          wmain+0Fh (401020h)  
    156:        rand();
0040101A  call        dword ptr [__imp__rand (4020A0h)]  
    157:    }
    158: }
00401020  xor         eax,eax  
00401022  ret

编译器保留了foo()函数调用，但通过将编译时已知的参数传播到函数体并优化代码来编译foo()。它甚至发出了

警告C4723：电位除以0

是Visual C ++的预期行为吗？

Answer 1

我想是的。你告诉它不要内联函数，但你没有说它不能根据它的使用方式修改函数。它可以看到该函数只被称为foo(0,0)，为什么不应该为此优化函数呢？

尝试在foo(1,2)调用之外插入(0,0)之类的内容，看看会发生什么。

这是奇怪的Visual C ++内联行为吗？

1 个答案: