C#

using の謎

菊池 — Wed, 09 Dec 2009 04:43:00 GMT

といっても IDisposable のほうで無くて、type aliase のほう

using Hoge = string;

error CS1041: 識別子が必要です。キーワードは
'string' です

using Hoge = System.String;

compile success

なんで？

メモリ帯域とCPUキャッシュの効率が問題だ

菊池 — Thu, 19 Nov 2009 03:51:00 GMT

http://social.msdn.microsoft.com/Forums/ja-JP/csharpgeneralja/thread/94173254-e79c-47ad-8fbd-98c421aa74d9/

の問題がなかなか面白い。

ループ回数が膨大＝i,j の軸が結構長いと仮定すると

多分 CPU のキャッシュが実質として効いてない（効かない）のが最初の問題で、メモリ帯域に率速してしまっているのが性能問題の主因だろう。

変化は一方向に伝搬しているように見える(i を更新して i-1 で見てる、j+1を元にjに反映)のでブロックごとに演算して CPU キャッシュを効かせてあげる＆依存関係から外れる所を並列化の対象とすると良いんだけど、実コードに落とすとなると結構難しい。

Quick Hack: SketchFlow for ASP.NET MVCの様なもの

菊池 — Mon, 16 Nov 2009 02:46:00 GMT

タイトル通りにちょっとQuick Hackしてみた。

SketchFlow ってのは画面遷移もカンタン設計、MSが新ツールをデモ－＠IT とかにざっくりした概要はあるが要するに画面フローをWPF / SilverLight プロジェクトのプロトタイピングとして簡単にできるツールなわけで Expression Blend 3 についてる新機能です。

んで、画面フローをプロトタイピングして、その結果として「これでこの機能できるよねー」とかの検証をしたうえで実装に入るという開発プロセスを踏むわけです。

んで、検証された画面フローの使い道を WPF / SilverLight に限定してしまうのはモッタイナイというわけでやってみたちゅーこと。

手順は簡単で最初にとにかく適当に画面フローを SketchFlowで書いてみる。それをBlendからビルドして試しに動かしてみる。この辺入念に。

納得行く動きをする画面フローができたらおもむろに Blend を終了して、 Sketch.Flow ファイルを Visual Studio で開く。

なんてこたーないXMLが出てくるので XML メニューからスキーマを生成させて、xsd を保存。

XSDをLiquid XML Studioで読み込んで重要になりそうな要素を選んで右クリックでRefactor -> Convert to Global Type で型を割りつける。

自分は Data/Screens 配下の Screen と Data/Connections配下のConnectionが重要とみて実行。（QuickHackなので名前なんて気にしない、デフォルトで出た ScreenType、ConnectionType を名前としてそのまま使った）

XMLを見てみると Screen のTypeがNavigationな物が画面なんで、その画面に対してテンプレートを作る。

$@query
from ScreenType s in input.Screens where s.Type=="Navigation" select new { filename=s.ClassName+".aspx" , item=s }
@$
$@itemType ScreenType
<html>
<head>
<title>$=item.DisplayName$</title>
</head>
<body>
<h1>$=item.DisplayName$</h1>
<p>リンク</p>
$@list( ConnectionType conn in from c in input.Connections where c.Type=="Navigation" && c.Source==item.ClassName select c )$
<% = Html.ActionLink("$= input.Screens.Single( s=>s.ClassName==conn.Target ).DisplayName$", "$=conn.Target$") %>
$ @$
<p>埋め込み</p>
$@list( ConnectionType conn in from c in input.Connections where c.Type=="Composition" && c.Source==item.ClassName select c )$
<% Html.RenderPartial("$= input.Screens.Single( s=>s.ClassName==conn.Target ).ClassName$"); %><br/>
$ @$

</body>
</html>

こいつは csxっていう自作のコードジェネレータジェネレータの為のテンプレート。要するに画面のクラス名に従って aspx を吐きだしてくれる。内部にはConnections配下にあるConnectionを元にNavigationをリンクとしてまとめて出してくれて、Composition として ascx への RenderPartial を吐く。

同様に Composition を

