Question

有人可以向我解释一下，为什么第一种模板元编程方式将进入无限循环，而第二种却可以正确运行。

#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;
}

Answer 1

CaptureSavedImageInMemory.onCaptureSuccess()

即使在编译时已知条件并且永远不会采用其中一个分支，此行也会同时引起LuminosityAnalyzer.analyze()和(N<M) ? commondivs<N,(M-N)>::val : commondivs<(N-M),M>::val的实例化。

将commondivs<N,(M-N)>::val替换为commondivs<(N-M),M>::val，但没有此限制：

? :

Answer 2

问题在于将对条件运算符的所有操作数进行求值，因此commondivs<N,(M-N)>和commondivs<(N-M),M>都将被实例化，而它们的val被求值，然后导致递归模板实例化。

>

您可以应用constexpr if并将其放入constexpr static成员函数中。

如果值为true，则丢弃statement-false（如果存在），否则，丢弃statement-true。

template<int N, int M>
struct commondivs {                                              
  constexpr static int get_val() {
    if constexpr (N<M) return commondivs<N,(M-N)>::val; // if true, the else part won't be evaluated
    else return commondivs<(N-M),M>::val;               // vice versa
  }
  static const int val = get_val();
};

LIVE

Answer 3

三元运算符与if constexpr不同：当编译器看到它时，它必须为两个分支生成代码。换句话说，要实例化模板commondivs<M, N>，编译器将同时实例化模板commondivs<N, M - N>和commondivs<N - M, M>。

与此相反，commondiv(N, M - N)和commondiv(N - M, M)被转换为两个函数调用。哪个函数将在实际调用该函数时决定。

添加。

HolyBlackCat 提供了std::conditional_t的解决方案。这是另一个：

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

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

Answer 4

您得到无限递归，因为：

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

根本不是元模板编程，因为正如@Eng所说的?:不是constexpr。

您想看看@HolyBlackCat的答案。

模板元编程

4 个答案: