L'eclat des jours(2006-10-06)
_ C#ジェネリックの確認 別に確認するまでもないが、.NETのGenericsがシンタックスシュガーではないことを確認してみた（追記：つい<T>をそのまま書いてブラウザーに食われていたので修正）。 public static void Main() { List<int> lg = new List<int>(); lg.Add(4); System.Collections.ArrayList lo = new System.Collections.ArrayList(); lo.Add(4); System.Console.WriteLine(lg[0] + (int)lo[0]); } 単なるシンタックスシュガーであれば、lgとloに対して生成されるILは同一になる。しかし、実際には異なる。 IL_0001: newobj instance void class [mscorlib]
AspectJによる契約駆動開発 (実験編) - 檜山正幸のキマイラ飼育記 (はてなBlog)
前回触れたiContractやJMLでは、クラスやメソッドの定義の直前にドキュメンテーション・コメントと同じようにして契約を書けます。ところが、アスペクトを使う場合には、ソースコード内に直接契約を埋め込むことはできません。契約だけ別ファイルに書くことになります。これは欠点でもありますが、契約だけを事前に準備する（契約ファースト！）には向いているし、契約（だけ）のメンテナンスも楽です。 そういう事情で、ここでは、インターフェースに契約を付与することを考えましょう。 契約付きインターフェース 契約付きインターフェースの構文は、Eiffelを参考にテキトーにでっち上げます。 クラス宣言頭部に不変条件を、invariant 条件の形で書く。 メソッド宣言頭部に事前条件を、requires 条件の形で書く。 メソッド宣言頭部に事後条件を、ensures 条件の形で書く。 戻り値はresultで表す。
AspectJによる契約駆動開発 (準備＋蘊蓄編) - 檜山正幸のキマイラ飼育記 (はてなBlog)
そういうわけで（前のエントリーからの続きの気分）、なんかAspectJの練習をしたくなりました。メイヤー・ファンの僕としては、最初の課題に契約（contract）をやってみたい。"The AspectJ(TM) Programming Guide"の1.3節"Development Aspects"にも、"Pre- and Post-Conditions"、"Contract Enforcement"という例が出ているのだけど、もう少し系統的な契約記述法を探ってみましょう。 契約といえば、メイヤー先生に決まってんでしょ 契約概念について知りたいなら、迷わずメイヤー本『入門』の第7章「ソフトウェア構築への体系的アプローチ」（70ページもある）を読むべし。短い解説ならWeb上でも読めます→http://archive.eiffel.com/doc/manuals/technology/cont
OBB vs AABB - Radium Software Development
iPhoneの一般修理店は予約なしでも来店できる？ 基本的には飛び込みで修理に行ってもOK iPhoneを置いていたソファにうっかりと腰かけてしまい、パネルを割ってしまった、こんな時はスマホの一般修理店へ行きましょう。画面割れは、スマホやタブレットの故障原因として非常に多いものです。予約なしで突然お店に行っても平気かしらと、不安に思う方々もいらっしゃるかもしれません。結論としては特に問題はなく、予約なしで訪問しても画面割れの修理はお願いできます。 ただし他のサービス業のお店同様、予約なしの場合、お店が混雑していると順番待ちをしなければいけないです。特に繁盛しているスマホ修理のお店だと、行列が店内で出来ており、予約なしだと、自分の順番が巡ってくるまで長時間待たされる可能性があります。平日の朝、昼なら利用客が少ない場合が多く、飛び込みでも比較スムーズに修理が頼めます。 予約は入れた方が時短に、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
javaworld.jp
