C1202：递归类型或函数依赖上下文太复杂

Question

我尝试编写一个函数，它会在每个大小为 n 的排列时回调：

template<typename F>
void permutationsCallback(int n, F f) {
    if (n == 1) {
        f(std::vector<int>{0});
    }
    else {
        permutationsCallback(n - 1, [n, &f](std::vector<int> p) {
            p.emplace_back(n - 1);
            f(p);
            while (--p.back() >= 0) {
                for (int k = 0; k < n - 1; k++) {
                    p[k] += p[k] == p.back();
                }
                f(p);
            }
        });
    }
}

（例如我希望 permutationsCallback(3, f) 调用 f({0,1,2}、f({0,2,1})、f({1,2,0})、f({1,0,2})、f({2,0,1})、f({2,1,0}).)

但是在使用 MCSV 编译时出现错误

fatal error C1202: recursive type or function dependency context too complex

我该如何解决这个问题？

Answer 1

模板内部存在无限递归。即使您知道运行时不会调用 else 块，在编译时，编译器也需要知道哪些代码会无休止地进入 else 块。

例如，您可以考虑将 n 改为模板参数，并实现 0 情况，就像 MSVC 在其页面上针对此错误消息所解释的那样：

https://docs.microsoft.com/en-us/cpp/error-messages/compiler-errors-1/fatal-error-c1202?view=msvc-160

参考以上link：

// C1202b.cpp
// compile with: /c
template<int n>
class Factorial : public Factorial<n-1> {
public:
   operator int () {
      return Factorial <n-1>::operator int () * n;
   }
};

template <>
class Factorial<0> {
public:
   operator int () {
      return 1;
   }
};

Factorial<7> facSeven;

C1202：递归类型或函数依赖上下文太复杂

C1202: recursive type or function dependency context too complex

c++

algorithm

compiler-errors

c++17