$@query
from ScreenType s in input.Screens where s.Type=="Navigation" select new { filename=s.ClassName+".aspx" , item=s }
@$
$@itemType ScreenType
<html>
<head>
<title>$=item.DisplayName$</title>
</head>
<body>
<h1>$=item.DisplayName$</h1>
<p>リンク</p>
$@list( ConnectionType conn in from c in input.Connections where c.Type=="Navigation" && c.Source==item.ClassName select c )$
<% = Html.ActionLink("$= input.Screens.Single( s=>s.ClassName==conn.Target ).DisplayName$", "$=conn.Target$") %>
$ @$
<p>埋め込み</p>
$@list( ConnectionType conn in from c in input.Connections where c.Type=="Composition" && c.Source==item.ClassName select c )$
<% Html.RenderPartial("$= input.Screens.Single( s=>s.ClassName==conn.Target ).ClassName$"); %><br/>
$ @$

</body>
</html>

ってやり（それぞれ適当にtemplateを拡張子として保存）

>"c:\Program Files\csx\csx.exe" -xsd:Sketch.xsd -generateExe -schemaRoot:Data *.template

でコードジェネレータを作って

>Sketch.exe Sketch.Flow

で実行。

めでたくプロトタイプ通りの aspx と ascx が得られましたとさ。

xaml を解釈してもっと細かいデータ取ればより細かい生成制御はできると思う＆人手でのデザイン(HTMLコーディング)と機械生成する部分の調整をしないと駄目なんだろうけど、Quick Hack としてはまず成功。

というわけで、斜め上に間違えたSketchFlowの使い方でした。

Let's Enjoy Generate Code!

新人採用…終了？

菊池 — Fri, 06 Nov 2009 07:21:00 GMT

というわけで、また社員募集していますでの採用も大方終了しました。

いつもの事で　Joel テストに従って書き問題をやったので問題を晒してみます。

CSVの生成

　以下の仕様に基づいてCSV出力を行うコードを実装して下さい。（記述言語は問いません）

・文字列と数値からなるデータを出力する

・各レコードは改行で区切られる（以下例外あり）

・文字列はダブルクォート(")で囲まれる

・文字列内で2つの連続するダブルクォートを一つのダブルクォートのエスケープとして扱う

・文字列内での改行が許される

public struct Field {

public bool IsString; // 要素が string の場合には true

public string StringValue;

public int IntegerValue;

}

において、以下のメソッド形式で実装して下さい。

public static void WriteCsv( string pathName, IEnumerable< Field[] > records )

こんな感じ。

P.S.

BCL4.0ではストリームがIEnumerable食えるようになるらしいねー

だからと言って

using( var sw = new StreamWriter( pathName ) ) sw.WriteLines( from rec in records let recString = (from field in rec select field.IsString ? "\""+ field.StringValue.Replace("\"","\"\"") +"\"" : field.IntegerValue.ToString() ) ).Join(",") select recString );

とかワンライナーやる奴は某誰かと同類という事でご遠慮いただけると幸いです。

今度はT16までだ

菊池 — Tue, 27 Oct 2009 04:46:00 GMT

Func(T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, TResult) Delegate (System)

きたーーー！

public static Expression<Func<TResult>> AsExpression( Expression<Func<TResult>> expression ) { return expression }
public static Expression<Func<T1,TResult>> AsExpression( Expression<Func<T1,TResult>> expression ) { return expression }
… Func のT4まであるパターンに従って作る

Where に埋め込む為に Expression Tree をさらにこねる

なんて事をやっていたみなさん、お仕事４倍のお時間がやってまいりました。

通常の３倍で消化をお願いします。（ぉぃ

この辺、なんとかならんもんなんでしょうか。

これはやりすぎだろ

菊池 — Fri, 23 Oct 2009 08:06:00 GMT

VS 2010 Code Intellisense Improvements (VS 2010 and .NET 4.0 Series) - ScottGu's Blog より

Pascal Case Intellisense

The .NET Framework naming guidelines specify that type and member names should be “Pascal Cased” by default. This means that each word in a type or member should start with a capitalized letter (for example: PageIndexChanged).

