为什么 Metal 编译这个递归函数？

Question

Metal 规范规定不允许使用递归函数。然而这编译得很好：

int b(int c) {
  if (c == 1)
    return b(c++);
  else if (c == 2)
    return b(c + 2);
  else
    return c;
}

这是为什么呢？ Metal 使用的递归定义是什么？它引用了 C++14 规范的第 5.2.2 节，它也没有给出“递归”的任何定义，因此我希望上面是递归的标准示例。

即使我这样做，它仍然可以编译：

int b(int c) {
    return b(c + 2);
}

什么给了？！

Answer 1

该函数可以像任何 C++ 函数一样编译，没问题。当你调用内核中的函数时，你会得到一个关于递归函数使用的编译错误。