0

ブーストを使用して配列 (T) の添え字演算子によって返される型を決定したい場合、どの型シグネチャを使用する必要がありますか? これを使用する配列には、typedef が含まれておらず、サードパーティであることに注意してください。

例。私はそれを決定したい： 

SomeArray<int> tmp(1);  
int& somevalue = tmp[0]; //would equate  
typename subscript_result<SomeArray<int> >::type somevalue = tmp[0];

何かのようなもの 

template<class T>
struct subscript_result
{
  typedef boost::result_of<T::operator[](typename T::difference_type)>::type type;
};

? 型シグネチャの operator[] には常に問題がありました。:|

ありがとうございました！

4

1 に答える 1

0

BOOST_TYPEOFおそらく/を使用できますBOOST_TYPEOF_TPL: http://www.boost.org/doc/libs/1_35_0/doc/html/typeof/refe.html#typeof.typo

BOOST_TYPEOF(tmp[0]) i;

C++0x では、次を使用できるはずです。decltype(tmp[0]) i;

コメントへの返信で。おそらく、次のようなもので const と参照を削除しないようにだますことができます。

#include <boost/typeof/typeof.hpp>

template <class T>
struct identity
{
    typedef T type;
};

template <class T>
struct subscript_result
{

    template <class Result, class Obj, class Arg>
    static identity<Result> get_subscript_type(Result (Obj::*)(Arg));

    typedef BOOST_TYPEOF(get_subscript_type(&T::operator[])) aux;
    typedef typename aux::type type;
};

#include <vector>
#include <iostream>

template <class Container>
void foo(Container& c)
{
    typename subscript_result<Container>::type t = c[0];
    ++t;
}

int main()
{
    //prove that foo gets a reference to vector<int>
    std::vector<int> vec(1);
    foo(vec);
    std::cout << vec[0] << '\n';
}

const のオーバーロードや、配列 / ポインターの特殊化を行うための工夫も必要になるでしょう。

于 2010-08-16T17:58:57.543 に答える