代码之家 › 专栏 › 技术社区 › Museful

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

c++17 compiler-errors algorithm c++

Museful · 技术社区 · 5 年前

我试着写一个函数,用大小为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编译时,我发现了一个错误

致命错误C1202:递归类型或函数依赖项上下文太复杂

我该怎么解决这个问题?

0 回复 | 直到 5 年前

Mikael Öhman 5 年前

模板中有一个无限递归。即使知道else块在运行时不会被调用,在编译时,编译器也需要知道哪些代码会无休止地进入else块。

例如,你可以考虑制作。 n 改为使用模板参数,并实现0大小写,如MSVC在其页面上解释的错误消息:

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

参考以上链接:

// 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;

推荐文章

Ta Thanh Dinh · 返回std::optional<T>,其中T的构造函数是私有的

1 年前

111111 · 确定作为模板参数传递的函数的参数类型

1 年前

msg · std::variant的奇怪结果

1 年前

ÐÐµÐ¾ÑÐ³Ð¸Ð¹ ÐÑÐ¼Ð¸Ð½Ð¾Ð² · 方法指针强制转换时如何选择const方法重载[重复]

2 年前

Mikhail T. · 如何将对象的方法传递给lambda函数?

2 年前

zack · 不接受变分模板函数参数

2 年前

IRP_HANDLER · 另一个命名空间内的C++STD模板专门化[重复]

2 年前

Youssef Gamil · RegEx替换C中的空行++

2 年前

asimes · 从信号处理程序设置变量时,std::atomic或volatile是必需的吗

2 年前

GPrathap · 如何在C中返回智能指针和协方差++

2 年前