C#

[いまさらWPF] ObservableなKeyedCollection

επιστημη — Thu, 01 Nov 2012 21:54:00 GMT

いまさらながらにWPFのおべんきょを始めちゃったりとか。
んで、Bindingてーもんがあらかたわかってきたです。

ListBox/ListViewなどなど、データ列を相手にするコントロールにバインドするデータちゅーと
ObservableCollectionなわけですが、"辞書"をListViewに載せたくなりました。
使えそうなクラスがないかとKeyedCollectionを見つけたけども、これってObservableじゃないので
ナカミの変化がコントロールに反映されへん。どーしたもんじゃろ...

んむ、どうやらINotifyCollectionChangedを実装してやればよさげなんで、
ObservableKeyedCollection<TKey,TItem>　なんてのをこしらえてみたですよ。

using System;
using System.Collections.Generic;
using System.Collections.ObjectModel;
using System.Collections.Specialized;

namespace System.Collections.ObjectModel.Wankuma
{
    public abstract class ObservableKeyedCollection<TKey, TItem> : KeyedCollection<TKey, TItem>, INotifyCollectionChanged
    {
        public ObservableKeyedCollection() : base() { }
        public ObservableKeyedCollection(IEqualityComparer<TKey> comparer) : base(comparer) { }
        public ObservableKeyedCollection(IEqualityComparer<TKey> comparer, int dictionaryCreationThreshold) : base(comparer, dictionaryCreationThreshold) { }

        protected override void InsertItem(int index, TItem item)
        {
            base.InsertItem(index, item);
            if (CollectionChanged != null)
            {
                CollectionChanged(this, new NotifyCollectionChangedEventArgs(NotifyCollectionChangedAction.Add, item, index));
            }
        }

        protected override void SetItem(int index, TItem item)
        {
            base.SetItem(index, item);
            if (CollectionChanged != null)
            {
                CollectionChanged(this, new NotifyCollectionChangedEventArgs(NotifyCollectionChangedAction.Replace, item, index));
            }
        }

        protected override void RemoveItem(int index)
        {
            TItem item = this[index];
            base.RemoveItem(index);
            if (CollectionChanged != null)
            {
                CollectionChanged(this, new NotifyCollectionChangedEventArgs(NotifyCollectionChangedAction.Remove, item));
            }
        }

        protected override void ClearItems()
        {
            base.ClearItems();
            if (CollectionChanged != null)
            {
                CollectionChanged(this, new NotifyCollectionChangedEventArgs(NotifyCollectionChangedAction.Reset));
            }
        }

        public event NotifyCollectionChangedEventHandler CollectionChanged;
    }
}

おためしにねじ込んでみたのがコチラ↓

いいカンジにできちゃったみたい♪ プロジェクト放出します。
まだまだヒヨッコなんでがしがしつっこんでくだせ。

わんくま東京勉強会#58 あふたけあ

επιστημη — Sun, 24 Apr 2011 09:15:00 GMT

ホントひっさしぶりのセッションでした。
愉しんでいただけたなら幸甚ﾅﾘ。

セッション・デモで使ったソリューションを放流しておきます。
http://cid-07c558f8e11e708f.office.live.com/self.aspx/%e3%82%82%e3%81%a3%e3%81%a6%e3%81%91%e3%83%89%e3%83%ad%e3%83%9c%e3%83%bc/StatePattern^_T4.zip

セッション後、えムナウさんから「ひとつのtemplateから複数のコード生成できるよー」てﾂｯｺﾐが。
あ、はい。 hostspecific='true' にしてT4-engineを明示的にkickすればできるのは知ってたけどさっくり割愛させていただきやした。
えムナウさんつっつけば教えてくれるとおもうよ♪

