此代码如何产生无符号整数溢出

How does this code produce unsigned integer overflow

本文关键字：无符号整数 溢出 何产生 代码      更新时间：2023-10-16

我有以下递归constexpr函数

template<size_t N, size_t O,size_t All>
constexpr int get_indices(const std::array<size_t,N> &products,
                          const std::array<size_t,N>& idx,
                          const std::array<std::array<int,O>,All> &as_all,
                          int i,
                          int it) {
    return it==0 ? as_all[i][idx[static_cast<int>(N)-1]] :
        products[it]*as_all[i][idx[it]] +
        get_indices(products,idx,as_all,i,it-1);
}

当使用调用时

 constexpr std::array<size_t,2> products = {2,0};
 constexpr std::array<size_t,2> idx = {0,1};
 constexpr std::array<std::array<int,3>,8> as_all = {{{0, 0, 0}, 
      {0, 0, 1}, 
      {0, 1, 0}, 
      {0, 1, 1}, 
      {1, 0, 0}, 
      {1, 0, 1}, 
      {1, 1, 0}, 
      {1, 1, 1}}};
get_indices(products,idx,as_all,4,2); // call it

它会产生垃圾结果。我认为这是一个无符号溢出的问题，但我不太确定它是如何发生的。我检查了gcc和clang。

您有一个越界访问，clang和gcc甚至告诉您：

实例

main.cpp:28:15: error: constexpr variable 'x' must be initialized by a constant expression
constexpr int x = get_indices(products,idx,as_all,4,2);
              ^   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
main.cpp:11:9: note: read of dereferenced one-past-the-end pointer is not allowed in a constant expression
        products[it]*as_all[i][idx[it]] +
        ^

问题是您试图访问idx[2]，而它的大小是2，因此您只能访问idx[0]或idx[1]

相关文章：