STL/CLR

なぜないのか不思議なので作ってみた

επιστημη — Thu, 24 Jul 2008 16:42:00 GMT

STL/CLRの<iterator>には
back_insert_iterator / front_insert_iterator / insert_iterator が定義されてねぇのす。

お試しにこしらえてみた。

template<typename Container>
ref class back_insert_iterator {
public:
typedef cliext::output_iterator_tag iterator_category;
typedef typename Container::value_type value_type;
back_insert_iterator(Container^ c) : container(c) {}
back_insert_iterator% operator=(value_type% val)
    { container->push_back(val); return *this; }
static back_insert_iterator% operator*(back_insert_iterator% i)
    { return i; }
back_insert_iterator% operator++()
    { return *this; }
back_insert_iterator% operator++(int)
    { return *this; }
protected:
Container^ container;
};

template<typename Container> inline
back_insert_iterator<Container>^ back_inserter(Container^ c) {
return gcnew back_insert_iterator<Container>(c);
}

int main() {
cliext::vector<String^> v0;
  v0.push_back(L"相川");
  v0.push_back(L"井上");
  v0.push_back(L"上村");
  v0.push_back(L"えぴ");
  v0.push_back(L"小田");
  cliext::vector<String^> v1;
  cliext::remove_copy(v0.begin(), v0.end(),
                      back_inserter(%v1), gcnew String(L"えぴ"));
  for each ( String^ item in v1) {
    Console::WriteLine(item);
  }
}

... こんなんでいいのかなー。
どデカい穴空いてる気がしてなんね。

あるもーん♪

επιστημη — Fri, 18 Jul 2008 23:05:00 GMT

ネタ元 → 順列生成メソッド

STL/CLRの出番だぜ。

--- myutil.h ---
namespace MyUtil {
public ref class Algrithm {
public:
    static bool NextPermutation(String^% str);
};
}

--- myutil.cpp ---
#include <cliext/algorithm>
#include <cliext/vector>
#include "myutil.h"

namespace MyUtil {
bool Algrithm::NextPermutation(String^% str) {
    cliext::vector<Char> v(str->ToCharArray());
    bool result = cliext::next_permutation(v.begin(),v.end()); // あるもーん
    str = gcnew String(v.to_array());
    return result;
}
}

--- user.cs ---
using System;
using MyUtil;

class Program {
static void Main(string[] args) {
    string str = "ABCD";
    do {
      Console.WriteLine(str);
    } while ( Algrithm.NextPermutation(ref str) );
  }
}

暗いｼﾞﾒｼﾞﾒしたとこのご紹介

επιστημη — Mon, 07 Jul 2008 20:08:00 GMT

はい、そゆわけでおにょれ赤坂でちらっとこぼしたネタをば

CodeZine 「STL/CLRツアーガイド」に書きました。

白状すればSTL/CLRはまだまだいぢり倒してないんですよねー

雨の日は

επιστημη — Sun, 22 Jun 2008 12:40:00 GMT

まったりモードでコーディング遊び。
ネタ元 → mapの使い方教えてください

STL/CLRで書いてみた:

#include <cliext/map>

value class key_type {
public:
System::String^ mesh;
System::String^ error;
static bool operator<(key_type^ x, key_type^ y) {
return x->mesh < y->mesh ? true :
( y->mesh < x->mesh ? false : x->error < y->error );
}
};

typedef cliext::map<key_type,int> map_type;

int main() {
System::String^ str;
key_type key;
map_type ary;

System::IO::StreamReader
reader(System::IO::File::OpenRead(L"Data001.txt"));

while ( (str = reader.ReadLine()) != nullptr ) {
    if( str->IndexOf(L"メッシュ") == 0 ) {
      key.mesh = str->Substring(7,8);
    }
    if ( str->IndexOf(L"ERROR") == 0 ) {
      key.error = str->Substring(6,5);
      ary[key]++;
    }
}
reader.Close();
for each ( map_type::value_type item in ary) {
    System::Console::WriteLine(L"{0}\t{1}\t{2}件",
　　　　　　item->first.mesh, item->first.error, item->second);
}
return 0;
}