渡る者の途絶えた橋 (C#/LINQ版)

επιστημη — Fri, 28 Jan 2011 22:58:00 GMT

えとー、こんなもんかの。

#define SET_3

using System;
using System.Collections.Generic;
using System.Linq;

namespace DAG {
struct bridge {
    public char fr;
    public char to;
    public bridge(char f, char t) { fr = f; to = t; }
}

class Program
{
      static void Main() {
      List<bridge> path = new List<bridge>
#if SET_1
      {
        new bridge('A','B'),
        new bridge('B','C'),
        new bridge('A','C'),
        new bridge('A','D'),
        new bridge('C','D'),
      };
#elif SET_2
      {
        new bridge('A','B'),
        new bridge('A','C'),
        new bridge('B','C'),
        new bridge('B','D'),
        new bridge('D','A'),
        new bridge('D','C'),
      };
#elif SET_3
      {
        new bridge('A','B'),
        new bridge('B','C'),
        new bridge('C','D'),
        new bridge('D','E'),
        new bridge('E','F'),
        new bridge('F','G'),
        new bridge('G','H'),
        new bridge('H','F'),
      };
#endif
      while ( true ) {
        // 表示
        path.ForEach(item => Console.WriteLine("{0}->{1}", item.fr, item.to));
        Console.WriteLine();
        // 入口/出口セットを作る
        var froms = (from item in path select item.fr).Distinct();
        var tos   = (from item in path select item.to).Distinct();
        // 入口/出口セットの一方にあって他方にないものをremoveに
        // symmetrc-diference に相当するもんがなさげなんで"X-Y と Y-X の和集合"で代用
　　　　 var remove = Enumerable.Union(froms.Except(tos), tos.Except(froms));
        if ( remove.Count() == 0 ) break;
        // removeに含まれない橋を抽出する
        path = (from item in path
                where !(remove.Contains(item.fr) || remove.Contains(item.to))
                select item).ToList();
      }
      Console.WriteLine(path.Count() == 0 ? "DAG!!" : "cyclic!!");
    }
}
}

反転...ですかー

επιστημη — Thu, 04 Mar 2010 16:40:00 GMT

ネタ元 → ホワイトボードプログラミング

「ループを使わずに配列の順序を逆にする。」
えーと…できる限りずる賢く。

class Program {
public static void Main() {
    int[] array = new [] { 1, 2, 3, 4, 5 };
    // 一行!
    array = (new System.Collections.Generic.Stack<int>(array)).ToArray();
    foreach ( int item in array ) {
      System.Console.WriteLine(x);
    }
}
}

DbC/PbC と NVI

επιστημη — Tue, 02 Feb 2010 11:28:00 GMT

先週末のわんくま東京勉強会、ひさしぶりに懇親会に出たなり。

ま、それはそれとして、中さんのセッション: Spec# は面白かたあるよ。
DbC(Design by Contract:契約による設計) / PbC(Programming by Contract:契約プログラミング)
はEiffelやDあたりがサポートしてるんだけど、そいつをC#でもやっちまえって魂胆ね > Spec#

従来

class Base {
public virtual int func(int x) {
    Debug.Assert(x > 0 && x < 10); //事前条件: x = 0..9 でなければならない
    ....
    int result = ごーにょごにょ
    Debug.Assert(result >= 0); // 事後条件: 0以上を返すことをここに誓う
    return result;
}
}

なんてな Assert で利用者が守るべき契約(事前条件) 提供者が守る契約(事後条件) を
コード上に明記しよう。そうすることでより堅牢でバグの少ない(あっても直ちに判明する)
コードを書こうや、と。
# 不変表明(invariant)ゆーのんもありますがー

ここで問題となるのが、派生クラスで func をoverrideしちまったとき、
Base::funcに埋め込まれた契約条件がoverride側に適用されんです。
で、こいつの解決策のひとつがNVI(Non Virtual Interface)ってイディオム。

「利用者にvirutalなメソッドを晒すなﾎﾞｹｪ」てことっす。
んじゃどーするかっちゅーと:

class Base {
public sealed int func(int x) {
    Debug.Assert(x > 0 && x < 10); //事前条件: x = 0..9 でなければならない
    int result = do_func(x);
    Debug.Assert(result >= 0); // 事後条件: 0以上を返すことをここに誓う
    return result;
}
protected virtual int do_func(int x) {
    return ごーにょごにょ;
}
}

こーしておく。派生クラスはfuncから呼ばれてる do_func をoverrideするのね。

くだらんことやってますのん

επιστημη — Sat, 23 Jan 2010 06:46:00 GMT

ケッタイなこと頼まれましてね。
えとね、たとえばこんな数枚のWeb-pageがあったとするやないですか。

とかとか。

最初のページのURLあげるから、

「リンクを次々に辿りながらtable内の<td>～</td>を拾って一本の表を仕立ててくれ」

ってんですよ。

こんな感じで。

つまりこの、HTMLを解析しぃのページ上のリンクをつつきぃの、そゆこと自動でやってくれと。

んで僕が目を付けたのが selenium てゆー Web-アプリのTestTool.
seleniumはブラウザ上での人の操作を記録し、play-backしてくれます。

面白いことに、このseleniumを外から(.NETやらJavaやらPHPやらRubyやらで)

リモコン操作できるんす。

こいつを使ってページを渡り歩き、seleniumが読みだしたHTMLをパーサで解析してます。
.NET Frameworkには出来合いのHTMLパーサがなさげ(よね?)なので、
「すまんけどXHTMLなページ限定」と念を押してXML-domパーサ使いました。
”GET”ボタン押すと↓こんなのが動きます。　40行で書けちゃったですよ。

private void btnGET_Click(object sender, EventArgs e)
{
string serverURL = "localhost";
int serverPort = 4444;
string targetBrowser = "*firefox";
string targetURL = "http://www1.c3-net.ne.jp/episteme/";
selenium = new Selenium.DefaultSelenium(serverURL, serverPort, targetBrowser, targetURL);
selenium.Start();
selenium.Open("/episteme/CodeZine/trial.html");
while ( true ) {
StringBuilder builder = new StringBuilder("<?xml version='1.0' ?>");
// 得られたHTMLから<body>～</body>を抽出し、<html>～</html>ではさむ
builder.Append("<html>");
string html = selenium.GetHtmlSource();
int startpos = html.IndexOf("<body");
int endpos = html.IndexOf("/body>") + 6;
builder.Append(html, startpos, endpos - startpos);
builder.Append("</html>");
// XHTMLをXMLパーサで解析
XmlDocument document = new XmlDocument();
document.Load(new StringReader(builder.ToString()));
// <tr>～</tr> を抽出し、その中の<td>～</td>で行を構成する
foreach ( XmlNode row in document.DocumentElement.GetElementsByTagName("tr") ) {
ListViewItem item = null;
bool first = true;
foreach (XmlNode node in row.ChildNodes) {
if (node.Name != "td") break;
if (first) item = new ListViewItem(node.InnerText)
else item.SubItems.Add(node.InnerText);
first = false;
}
if ( item != null ) lstTable.Items.Add(item);
}
// HTML中に"これでおしまい"を見つけたら終了。
if (selenium.IsTextPresent("これでおしまい")) break;
// さもなくば "こちら"が示すリンクに飛ぶ
selenium.Click("link=こちら");
selenium.WaitForPageToLoad("30000");
}
selenium.Stop();
}

ActionとFunc

επιστημη — Thu, 17 Dec 2009 18:48:00 GMT

C++のばやい、voidを返すことができます。たとえば:

#include <iostream>
#include <functional>

namespace std { using namespace std::tr1; }

void f() { std::cout << "f()\n"; }
void g() { std::cout << "g() calls:"; return f(); } // ココ!

int main() {
  std::function<void(void)> function = g;
  function();
}

かたやC#では:

using System;

class Program {
  public static void f() { Console.WriteLine("f()"); }
  public static void g() { Console.Write("g() calls:"); return f();} // ココ!
  
  public static void Main() {
    g();
  }
}

error CS0127: 'Program.g()' は void 型を返すため、キーワード
return の後にオブジェクト式を指定することはできません。

しょぼーん。

Action<T> と Func<T,TResult> を統一的に扱いたく
# つまり戻り値voidでもFuncで済ましたくて

using System;

class Program {
  public static void Main() {
    Action<string> a = (s)=>{ Console.WriteLine("{0}ワールド",s); };
    a("ヘロー"); // ↓ココ!
    Func<string,typeof(void)> f = (s)=>{ Console.WriteLine("{0}ワールド",s); };
    f("なるほど ザ・");
  }
}

error CS1525: 'string' は無効です。
error CS1525: ',' は無効です。
error CS1002: ; が必要です。

お、おまえは何を言っているのだ!?
# typeof() って静的に解決できるんじゃないのぅ?

データ構造なめんな

επιστημη — Sun, 06 Dec 2009 01:13:00 GMT

ネタ元 → 例外に依存するロジックは駄目ですよ

ほほぉ、なかなかに興味深い実験でございます。

　「このケースのように、事前に対象データの絞り込みは言語で
　　行うほうが良いケースもあります。」

SQLわからんちんの僕には胸のすく思い。

もちっと速くなるかもしんないなーってんでちょいと実験です。


using System;
using System.Collections.Generic;
using System.Diagnostics;

class Program {

  static long AddUnique<T>(IEnumerable<T> src, ICollection<T> dst) {
    Stopwatch watch = Stopwatch.StartNew();
    foreach ( T item in src ) {
      if ( !dst.Contains(item) ) { // 重複なければ
        dst.Add(item); // 追加
      }
    }
    watch.Stop();
    return watch.ElapsedMilliseconds;
  }

  public static void Main() {
    int N = 100000; // 要素数
    int M = 10000; // 値の上限
    // 元ネタ生成
    int[] src = new int[N];
    var r = new Random();
    for ( int i = 0; i < N; ++i )src[i] = r.Next(M);
    // 3つのCollectionで比べてみよう
    Console.WriteLine("LinkedList : {0}[ms]",AddUnique(src, new LinkedList<int>()));
    Console.WriteLine("List       : {0}[ms]",AddUnique(src, new List<int>()));
    Console.WriteLine("HashSet    : {0}[ms]",AddUnique(src, new HashSet<int>()));
  }
}

実行結果:
LinkedList : 4729[ms]
List : 3503[ms]
HashSet : 17[ms]

Hashすげー。

パーシャルクラスに対する一抹の不安

επιστημη — Wed, 09 Sep 2009 21:43:00 GMT

ネタ元 → パーシャルクラスの使い道

んだね。ひとつのクラスを複数のソースで記述できる。
C++屋に言わせてもらえば「なにをいまさらー」なワケです ^^;
C++ではクラスの実装 = クラスの宣言 + Σ各メソッドの実装ですからね。

パーシャルクラス@C# と C++クラスの決定的な違いは、
C++ではクラスの宣言を分割できません。
なのでメソッドやフィールドを後付けでほいほい追加することはできず、
必ず宣言部(ヘッダ)をいぢくらにゃあきません。

επι的には、パーシャルクラスには一抹の不安を覚えます。
というのも、ソースコードひとつ眺めてもそのクラスの全貌を知ることはできません。
そのクラスを実装する全ソースをかき集めないと全体像が見えない。
つまりはコンパイル済みのアセンブリからリフレクション使ってメタデータを
引っこ抜かないと全貌はわからんてことです。
# 片やC++ではヘッダ一本眺めれば、そのクラスの全貌が掴めます。

ソースコードという、ヒトがコードを理解するのに最も単純でツブシの効く表現
だけでは全体像を掴めないってーとこに居心地の悪さみたいなものを感じますです。
プリントアウトをズラリと並べても”これで全部”という保証はどこにもないのですから。

# 同様の居心地の悪さを拡張メソッドにも感じるわけなんだが

こんなのもあっていいかなーと

επιστημη — Wed, 02 Sep 2009 10:59:00 GMT

おあそびですよ、おあそび。

using System;
using System.Collections.Generic;

using Wankuma.Extensions;

namespace Wankuma.Extensions {

public static class SystemExtensions {
    // 初項:initial 公差:stride 項数:count の等差数列
    public static IEnumerable<int> Sequence(this int count, int initial, int stride) {
      for ( int i = 0; i < count; ++i ) {
        yield return initial;
        initial += stride;
      }
    }
    // initialから1刻みにcount個
    public static IEnumerable<int> Sequence(this int count, int initial) {
      return count.Sequence(initial,1);
    }
    // 0からcount-1まで
    public static IEnumerable<int> Sequence(this int count) {
      return count.Sequence(0,1);
    }
}

}

// こーやって使う
public class Program {
public static void Main() {
    // 初項2, 公差3 で 5つ。
    foreach ( int n in 5.Sequence(2,3) ) {
      Console.Write("{0} ", n);
    }
    // 要素数10コ、ぜんぶ-1で埋める
    List<int> array = new List<int>(10.Sequence(-1,0));
}
}