5

このコードに問題があります:

#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しますが、std :: vectorは値で渡されますが、これは私が望むものではありません。2つのテンプレートを作成せずに、どうすれば目標を達成できますか?Vec&Vec

4

1 に答える 1

1

問題は、NumDims> 1operator[]の場合、タイプがの一時オブジェクトを返すことです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);
}
于 2010-01-25T01:49:27.003 に答える