おいおい、これはいくらなんでもやりすぎだろー。

ANE (ArgumentNullException)とか、 SCEA(SelectionChangedEventArgs) とか、AOORE (ArgumentOutOfRangeException)とか。

超絶略語の飛び交うさまが目に浮かぶ。

.NET Reactive Framework を Enjoy! してみた

菊池 — Tue, 18 Aug 2009 11:25:00 GMT

最初にする事

http://themechanicalbride.blogspot.com/2009/07/introducing-rx-linq-to-events.html　の下のほうにURLが出てるんだが

http://evain.net/blog/articles/2009/07/30/rebasing-system-reactive-to-the-net-clr　を良く読んで Silverlight 用のランタイム向けになっている System.Reactive.dll にパッチをして通常のCLRで使えるようにする。

    class SalesEventer
    {
        public event EventHandler<SalesEventArgs> Selled;

        public void RaiseSelled( string name, int amount )
        {
            Selled( this, new SalesEventArgs() {name = name, amount = amount});
        }
    }

    internal class SalesEventArgs : EventArgs
    {
        public string name;
        public int amount;
    }

なんかが売れたら売れたよイベントを上げてくれるSalesEventerをこう作った。

    class Program
    {
        static void Main(string[] args)
        {
            SalesEventer eventer = new SalesEventer();

            using (Observable.FromEvent<SalesEventArgs>(eventer, "Selled")
                .Where(
                    salesEvent =>
                    salesEvent.EventArgs.name == "ピザ" && salesEvent.EventArgs.amount >= 3)
                .Subscribe( s => Console.WriteLine("ピザ {0}枚とか食いすぎだろ", s.EventArgs.amount)))
            {
                foreach (int i in Enumerable.Range(1, 5))
                {
                    eventer.RaiseSelled("ピザ", i);
                }
            }

            Console.ReadLine();
        }
    }

素晴らしい、イベントをフィルタリングしながらハンドルするのがこんなに簡単にだ。

んで、フィルタリングするだけなら from ... select のLINQクエリ式も書けるので (from ... select ... ).Subscribe( Action ) で書いても良い。

ちなみに using で使ってるのはSubscribeで IDisposable が帰ってくるから、そして Disposeするとイベントのハンドリングは解除されるって事で IDisposable をちゃんと扱えばイベントのハンドリング制御も全く簡単だ。

System.Linq.Observable にはなんだか色々と面白そうな物が転がってるのでみんなも試してみてね！

.NET Reactive Framework

菊池 — Tue, 18 Aug 2009 08:12:00 GMT

System.Reactive.dll がかなりよさげだ。

http://silverlight.codeplex.com/SourceControl/ListDownloadableCommits.aspx　より Latest Version をダウンロードする。

Silverlight3/Source/Binaries 配下に System.Reactive.dll があるからぜひ叩いてみよう。

叩き方は

http://themechanicalbride.blogspot.com/2009/07/introducing-rx-linq-to-events.html

を参考の事。

Enjoy!

構造体型に対するユーザー定義デフォルトコンストラクタ

菊池 — Sun, 26 Jul 2009 04:07:00 GMT

ネタ元：ユーザー定義のデフォルトコンストラクタと配列の初期化 - NyaRuRuの日記

.NET アセンブリの仕様としては，構造体にユーザー定義のデフォルトコンストラクタを定義することは可能．ただ，仮に定義したとしても配列の初期化では呼び出されないという点だけで十分に罠過ぎる．

んー、もうちょっと段階分けて書かないと語弊があるかも知れませんですよ。

CTS(Common Type System)のメタデータ構造的にはどんな型にでもデフォルトコンストラクタを定義する事は可能（パラメーターの無い ctor を書く事ができるという意味で）

CLI (CLR)的には値型のデフォルトコンストラクタは呼ばれない。

なんで値型のデフォルトコンストラクタが呼ばれないかというと、呼ぶコードが無いからの一言で済んでしまうんだけど、ILをみてみれば話は速かったりする。

