2

Пример: пусть у нас имеется класс TMatrix, в инстанцированный объект которого инкапсулированн двумерный массив элементов типа int. Возможное решение для получения его конкретного элемента - функция getEntrie(int row, int col) возвращающая элемент по номеру строки и столбца.

Другое решение - создание вложенного класса, например TPtrRow, который хранит в себе указатель на int. Тогда, мы перегружаем оператор [] для класса TMatrix так, чтобы он возвращал объект TPtrRow, хранящий в себе строку, номер которой мы передали при вызове []. Аналогично, перегружаем оператор[] для класса TPtrRow - тогда употребив два оператор подряд obj[row][col] мы получим нужный нам элемент.

Собственно, вопрос: каким образом подобную конструкцию можно имплементировать к тем случаям, когда мы имеем дело с N-мерными массивами, N > 2 ?

10
  • Обобщите TPtrRow, чтобы каждый последовательный вызов возвращал класс матрицы с размерностью на единицу меньше исходной. 22 авг 2016 в 17:19
  • @Arhad, Вы имеете ввиду, сделать класс TPtrRow шаблонным ?
    – isnullxbh
    22 авг 2016 в 17:22
  • Можно и так, причём параметризовать шаблон размерностью возвращаемой подматрицы. Для одномерной же матрицы определить шаблонную специализацию, возвращающую итоговое значение ячейки вместо очередной матрицы. 22 авг 2016 в 17:33
  • @Arhad, судя по Вашему "можно и так..", Вы хотели предложить что-то другое ?)
    – isnullxbh
    22 авг 2016 в 17:34
  • Можно вместо цепочки из операторов [] использовать оператор (), принимающий сразу все измерения. 22 авг 2016 в 17:36

1 ответ 1

3

Ну можно немного поколдовать с variadic templates, если в вашем распоряжении есть С++11:

#include <iostream>
template<class T, int size>
class Row{
public:
    typedef T ValueType;
private:
    ValueType _items[size];
public:

    ValueType& operator[](int index){
        return _items[index];
    }
};

template<class T, int ...sizes>
struct Table{
    template<class TR, int sizeR, int ...sizesR>
    struct Rebind{
        typedef Row<typename Rebind<TR, sizesR...>::Type, sizeR> Type;
        typedef Row<typename Rebind<TR, sizeR, sizesR...>::Type, sizeR> ValueType;
    };
    template<class TR, int sizeR>
    struct Rebind<TR, sizeR>{
        typedef Row<TR, sizeR> Type;
        typedef typename Type::ValueType ValueType;
    };
    typedef typename Rebind<T, sizes...>::Type Items;
public:
    typedef typename Items::ValueType ValueType;
private:
    Items _items;
public:
    ValueType& operator[](int index){
        return _items[index];
    }

};

int main(){
    Table<int, 5, 2, 4, 5, 9> table;
    table[3][1][3][3][7] = 42;
    std::cout << table[3][1][3][3][7];
}

Думаю этот код можно как-то упростить используя using из С++11, но я, если честно, им ни разу не пользовался :)

PS: Как по мне проще затайпдефить несколько вложенных строк

#include <iostream>
template<class T, int size>
class Row{
public:
    typedef T ValueType;
private:
    ValueType _items[size];
public:

    ValueType& operator[](int index){
        return _items[index];
    }
};

template<class T>
using Table = Row<Row<Row<Row<Row<T, 9>, 5>, 4>, 2>, 5>;

int main(){
    Table<int> table;

    table[3][1][3][3][7] = 42;
    std::cout << table[3][1][3][3][7];
}
0

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.