Как пройти ряд Boost :: multi_array и std :: Vector С ссылкой на ту же функцию шаблона?
-
22-09-2019 - |
Вопрос
У меня проблема с этим кусочком кода:
#include <boost/multi_array.hpp>
#include <boost/array.hpp>
#include <vector>
#include <iostream>
template <typename Vec>
void foo(Vec& x, size_t N)
{
for (size_t i = 0; i < N; ++i) {
x[i] = i;
}
}
int main()
{
std::vector<double> v1(10);
foo(v1, 5);
std::cout << v1[4] << std::endl;
boost::multi_array<double, 2> m1;
boost::array<double, 2> shape;
shape[0] = 10;
shape[1] = 10;
m1.resize(shape);
foo(m1[0], 5);
std::cout << m1[0][4] << std::endl;
return 0;
}
Попытка компилировать его с GCC, я получаю ошибку:
boost_multi_array.cpp: In function 'int main()':
boost_multi_array.cpp:26: error: invalid initialization of non-const reference of type 'boost::detail::multi_array::sub_array<double, 1u>&' from a temporary of type 'boost::detail::multi_array::sub_array<double, 1u>'
boost_multi_array.cpp:7: error: in passing argument 1 of 'void foo(Vec&, size_t) [with Vec = boost::detail::multi_array::sub_array<double, 1u>]'
Он работает, как и ожидалось для Boost :: multi_array, когда я меняю тип первого аргумента функции foo
из Vec&
к Vec
, но тогда std :: вектор передается по значению, что я не хочу. Как я могу достичь своей цели без написания двух шаблонов?
Решение
Проблема в том, что для Numdims> 1, operator[]
Возвращает временный объект типа template subarray<NumDims-1>::type
.
(Не очень красиво) обходная работа будет чем-то вроде следующего:
typedef boost::multi_array<double, 2> MA;
MA m1;
MA::reference ref = m1[0];
foo(ref, 5); // ref is no temporary now
Альтернативой будет обернуть вашу реализацию и обеспечить перегрузку для корпуса с несколькими астрайками ... Например:
(Примечание: я не видел, как заставить перегрузку работать с boost::multi_array<T,N>::reference
, пожалуйста, не используйте его в продуктивном использовании с этим detail::
версия;)
template<class T>
void foo_impl(T x, size_t N) {
for (size_t i = 0; i < N; ++i) {
x[i] = i;
}
}
template<class T>
void foo(T& t, size_t n) {
foo_impl<T&>(t, n);
}
template<typename T, size_t size>
void foo(boost::detail::multi_array::sub_array<T, size> r, size_t n) {
foo_impl(r, n);
}