matrix.cpp

template <typename T, unsigned N>
struct MatrixImpl {
    static_assert(N > 0, "Matrix should have at least one dimension");
    using Type = std::vector<typename MatrixImpl<T, N - 1>::Type>;
};

template <typename T>
struct MatrixImpl<T, 1> {
    using Type = std::vector<T>;
};

template <typename T, unsigned N>
using Matrix = typename MatrixImpl<T, N>::Type;

template <typename T>
auto createMatrix(T defaultValue) {
    return defaultValue;
}

template <typename T, typename... Rest>
auto createMatrix(T defaultValue, unsigned N, 
                  Rest... Dimensions) {
    return Matrix<T, sizeof...(Rest) + 1>(
        N, createMatrix<T>(defaultValue, Dimensions...)
    );
}