IL でフィールドを定義する時やローカル変数を定義する時には単純にエリアの確保宣言だけなわけでそこにはデフォルトコンストラクタを呼ぶコードもなければ、参照型では生成時に実行する newObj 的な何らかのオペコードが絡んでいるわけでもない。

要するに呼べって言われてないから呼ばれない。

だから値型にデフォルトコンストラクタを定義する意味がない。

結果としてどんなに頑張ってもコンパイラで暗黙に ctor を呼ぶコードを生成するかあきらめて0初期化を受け入れるかの二択

んで

ちなみに値型配列について，ユーザー定義のデフォルトコンストラクタを適用したい場合は，Array.Initialize という専用メソッドを呼び出してやるか，勝手にこのメソッド呼び出しを挿入してくれる言語とコンパイラが必要．

これもまた語弊があって、こういう言語とコンパイラを作ったとするとILレベルでの相互運用性に非常に難のある罠言語ができる

なぜなら、CLI上の言語の殆どはここまでの話しの通りに CLI 仕様そのままをユーザーに受け入れさせるべく言語仕様を設定して実装されている。デフォルトコンストラクタを自動的に呼んでくれるコンパイラのはきだしたアセンブリに含まれる値型をインスタンス化する場合にもそのように動く。

結果的にそんな言語を作ってデフォルトコンストラクタを頑張って定義しても他言語と相互運用する場合に破綻する可能性が非常に高く、そういう言語とコンパイラ＋相互運用を実現するために既存の.NET言語とのすり合わせをやる何らかのランタイムが必要。要するに ValueTypeのデフォルトコンストラクタでの初期化を実現する VIR (Value type Initialization support Runtime)をDLRみたいに必死こいて実装しないと駄目で、言語とコンパイラを作ってもその中でクローズドな解にしかなりません。

んで、ILレベルで値型に対してエリア宣言のみでなく何らかのイニシャライズ動作を行う為のop Codeを割り当てなかった理由は知らない、「MSの中の人に聞いてくれ」だけど、仕様文書ではパフォーマンスの為となってるし多分パフォーマンスを強く意識しての事だが本質的にはプリミティブオペレーションが複雑になりすぎるからだと思います。

NyaRuRuさんも言及してるけど、配列の初期化を代表格として値型変数がレジスタ割り当てされた時どうすんのよ（一旦メモリにおいてデフォルトコンストラクタ呼んでからレジスタに引き戻す？）とか、ローカル変数にパラメータをそのまま入れる時にローカル変数のデフォルトコンストラクタは呼ぶべき？とか。ローカル変数、フィールド、演算中のテンポラリワーク、色々あるけどすべてにわたって整合性のあるルールとして妥当だったのが「デフォルトの0初期化以外はコード上で明示的に呼ばない限りには行わない」って事かと。

Where に埋め込む為に Expression Tree をさらにこねる

菊池 — Fri, 24 Jul 2009 05:28:00 GMT

LINQ to SQL ではパラメータークエリを作るための CompiledQuery クラスがある。

こいつを使うと LINQ to SQL が SQL 文に変換した結果をキャッシュできるし、パラメータ化したクエリを実行できるのでSQLサーバーサイドでのプランキャッシュも有効に働くため、LINQ to SQLで性能を出す為には利用必須と言いたい機能である。

この子を使うと言語上で面白い効果が表れる。

var q = (HogeDataContext db) => from db.table where ... select ... ;

通常は上記はコンパイルできない。ラムダを var に突っ込むなと怒られる。

var q = CompiledQuery.Compile( (HogeDataContext db )=>from db.table where ... select ... );

これはコンパイルが通る。なぜなら var は CompiledQuery.Compile の戻り値で示されるFunc型だと決まるし、CompiledQuery.Compile の引数によってラムダは式木である事が強制されてあいまいさが消えるのである。

さて、このようにメソッド引数を介してあいまい性を消す事ができるという知識とそれをもとにちょっとしたユーティリティメソッドを作らないと匿名型を使ったパラメータクエリの元の式木をいじるのは厄介な問題を抱える事になる。

