gpt4 book ai didi

c++ - 使用模板元编程的递归

转载 作者:行者123 更新时间:2023-12-01 23:51:30 26 4
gpt4 key购买 nike

有人可以向我解释一下,为什么使用模板函数的第一个调用陷入无限循环,而第二个编译时函数运行正常?

#include <iostream>
using namespace std;

template<int N, int M>
struct commondivs {
static const int val = (N<M) ? commondivs<N,(M-N)>::val : commondivs<(N-M),M>::val;
};

template<int N>
struct commondivs<N,N> {
static const int val = N;
};


int commondiv(int N, int M){
if(N==M){
return N;
}
return (N<M)?commondiv(N,(M-N)):commondiv((N-M),M);
}

int main() {

cout << commondivs<9,6>::val << endl;
cout << commondiv(9,6) << endl;
return 0;
}

最佳答案

(N<M) ? commondivs<N,(M-N)>::val : commondivs<(N-M),M>::val

该行导致 commondivs<N,(M-N)>::val 的实例化和commondivs<(N-M),M>::val ,即使条件在编译时已知并且永远不会采用其中一个分支。

替换? :std::conditional_t ,没有这个限制:

static const int val = std::conditional_t<N < M, commondivs<N,(M-N)>, commondivs<(N-M),M>>::val;

关于c++ - 使用模板元编程的递归,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59034713/

26 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com