残念なのはSTL/CLRの cliext::pair がコンテナの要素になれない(きっとバグ)が
ために value class key_type をこしらえてっとこ。

BCLコレクション: Dictionary 使うとこーなる:

value class key_type {
public:
System::String^ mesh;
System::String^ error;
virtual bool Equals(System::Object^ obj) override {
    key_type^ rhs = safe_cast<key_type^>(obj);
    return mesh == rhs->mesh && error == rhs->error;
}
virtual int GetHashCode() override {
    return (mesh+error)->GetHashCode();
}
};

typedef System::Collections::Generic::Dictionary<key_type,int> map_type;

int main() {
System::String^ str;
key_type key;
map_type ary;

System::IO::StreamReader reader(System::IO::File::OpenRead(L"Data001.txt"));

while ( (str = reader.ReadLine()) != nullptr ) {
    if( str->IndexOf(L"メッシュ") == 0 ) {
      key.mesh = str->Substring(7,8);
    }
    if ( str->IndexOf(L"ERROR") == 0 ) {
      key.error = str->Substring(6,5);
      /* [※] きもちわりー */
      if ( ary.ContainsKey(key) ) ary[key]++;
      else ary.Add(key,1);
    }
}
reader.Close();
for each ( System::Collections::Generic::KeyValuePair<key_type,int>^
               item in ary) {
    System::Console::WriteLine(L"{0}\t{1}\t{2}件",
      item->Key.mesh, item->Key.error, item->Value);
}
return 0;
}

[※] ここがちょいと気になるところ。ContainsKeyによって登録済みかを
判定し、登録されてたら ary[key]++ してる。そのときも要素の検索が
行われるので、都合二回の検索が行われてることになります。
それは無駄ぢゃーんってんで

   try {
        ary[key]++;
      } catch ( System::Collections::Generic::KeyNotFoundException^ ) {
        ary.Add(key,1);
      }

正常処理に例外使うのもどーかと。C++屋のアタマでは例外処理は
コストが高く、検索二回の方がまだマシかも...とか思っちゃうです。

C++フェチがSTL/CLRネタにC++/CLIで遊ぶ

επιστημη — Mon, 26 May 2008 14:42:00 GMT