public static Expression<Func<TResult>> AsExpression( Expression<Func<TResult>> expression ) { return expression }
public static Expression<Func<T1,TResult>> AsExpression( Expression<Func<T1,TResult>> expression ) { return expression }
… Func のT4まであるパターンに従って作る

って感じで渡されたそのものをそのまま返す何もしないメソッドを作ると式木を var で持つのが簡単にできる。

var q = AsExpression( (HogeDataContext db) => from db.table where ... select ... );

AsExpression を作った事により引数型で式木である事が強制されるし、戻り値で式木である事が強制されるのでエラーにならずに式木を匿名型に突っ込む事ができるようになったわけだ。（これができないと匿名型を返す LINQ to SQLクエリの式木をいじるなんて事は不可能だ）

んで、 where 部を可変にした LINQ to SQL クエリを作るにはもうひとつの段階が必要で、from …での LINQ シンタックスから一旦離れる必要がある。なぜなら、式木として組み立てた predicate を呼ぶ方法が無くなってしまうから。

var pred = AsExpression( (ItemType item) => item.value!=null );

として from i in db.Item where pred(i) select i は全くもってコンパイルが通らない。predは変数なのにメソッドの様に使ったと怒られる。

当然に predは確かに式木なんでそのままでは呼べない。

これをメソッドチェインで書くとどうなるか。

var　items = db.Item.Where( pred );

めでたく items にクエリを格納できるはずだ。

そして冒頭に出てきた CompiledQuery の問題が再燃する。

var items = AsExpression( ()=> db.Item.Where(pred) );
Console.WriteLine( items );

とやると

() => value(ConsoleApplication4.Program+<>c__DisplayClass0).Item.Where(value(ConsoleApplication4.Program+<>c__DisplayClass0).pred)

とか言う表示になるはずだ（仔細は貴方の環境次第だが、value(…).predとなっているはずだ）、これをCompiledQueryにしようとしても駄目だ、式木は pred を実行時に参照解決して動作するという事になっているのだ。

もちろん LINQ to SQLで作られたSQL文がSQL Server上で実行されるときに pred がどうなってるかなんて見に来る事はできないしうまくいかない。

この pred への参照にpred自体を埋め込まなければLINQ to SQL で実行する事はできないしCompiledQueryで使うこともできない。

    public class EmbedLambdaValueVisitor : ExpressionVisitor
    {
        private LambdaExpression _embedLambda;

        public EmbedLambdaValueVisitor(LambdaExpression embedLambda)
        {
            _embedLambda = embedLambda;
        }

        public Expression EmbedLambda( Expression expression )
        {
            return base.Visit(expression);
        }

        protected override Expression VisitMemberAccess(MemberExpression m)
        {
            var lambda = Expression.Lambda(m);
            var func = lambda.Compile();
            if (func.Method.ReturnType == _embedLambda.GetType())
            {
                var value = func.DynamicInvoke();
                if (value == _embedLambda)
                {
                    return _embedLambda;
                }
            }
            return base.VisitMemberAccess(m);
        }
    }

上記の ExpressionVisitor 派生はこの問題を解決する。

EmbedLambdaValueVisitor embed = new EmbedLambdaValueVisitor( pred );
Expression q2 = embed.EmbedLambda(items);
Console.WriteLine( q2 );

とするとこうなっているはずだ

() => value(ConsoleApplication4.Program+<>c__DisplayClass0).Item.Where( (item)=> item.value!=null );

めでたく pred を参照しているところに pred の内容を埋め込む事ができた。

VisitMemberAccessの動作が肝だけど、単純に MemberExpression を LambdaのBodyとして作りコンパイル実行して MemberExpressionの結果を取っている（型チェックなどはショートカットに過ぎない）。それが置き換え対象として指示されたLambdaと一致したら MemberExpression の代わりに Lambda を返す事で式木中のMemberExpressionがラムダの実体に置き換えられるという流れだ。

これを必要なだけ繰り返して MemberExpression をうまくどけてあげれば式木として作ったクエリがLINQ to SQLを介して実行できるようになるだろう。

ちなみに from ... select 形式からメソッドチェインの形式への変換は LINQPad でできるよ！って事は某元俺がルールな人から教わった。