InfoQ

InfoQ

News

マイブックマーク

ブックマークするためにログイン または 会員登録 する

ブックマークされました!

ブックマークがエラーになりました。もう一度お願いします。

リニューアルされたフレームワークデザインガイドライン

作者 Jonathan Allen , 翻訳者 菅野 裕 投稿日 2008年11月11日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
設計 ,
.NET

Microsoftが提供しているフレームワークデザインガイドライン(リンク)は、Microsoft製および開発者により開発されるライブラリーが従うべきルールが示されている。.NETフレームワークの各バージョンがリリース、テストされるたび、このガイドラインは洗練されてきた。Cwalina、Abrams両氏著の「Framework Design Guidelines」の第2版は(リンク)、Microsoftのこれから数年の方向性を見ることができる。

おそらくもっとも驚くことは、テスト駆動開発と依存性の注入(DI: Dependency Injection)の重要性が増していることだろう。テスト駆動開発は、フレームワークの再利用のからみで、空論ではなく現実的に有効な設計のフレームワークとして見られている。これによって、決して実装されないような複雑すぎる設計をしてしまう傾向を抑えることが期待できる。

このテーマに関して注目すべきことは、Microsoftがどのライブラリでも最初のバージョンは最小の設計にするように推奨していることだ。最初に正しそうなすべてのことを行うむなしい試みをするのではなく、要件を満たすために絶対に必要な機能だけから始めることを Microsoftは勧めている。Abrams、Cwaline両氏は、拡張性は明らかに必要となるバージョンまで追加しないことを勧めている。ある意味これは、以前のMicrosoftにあった、3番目のバージョンまでは真に完成したアプリケーションを提供しないやり方を見直すようにもとれる。

その他の領域では、特にMicrosoftに変わったことはない。設計の思想として「成功の穴(Pit of Success)」を重要視していることも相変わらずだ。特に、開発者の生産性の話のときは。たとえば、Exceptionのコンストラクタが publicではなく、protectedだったなら、開発者が正しく適切な例外をスローすることを強制できただろう。その代わり、私たちはFxCopを使ってこのような問題をチェックしなければならない。

その他に一貫して重要視しているものに「類似性の力」がある。これは、新しいライブラリを作る際に、他の.NETライブラリのユーザーが直感的にわかるように振る舞うことを要求するものだ。これはコードのあらゆる側面に当てはまる。命名規約であり、術語であり、デザインパターンであり。

Microsoftが強調しているもののうち、新しいのは依存性の注入(DI:Dependency Injection)だ。これはライブラリの中では常に使われていたものの、デザインパターンとは考えられていなかった。というより、それはAPIで必要となったときに行われたその場限りのやり方だった。これが.NET3.0とともに変わり、DIおよびIoC(Inversion of Control)コンテナーと明確に呼ばれるようになった。

フレームワークデザインガイドラインはCLRの上の技術のことになると不可知論的だ。たとえば、MicrosoftはDIライブラリであるManaged Extensibility Framework(リンク)の採用を進めるためにそれを使っていない。むしろ重点を置いているのは、ゴールにまっすぐ向かった、疎結合でテスト可能なコードを書くことにある。

PDCで特に強調して推奨されたものに以下のものがある。

クラスのコンストラクタはレイジーであるべきである。本来、コンストラクタではパラメーターを受け取る以上のことをすべきではない。クラスの新しいインスタンスがすぐに使用されるとは限らない。

プロパティは、

  • 例外をスローすべきではない (ゲッター)
  • 変換機能として使うべきではない (ゲッター)
  • 副作用を持つべきではない (セッター)
  • オブジェクトの状態に関わらず高速であるべき
  • 配列やクローンされたリストを返すべきではない (ゲッター)

拡張メソッドはインターフェースへオーバーロードを『追加』するために使われるべきである。これらはライブラリ間で依存性を管理するためにも使うことができる。たとえば、アセンブリBがアセンブリAに依存しているとき、AのクラスはBの機能を公開することができない。しかしAのクラスは、実際には存在しない依存性を拡張メソッドの注釈とすることでBへ与えることができる。

クラス階層については、全体で2ないしは3階層を超えるべきではない。過度に深い階層をつくると、それぞれの実装が全体の契約を守っていることを保証するのが難しくなる。これに関しては、オーバーライド可能なメンバーはどれも、正しく動作するためにサブクラスが必要とすることを記述した明白な契約があることが非常に重要になる。

インターフェースは小さく、なるべくなら1つのメソッドだけを含んでいるのが望ましい。メソッドが多くなると、インタフェースの設計の不備や、さらに多くのメソッドが将来必要になる可能性が大きくなる。もし抽象基底クラスが適当でない場合は、複数のインターフェースを組み合わせることで機能性を構築することができる。

原文はこちらです:http://www.infoq.com/news/2008/11/Design-Guidelines

特集コンテンツ一覧

GAE開発の落とし穴

Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します

イベントレポート:「Coqチュートリアル#1」

去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

CSPベースのモデル検査ツール「Process Analysis Toolkit」

本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。