Что такое однострочное выражение для построения кортежа C++ с элементом массива (C или std :: array)?

Question

Я хотел бы иметь кортеж, который имеет элемент массива в качестве члена. В частности, я бы хотел, чтобы этот элемент массива был 2D, поэтому любой ответ должен работать более чем на 1D. Мне бы хотелось, чтобы я мог инициализировать списки инициализаторов, например. std::tuple<ARRAY_TYPE, ...>({{0, 1}, {2, 3}}, ...).

Похоже, что такой кортеж очень сложно построить, требуя ручной инициализации (то есть для петель и т. П.). Вот что я пробовал:

std::tuple<int[M][N], ...> - это не работает из-за ограничений массивов в стиле C. Сам кортеж является допустимым типом, но инициализация должна выполняться вручную (не при построении).

std::tuple<std::array<std::array<int, M>, N>, ...> - Я думал, что это сработает, но по какой-то причине что-то вроде std::tuple<std::array<std::array<int, 2>, 2>, ...>({{0, 1}, {2, 3}}, ...) терпит неудачу с «отсутствием ошибки конструктора». Однако он работает в 1D.

std::tuple<std::vector<std::vector<int>>, ...>({{0, 1}, {2, 3}}, ...) фактически делает работу, но векторы, кажется, как избыточна здесь

Любые мысли, SO? Есть ли способ заставить массивы C-стиля работать? Это было бы идеально.

Answer 1

Вам нужна дополнительная пара скобок {} вокруг массива:

std::tuple<std::array<std::array<int, 2>, 2>, int> v({{{0, 1}, {2, 3}}}, 1); 
                ^   ^

Это происходит потому, std::array инициализируется с использованием совокупного инициализацию. Он работает с std::vector, потому что есть конструктор std::vector<std::initializer_list<T> (std::array не имеет конструкторов).

Answer 2

Вы можете использовать std::make_tuple, пример:

auto t = std::make_tuple<std::array<std::array<int, 2>, 2>>({{{1, 2}, {3, 4}}}); 

[править] Мое первоначальное предложение было:

auto t = std::make_tuple<int[2][2], int>({{1, 2}, {3, 4}}, 42); 

Но это небезопасно (первый элемент кортежа будет указывать на стек памяти); см. обсуждение ниже.