ネタ元 → LINQ は面白い(って、わたし、この子ﾘﾝｷｭｰって呼んじゃうのよね、ついｗ）

Sub Main()
  Console.WriteLine("今日作ったファイル")
  Dim Files = From file In Directory.GetFiles("c:\wankuma") _
   Where System.IO.File.GetCreationTime(file).ToString("yyyyMMdd") _
          = Date.Today.ToString("yyyyMMdd") _
   Order By (file) _
   Select file
  For Each Todays In Files
    Console.WriteLine(Todays)
  Next
End Sub

ほほぉ、なるほど。
LINQを持ち合わせていない C++/CLI と STL/CLR でなんとかしてみる:

value class different_date {
static String^ today =
    DateTime::Now.ToString(L"yyyyMMdd");
public:
static bool exec(String^ file) {
    return File::GetCreationTime(file).ToString(L"yyyyMMdd")
             != today;
}
};

int main() {
Console::WriteLine(L"今日作ったファイル");
// ファイル名集合から
cliext::vector<String^>
    files(Directory::GetFiles(L"D:\\Program Files\\Work"));
// 条件を満たさないものを取り除き
files.erase(cliext::remove_if(files.begin(), files.end(),
              gcnew Predicate<String^>(different_month::exec)),
             files.end());
// ソートして
cliext::sort(files.begin(), files.end());
// 出力する
for each ( String^ item in files ) Console::WriteLine(item);
}

...努力は認めてくださいまし。LINQはすげーですやっぱ。

おにょれ赤坂

επιστημη — Fri, 23 May 2008 09:21:00 GMT

C++/CLIのSTL/CLR オブジェクトにC#からアクセスする方法

...してやられました。僕も書こうとせっせとネタかき集めておったのに。
書かれちまったもんはしゃぁない、タダでさえ陽の当たらぬSTL/CLRの
さらに暗いｼﾞﾒｼﾞﾒしたとこのご紹介でも企むことにしますか。

ヒープソート

επιστημη — Sun, 24 Feb 2008 11:22:00 GMT

ネタ元 → わんくま東京勉強会懇親会

Rの発言:
「ソートする時にさ、はじめにいっぺんデータを頭からなめて
偏り具合とかバラつき具合を調べておいて、最良のソートアルゴリズムを
選んで...」

これに周りのやつらが噛みつく:
「そんなもん、データ読み込むたんびにソートしとけば全部読み終わった
ときゃソート終わってんぢゃん」
R少なからず凹んだ様子。

"データ読み込むたんびにソート"の代表的な例が binary-tree や B-tree です。
が、もひとつ heap てーのがあります。heap だとデータ読み込むたんびに
半分ソートした状態を作ります。なんたらtree と違い、枝のポインタ(参照)
を必要としないのでコンパクトなのが売り。

indexを1から始めた可変長配列を用意します。
この配列 array[] に格納された要素は:
array[i] を親、array[i*2] と array[i*2+1] を子としたとき、
任意の親に対し、その二人の子より小さくない。

つまり
array[1] はその子: array[2],array[3] 以上、
array[2] はその子: array[4],array[5] 以上、
array[3] はその子: array[6],array[7] 以上、
array[4] はその子: array[8],array[9] 以上、
... てことになり、つまるところ先頭要素 array[1] が最大要素となります。
この状態をヒープ状態と呼びましょう。
N-1個の要素が詰まったヒープに要素を追加するには:
- 末端に array[N] を追加する。
- array[N]の親array[N/2]と比較し、親<=子だったら入れ替える
- 親子を入れ替えちゃったらさらにその上位の親子の大小関係が狂う
　かもしれないので同様に比較/交換する。
　親子の交換が起こらなくなるまで繰り返す。
この処理は多くともlog2(N)の回数で終了します。

これを繰り返し、全要素を突っ込んだところで
ヒープ状態:"半分ソートされた状態"ができあがります。

ではソート。先頭要素が一番大きいことがわかってます。
こいつを取り出し、代わりに末端要素を入れちゃいます。
そうすると親子の大小関係が変化します。
自分と二人の子を比べ、一番大きいやつを新たな親として親子を入れ替えます。
そーすっと入れ替わった子と、さらにその子たちとのあいだで大小関係が狂うかも。
なので同様の処理を繰り返し、親子の交換が起こらなくなったら終了、
ヒープ状態が維持されます。
ほんでもって、再び先頭要素を取り出して...配列が空になるまで繰り返します。

要するに要素の大きな順で取り出すことができてます。ほらソートできた。

STL/CLRでこの様子を再現してみた。

#include <cliext/algorithm>
#include <cliext/vector>

using namespace System;
using namespace cliext;

int main() {
Random r;
vector<int> v;
Console::WriteLine("前半");
for ( int i = 0; i < 10; ++i) {
    int n = r.Next(10,50);
    Console::Write("{0} -- ", n);
    v.push_back(n);
    push_heap(v.begin(), v.end());
    for each ( int item in v ) {
      Console::Write("{0} ", item);
    }
    Console::WriteLine();
}

Console::WriteLine("後半");
for ( int i = 0; i < 10; ++i ) {
    int n = v.front();
    Console::Write("{0} -- ", n);
    pop_heap(v.begin(), v.end());
    v.pop_back();
    for each ( int item in v ) {
      Console::Write("{0} ", item);
    }
    Console::WriteLine();
}
}

---- 実行結果 ----
前半
18 -- 18
19 -- 19 18
11 -- 19 18 11
13 -- 19 18 11 13
12 -- 19 18 11 13 12
47 -- 47 18 19 13 12 11
39 -- 47 18 39 13 12 11 19
14 -- 47 18 39 14 12 11 19 13
41 -- 47 41 39 18 12 11 19 13 14
26 -- 47 41 39 18 26 11 19 13 14 12
後半
47 -- 41 26 39 18 12 11 19 13 14
41 -- 39 26 19 18 12 11 14 13
39 -- 26 18 19 13 12 11 14
26 -- 19 18 14 13 12 11
19 -- 18 13 14 11 12
18 -- 14 13 12 11
14 -- 13 11 12
13 -- 12 11
12 -- 11
11 --

ちょっとばかしヘンな仕様

επιστημη — Fri, 22 Feb 2008 23:42:00 GMT

ネタ元 → hash_mapの使い方

そーなの、VC++についてくるhash_set, hash_map の類はインタフェースがちょっとばかし特殊。

そのワケはシノニムの扱いなのです。
同じハッシュ値をとる要素の群をシノニムってゆーです。
ハッシュ表はハッシュ値が同じシノニムの集合を扱わにゃならん。

STLportのhash_xxx実装ではシノニム集合を(配列/リンクリストなどの)リニアな
コンテナに納め、リニアサーチで要素を特定します。比較オブジェクトは
等値比較ができればいい。

対してDinkumwareのOEMであるVC++の標準C++ライブラリではhash_xxx名部
のシノニムを二進木に格納し、バイナリサーチで目的の要素を特定します。
なので比較オブジェクトには要素の大小を知れるものを与えるです。

STL/CLRの cliext::hash_xxx インタフェースはそれを引きずったカタチになってんですね。

またしても不安な Visual Studio 2008

επιστημη — Sat, 24 Nov 2007 18:04:00 GMT

引き続きまして → もすぬごく不安な Visual Studio 2008

いまさら感たっぷりにこんなのも見つけた。

#include <cliext/set>
#include <cliext/utility>

using namespace System;
using namespace cliext;

template<typename Iterator>
void print(cliext::pair<Iterator,Iterator> p);

int main() {
typedef multiset<int> myset;
myset s;
pair<myset::iterator,myset::iterator> p = s.equal_range(2);
print(p); // 一旦pairで受ければ問題ないけど
print(s.equal_range(2)); // 直接食わすと↓こんなERROR
/*
void print(cliext::pair<Iterator,Iterator>)' : could not deduce template argument for 'cliext::pair<Iterator,Iterator>' from 'Microsoft::VisualC::StlClr::GenericPair<TValue1,TValue2>'
*/
}

MDSN-forum(JP) と Connect にチクり済み。
Connect には
　Thanks for your feedback. We are escalating this issue to the appropriate group within
　the Visual Studio Product Team for triage and resolution.
　These specialized experts will follow-up with your issue.
とのお返事を貰えた。よしよし。

もすぬごく不安な Visual Studio 2008

επιστημη — Wed, 21 Nov 2007 15:44:00 GMT

RTM版が上がってたので早速試してみた。

β2でエラーになったコード:
#include ＜cliext/utility＞
#include ＜cliext/vector＞

int main() {
typedef cliext::pair＜int,int＞ point;
cliext::vector＜point^＞ pv;
}

こいつをコンパイルした.... 直ってないやん!

たったこんだけのコードでエラーになるようだとSTL/CLRまるごと不安になっちまうのですよ。
βの頃、とっくにバグレポート投げ済みなのよ。
https://connect.microsoft.com/VisualStudio/feedback/ViewFeedback.aspx?FeedbackID=301047

MSDN-forum(J)でも放置されちまったし。ぷんすか。
http://forums.microsoft.com/MSDN-JA/ShowPost.aspx?PostID=2113915&SiteID=7

ActiveのまんまRTMに突入ｶﾖｰリリース早々ServicePackのつもりか?
ServicePackが出ればまだマシなんやが、STL/CLRなんざマイナーだから
放置プレイなんてことになんじゃないかしら。 勘弁してくれやほんまにもー

[追記] ついでに list, deque, set, multiset, map, multimap および array についてやってみた。
通ってくれたのはmap, multimap, array の三つのみ。おーまいがー