Arduino 是否支持尾调用消除？

Question

我想知道标准的 Arduino 环境是否支持尾调用消除……有人知道吗？

Answer 1

默认情况下，Arduino IDE 确实支持并启用了尾调用消除。 这对于微控制器世界来说是非常标准的，其中为了内存效率而牺牲了诸如适当的堆栈帧之类的调试辅助工具。

这是一个测试：

const int RAM_SIZE_IN_BYTES = 2048;

void f(int i) {
  Serial.println(i);
  if(i == 0) return;
  else f(i-1);
}

void setup() {
  Serial.begin(9600);
  f(RAM_SIZE_IN_BYTES);
}

void loop() {
}

此代码使用递归函数将 2048 到 0 的数字打印到控制台，该函数（没有尾调用优化）需要比可用 RAM 字节更多的嵌套调用。

Answer 2

大多数 C 编译器不支持尾调用消除。 （该概念不在 C 标准中）。

在非常有限的情况下，一些最近的 C 编译器可能支持它（仅在强烈优化时）。 特别是 GCC（最近的版本，如 4.6 或 4.7）。

您可以尝试一个简单的 C 函数并编译它并查看生成的程序集。