在 C++ 中多次调用方法

Question

我想知道gcc编译器是否优化了以下方法调用。

bool methodY()
{
  ..some operations..
  return true;
}


int methodX() {
  if(methodY() == true)
    return methodY();

  ..some operations..
}

在methodX内部，编译器会优化对methodY的调用两次还是任其发展？

Answer 1

.. 编译器会优化对methodY 的调用两次还是任其发展？

对此没有规定。这取决于编译器。

例如，如果 methodY 始终返回 true，则允许编译器通过内联 methodY 来优化您的代码，例如：

int methodX() {
  ..some operations..  (from methodY)
  ..some operations..  (from methodY)
  return true;
}

但能不能做到，光看C++源码是无法判断的。

使用 gcc，您可以使用选项 -S 生成程序集源文件（.s 文件）。查看该文件可以判断编译器做了什么。

您也可以使用一些在线网站，例如https://godbolt.org/。这是一个例子：

#include <stdio.h>

int methodY()
{
  printf("y\n");
  return 1;
}

int methodX() {
  if(methodY() == 1)
    return methodY();

  return 0;
}

int main(){
  if (methodX()) printf("m\n");
  return 0;
}

用-O3编译它显示：

.LC0:
  .string "y"
methodY():
  sub rsp, 8
  mov edi, OFFSET FLAT:.LC0
  call puts
  mov eax, 1
  add rsp, 8
  ret
methodX():
  sub rsp, 8
  mov edi, OFFSET FLAT:.LC0
  call puts
  mov edi, OFFSET FLAT:.LC0
  call puts
  mov eax, 1
  add rsp, 8
  ret
.LC1:
  .string "m"
main:
  sub rsp, 8
  mov edi, OFFSET FLAT:.LC0
  call puts
  mov edi, OFFSET FLAT:.LC0
  call puts
  mov edi, OFFSET FLAT:.LC1
  call puts
  xor eax, eax
  add rsp, 8
  ret

如您所见，main 从不调用methodX，而是直接执行三个打印。所以在这种情况下，函数被优化掉了。