Скажем, я хочу объявить вектор вектора вектора a... (до n измерений).
Так же:
using namespace std;
// for n=2
vector<vector<int> > v2;
// for n=3
vector<vector<vector<int> > > v3;
// for n=4
vector<vector<vector<vector<int> > > > v3;
Есть ли способ сделать это для произвольного n с метапрограммированием шаблона?
Да, и это довольно просто.
Как доказательство индукции, мы устанавливаем рекурсивный случай и (частично специализированный) базовый случай, который заканчивает рекурсию.
template<size_t dimcount, typename T>
struct multidimensional_vector
{
typedef std::vector< typename multidimensional_vector<dimcount-1, T>::type > type;
};
template<typename T>
struct multidimensional_vector<0,T>
{
typedef T type;
};
multidimensional_vector<1, int>::type v;
multidimensional_vector<2, int>::type v2;
multidimensional_vector<3, int>::type v3;
multidimensional_vector<4, int>::type v4;