質問編集履歴

その後を追加

2016/03/01 15:12

投稿

Chironian

スコア23274

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -29,3 +29,363 @@
 なぜに範囲ベースforはiteratorを返さないのでしょう？
 [for-range-declaration = *__begin;](http://cpplover.blogspot.jp/2009/08/n2930-range-based-for-loop.html)じゃなくて、`for-range-declaration = __begin;`なら良かったのに。
+---
+【その後】
+その後、調べていて、ランダム・アクセス・イレテータでないコンテナの場合、std:distance()はリストを追跡するらしいことが分かりました。ということは同様にoperator[]も追跡する筈ですね。（何を今更なのですが。）
+今はvectorで範囲ベースforを使ってますが一部はforward_listへ変更します。これを見越すと、インデックスを使うためにはイテレータ型のfor文へ変更しインデックスも追加する必要があります。for文がごちゃごちゃになり、範囲ベースforとの落差に悶え死にそうでした。しかも、autoの型が変わってしまうし．．．
+個人的にこれらが許せないので、yumetodoさんのリンク先の記事からヒントを得て、ツールを作りました。
+考え方は、自作の隠しイテレータをコンパイラへ返して、それがインクリメントされた時にインデックスも一緒にインクリメントするイメージです。
+ですので、listでも使えますし、listのイテレータをdistanceした時のような追跡処理も発生しません。そして、autoで推論される型は同じコンテナの要素のままですので、範囲ベースforブロック内の変更も不要です。
+```C++
+#include <iterator>
+// ***************************************************************************
+//      範囲ベースforにインデックス機能を追加する
+// ***************************************************************************
+namespace staff_only
+{
+//----------------------------------------------------------------------------
+//      隠しイテレータ・クラス
+//----------------------------------------------------------------------------
+template<typename tValueType, typename tParentIterator>
+class Iterator
+{
+    tParentIterator mParentIterator;
+    std::size_t&    mIndexReference;
+public:
+    explicit Iterator(tParentIterator iIterator, std::size_t& iIndexReference) :
+        mParentIterator(iIterator),
+        mIndexReference(iIndexReference)
+    { }
+    tValueType& operator*() {return *mParentIterator;}
+    tParentIterator& operator++()
+    {
+        ++mParentIterator;
+        ++mIndexReference;
+        return mParentIterator;
+    }
+    bool operator==(Iterator const& rhs) {return mParentIterator==rhs.mParentIterator;}
+    bool operator!=(Iterator const& rhs) {return mParentIterator!=rhs.mParentIterator;}
+};
+//----------------------------------------------------------------------------
+//      コンテナ
+//----------------------------------------------------------------------------
+template<class tContainer>
+class Indexer
+{
+    typedef typename tContainer::value_type ValueType;
+    typedef typename tContainer::iterator ParentIterator;
+    typedef Iterator<ValueType, ParentIterator> InnerIterator;
+    // Indexer実体
+    tContainer&     mContainer;
+    std::size_t&    mIndexReference;
+public:
+    explicit Indexer(tContainer& iContainer, std::size_t& iIndexReference) :
+        mContainer(iContainer),
+        mIndexReference(iIndexReference)
+    {
+        mIndexReference=0;
+    }
+    InnerIterator begin()
+    {
+        return InnerIterator(mContainer.begin(), mIndexReference);
+    }
+    InnerIterator const end() const
+    {
+        return InnerIterator(mContainer.end(), mIndexReference);
+    }
+};
+//----------------------------------------------------------------------------
+//      生配列
+//----------------------------------------------------------------------------
+template<class tValueType, size_t tDim>
+class Indexer<tValueType[tDim]>
+{
+    typedef tValueType* ParentIterator;
+    typedef Iterator<tValueType, ParentIterator> InnerIterator;
+    // Indexer実体
+    typedef tValueType Container[tDim];
+    Container&      mContainer;
+    std::size_t&    mIndexReference;
+public:
+    explicit Indexer(Container& iContainer, std::size_t& iIndexReference) :
+        mContainer(iContainer),
+        mIndexReference(iIndexReference)
+    {
+        mIndexReference=0;
+    }
+    InnerIterator begin()
+    {
+        return InnerIterator(&mContainer[0], mIndexReference);
+    }
+    InnerIterator const end() const
+    {
+        return InnerIterator(&mContainer[tDim], mIndexReference);
+    }
+};
+}   // namespace staff_only
+//----------------------------------------------------------------------------
+//      API
+//----------------------------------------------------------------------------
+template<class tContainer>
+staff_only::Indexer<tContainer> getIndexer(tContainer& iContainer, std::size_t& iIndexReference)
+{
+    return staff_only::Indexer<tContainer>(iContainer, iIndexReference);
+}
+// ***************************************************************************
+//      使い方
+// ***************************************************************************
+#include <array>
+#include <vector>
+#include <forward_list>
+#include <list>
+#include <iostream>
+int main()
+{
+    struct TestClass
+    {
+        int x, y;
+    };
+    TestClass                       wRawArray[] = {{5,1}, {4,2}, {3,3}, {2,4}, {1,5}, {0,6}};
+    std::array<TestClass, 5>        wArray      ={{{4,2}, {3,3}, {2,4}, {1,5}, {0,6}}};
+    std::vector<TestClass>          wVector     = {{3,3}, {2,4}, {1,5}, {0,6}};
+    std::forward_list<TestClass>    wForwardList= {{2,4}, {1,5}, {0,6}};
+    std::list<TestClass>            wList       = {{1,5}, {0,6}};
+    std::size_t wIndex;
+    std::cout << "raw-array\n";
+    for (auto& wData : getIndexer(wRawArray, wIndex)) {
+        std::cout << "[" << wIndex << "]=" << wData.x << ", " << wData.y << "\n";
+    }
+    std::cout << "\nstd::array\n";
+    for (auto& wData : getIndexer(wArray, wIndex)) {
+        std::cout << "[" << wIndex << "]=" << wData.x << ", " << wData.y << "\n";
+    }
+    std::cout << "\nstd::vector\n";
+    for (auto& wData : getIndexer(wVector, wIndex)) {
+        std::cout << "[" << wIndex << "]=" << wData.x << ", " << wData.y << "\n";
+    }
+    std::cout << "\nstd::forward_list\n";
+    for (auto& wData : getIndexer(wForwardList, wIndex)) {
+        std::cout << "[" << wIndex << "]=" << wData.x << ", " << wData.y << "\n";
+    }
+    std::cout << "\nstd::list\n";
+    for (auto& wData : getIndexer(wList, wIndex)) {
+        std::cout << "[" << wIndex << "]=" << wData.x << ", " << wData.y << "\n";
+    }
+    return 0;
+}
+```
+msvc2015とMinGW 5.2.0で動作確認してます。
+２点不満が残りました。orz
+イテレータはこっそりインクリメントされているので、インデックスもこっそりインクリメントされます。範囲ベースforの仕様とも言えるのでこの点は許容することにしました。
+インデックスのスコープがforの外側になってしまいます。内側にしたいのですが、範囲ベースforの構文に割り込めず諦め。