C# と VB.NET の質問掲示板

こんにちは。

宣言された変数から自分の型のイテレータ変数を宣言させることは可能でしょうか？
具体的にはこのような感じです。

list<int> foo;

for(foo.(::?)iterator i = foo.begin(); i != foo.end(); i++)
{

もちろん、このままでは上手くいかないので、list をテンプレートクラスで
ラップし、そのクラス内で

template<class T>
class List
{
　list<T> foo;

　typename typedef list<T>::iterator	Iterator;

このような記述をしたのですが

List<int>::Iterator

このように書かなければコンパイルが通らず、意味がありません。

解決案、代替案がある方、ご教授いただければ幸いです。

■No29827 (七篠 さん) に返信

Boost.Typeof使えばできるんですけど

#include <vector>
#include <boost/typeof/typeof.hpp>

using namespace std;

int main()
{
    vector<int> v;
    BOOST_TYPEOF(v)::iterator it = v.begin();
}

Boost.TypeofはVCの場合、VCのバグを利用して実装されてるので
そのバグが修正されたら動かなくなるのでオススメはしません。

■No29852 (uskz さん) に返信
> この辺のportability気になるならBOOST_TYPEOF_COMPLIANTを#defineしてemulation modeで書いとけば良いんじゃないですかね．
> 新しい型作ったら自分で登録しないといけないですけれども．

おー、こんなのあったんですね。
こうかな、と。

#include <vector>

#define BOOST_TYPEOF_COMPLIANT // エミュレーションモードを使用
#include <boost/typeof/typeof.hpp>

// BOOST_TYPEOFで使用できる型を登録
#include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
BOOST_TYPEOF_REGISTER_TYPE(std::vector<int>);

int main()
{
    std::vector<int> v;
    BOOST_TYPEOF(v)::iterator it = v.begin();
}

template<typename T> struct List {
  list<T> list;
  list<T>::iterator it;
  void iterate_begin() { it=list.begin(); }
  bool iterate_isend() { return it!=list.end(); }
  void iterate_next() { ++it; }
};
であるとして。

まずこれだけなら例外に対しては安全 (だと思う：規格書読みきれていない)

次にこれはスレッド安全ではなく、再帰安全でもない。
複数のスレッドから同時に it を操作してしまうと互いに壊しあってしまう。
反復中に呼び出すルーチンから再度 it を操作してしまうと壊れてしまう。
なのでお勧めできない。俺ならこういうコードは書かない。

for (list<T>::iterator it=container.begin(); it!=container.end(); ++it) { ... }
であれば、この it はローカル変数なのでスレッド安全であるし、再帰安全でもある。お勧め。
(反復中にコンテナを書き換える場合は話が違うので除外するものとする)

速度の件なんだけど、メンバ変数と自動変数で１回の反復につき数クロック違うだけだよ。
１００００回のループなどでは観測できっこないよ。特に、画面出力などしてれば余計に。
（処理時間のほとんどすべてが画面出力にかかる時間なので）
# だけど C++ ユーザってその数クロックを気にしたりするわけで

で、なぜ処理を(インライン)関数化するのがだめなわけ？
ほんの数行のループ処理だけ template 化する必要がある、とか思っている？
全体を template な関数にしてもいいぢゃん。

iterator が１つしかないので反復中に反復かけたくなったら破綻するのに
Mutex で保護も無いもんだ

// こんな感じで iterator が２つ必要な場合に提示コードだとどうにもならない
for (x=c.begin(); x!=c.end(); ++x) {
  y=x;
  for (advance(y,1); y!=c.end(); ++y) {
    // y と x で何かする ...
  }
}
そんなことしない、っつなら別に言うことは無いけど。