Независимый от размера цикл над boost :: multi_array?

Question

Скажем, у меня есть N-мерное повышение :: multi_array (типа int для простоты), где N известно во время компиляции, но может варьироваться (т. Е. Является параметром нетипового шаблона).Давайте предположим, что все измерения имеют одинаковый размер m.

typedef boost::multi_array<int, N> tDataArray;
boost::array<tDataArray::index, N> shape;
shape.fill(m);
tDataArray A(shape);

Теперь я хотел бы перебрать все записи в A, например, распечатать их.Например, если бы N равнялось 2, я думаю, что написал бы что-то вроде этого

  boost::array<tDataArray::index, 2> index;
  for ( int i = 0; i < m; i++ )
  {
    for ( int j = 0; j < m; j++ )
    {
      index = {{ i, j }};
      cout << A ( index ) << endl;
    }
  }

Я использовал индексный объект для доступа к элементам, так как я думаю, что он более гибкий, чем [] -оператор здесь.

Но как я мог написать это, не зная числа измерений N.Есть ли встроенный способ?В документации multi_array не очень ясно, какие типы итераторов существуют и т. Д. Или мне придется прибегнуть к какому-либо пользовательскому методу с пользовательскими указателями, вычислению индексов из указателей и т. Д.?Если так - какие-либо предложения, как мог бы выглядеть такой алгоритм?

Answer 1

Хорошо, на основе обсуждения групп Google , уже упомянутого в одном из комментариев, и одного из примеров из самой библиотеки, вот возможное решение, которое позволяет вам выполнять итерации для всех значений в множественном массиве в одном цикле и предлагает способ получения индекса для каждого из этих элементов (в случае, если это необходимо для некоторых других вещей, как в моем сценарии).

#include <iostream>
#include <boost/multi_array.hpp>
#include <boost/array.hpp>

const unsigned short int DIM = 3;
typedef double tValue;
typedef boost::multi_array<tValue,DIM> tArray;
typedef tArray::index tIndex;
typedef boost::array<tIndex, DIM> tIndexArray;

tIndex getIndex(const tArray& m, const tValue* requestedElement, const unsigned short int direction)
{
  int offset = requestedElement - m.origin();
  return(offset / m.strides()[direction] % m.shape()[direction] +  m.index_bases()[direction]); 
}

tIndexArray getIndexArray( const tArray& m, const tValue* requestedElement )
{
  tIndexArray _index;
  for ( unsigned int dir = 0; dir < DIM; dir++ )
  {
    _index[dir] = getIndex( m, requestedElement, dir );
  }

  return _index;
}


int main()
{ 
  double* exampleData = new double[24];
  for ( int i = 0; i < 24; i++ ) { exampleData[i] = i; }

  tArray A( boost::extents[2][3][4] );
  A.assign(exampleData,exampleData+24);

  tValue* p = A.data();
  tIndexArray index;
  for ( int i = 0; i < A.num_elements(); i++ )
  {
    index = getIndexArray( A, p );
    std::cout << index[0] << " " << index[1] << " " << index[2] << " value = " << A(index) << "  check = " << *p << std::endl;
    ++p;
  }

  return 0;
}

Вывод должен быть

0 0 0 value = 0 check = 0
0 0 1 value = 1 check = 1
0 0 2 value = 2 check = 2
0 0 3 value = 3 check = 3
0 1 0 value = 4 check = 4
0 1 1 value = 5 check = 5
0 1 2 value = 6 check = 6
0 1 3 value = 7 check = 7
0 2 0 value = 8 check = 8
0 2 1 value = 9 check = 9
0 2 2 value = 10 check = 10
0 2 3 value = 11 check = 11
1 0 0 value = 12 check = 12
1 0 1 value = 13 check = 13
1 0 2 value = 14 check = 14
1 0 3 value = 15 check = 15
1 1 0 value = 16 check = 16
1 1 1 value = 17 check = 17
1 1 2 value = 18 check = 18
1 1 3 value = 19 check = 19
1 2 0 value = 20 check = 20
1 2 1 value = 21 check = 21
1 2 2 value = 22 check = 22
1 2 3 value = 23 check = 23

так что расположение памяти идет от внешних к внутренним индексам. Обратите внимание, что функция getIndex использует макет памяти по умолчанию, предоставляемый boost :: multi_array. В случае изменения базы массива или порядка хранения, это должно быть скорректировано.

Answer 2

Не хватает примеров простых массивов boost. Итак, вот очень простой пример того, как заполнить расширенный мульти-массив с помощью индексов и как прочитать все записи, используя один указатель.

typedef boost::multi_array<double, 2> array_type;
typedef array_type::index index;

array_type A(boost::extents[3][2]);

//  ------> x 
// | 0 2 4
// | 1 3 5
// v
// y
double value = 0;
for(index x = 0; x < 3; ++x) 
    for(index y = 0; y < 2; ++y)
        A[x][y] = value++;

double* it  = A.origin();
double* end = A.origin() + A.num_elements();
for(; it != end; ++it){
    std::cout << *it << " ";
}

// -> 0 1 2 3 4 5

Answer 3

Если вам не нужен индекс, вы можете просто сделать:

  for (unsigned int i = 0; i < A.num_elements(); i++ )
  {
    tValue item = A.data()[i];
    std::cout << item << std::endl;
  }

Answer 4

Основываясь на ответах до того, как я создал эту хорошую перегруженную версию оператора вставки для boost :: multi_arrays

using namespace std;
using namespace boost::detail::multi_array;

template <typename T , unsigned long K>
ostream &operator<<( ostream &os , const boost::multi_array<T , K> &A )
{
 const T* p = A.data();
 for( boost::multi_array_types::size_type i = A.num_elements() ; i-- ; ++p )
 {
  os << "[ ";
  for( boost::multi_array_types::size_type k = 0 ; k < K ; ) {
   os << ( p - A.origin()  ) / A.strides()[ k ] % A.shape()[ k ]
         +  A.index_bases()[ k ];
   if( ++k < K )
    os << ", ";
    }
  os << " ] = " << *p << endl;
  }

 return os;
 }

Это просто упрощенная версия ответа 1, за исключением того, что она должна работать с любым типом T, которыйимеет работающего оператора <<.Я тестировал как </p>

 typedef boost::multi_array<double, 3> array_type;
 typedef array_type::index index;

 index x = 3;
 index y = 2;
 index z = 3;

 array_type A( boost::extents[ x ][ y ][ z ] );

 // Assign values to the elements
 int values = 0;
 for( index i = 0 ; i < x ; ++i ) 
  for( index j = 0 ; j < y ; ++j )
   for( index k = 0 ; k < z ; ++k )
    A[ i ][ j ][ k ] = values++;

 // print the results
 cout << A << endl;

, и, похоже, это работает:

[ 0, 0, 0 ] = 0
[ 0, 0, 1 ] = 1
[ 0, 0, 2 ] = 2
[ 0, 1, 0 ] = 3
[ 0, 1, 1 ] = 4
[ 0, 1, 2 ] = 5
[ 1, 0, 0 ] = 6
[ 1, 0, 1 ] = 7
[ 1, 0, 2 ] = 8
[ 1, 1, 0 ] = 9
[ 1, 1, 1 ] = 10
[ 1, 1, 2 ] = 11
[ 2, 0, 0 ] = 12
[ 2, 0, 1 ] = 13
[ 2, 0, 2 ] = 14
[ 2, 1, 0 ] = 15
[ 2, 1, 1 ] = 16
[ 2, 1, 2 ] = 17

Надеюсь, это кому-нибудь пригодится, и большое спасибо за оригинальные ответы: это было очень полезно для меня.