InfoQ

InfoQ

News

マイブックマーク

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

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

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

C#討論: いつvarを使用すべきか?

作者 Jonathan Allen , 翻訳者 編集部 投稿日 2008年6月8日

セクション
デベロップメント,
設計/アーキテクチャ
トピック
シンタックス ,
プログラミング ,
.NET
タグ
C#

C#3は「var」というキーワードを追加した。これは、コンパイラがどの型の変数を使用すべきか明確に決定できる場合に、ローカル型の推論を可能にする。しかし、それをいつ使用すべきかに関しては議論が分かれている。

IDEツール会社であるJetBrainsの(source)Ilya Ryzhenkov氏は、varを使用するいくつかの利点をまとめている(source)

  1. より優れたローカル変数の命名をもたらす。
  2. より優れたAPIをもたらす。
  3. 変数の初期化をもたらす。
  4. コードノイズを取り除く。
  5. usingディレクティブを必要としない。

RSS BanditのDare Obasanjo氏は同意していない。彼は、自身のオープンソースプロジェクトに不利な変化と思えることを認識した後、Ryzhenkov氏の見解に対する返答を(source)書いた。彼は次のように反論している。


これらの「利点」のほとんどが、どれほど主として文体的であるかというだけでなく、どれほど互いに矛盾しているかを考えると面白いです。たとえば、varが「より優れたローカル変数の命名」をもたらすという主張は、実際は開発者に長いハンガリースタイルの変数名を使用させることを意味します。さらにおかしなことに、こうした長い変数名は、変数が宣言されると現れる1つの型名と比べて、変数が使用されるどの場所にも現れるため、全般的にコードにノイズを加えます。varが「より優れたAPI」をもたらすという主張は、長くてより記述的なプロパティ名(たとえば、XmlNode.NameではなくXmlNode.XmlNodeName)を使用せざるを得ない場合の改善点であるという主張であり、このテーマの別のバリエーションです。変数名で型情報をエンコードすることは最低だということを誰かがReSharper派に伝えるべきです。それが、私たちが第一にC#のような強く型付けされたプログラミング言語を使用する理由です。


もう1つ、varが変数の初期化を促進するという主張は、C#コンパイラがすでにそれを実施していることを考えると、おかしいです。さらに重要なことに、使用前に変数をnullに初期化する一般的なシナリオが、varキーワードによってサポートされていません。


Dare氏は、公式のC#言語リファレンスの(source)一節で彼の主張を支持している。


varを過度に使用すると、ソースコードを他の人が読み取りにくくなることがあります。varは、必要なときだけ、つまり変数を匿名の型1つまたは匿名の型の集合を格納するために使用する場合にのみ使うことをお勧めします。


varが可読性を低下させるという訴えは、すべての人に共通するわけではない。Arnon Rotem-Gal-Oz氏は(source)次のように記述している。


コードの可読性に関する主張については、私は、メソッドを短く意味のあるメソッドと変数名に保つと同時にテスト(コードがどのように動作するかを理解するのに実際に役立つもの)をサポートするような、より強力なメソッドに焦点を合わせることのほうを望みます。それはさておき、本当にどうしても可読性が必要であるならば、varキーワード上にマウスを置けばresharperが型を教えてくれます。

Chris Sutton氏はさらに一歩踏み込んでいるようで、型は関係ないということを(source)ほのめかしている。


t型がわからない場合にのみvarを使用すべきであるという案が浮かび上がりました。この点で、私の意見と使用法は異なります。次のコード部に注目してください。


var procs = from p in ServiceController.GetServices()
where p.Status == ServiceControllerStatus.Running
select p;
procs.ToList().ForEach(p=> Console.WriteLine(p.ServiceName));


procsは確実にIEnumerableですが、私には関係のないことです。私が第一に気に掛けることは、procsがリストであり、リスト内の各アイテムにServiceNameというプロパティがあるということです。基盤となる型はコンパイラにとっては重要ですが、コードを読み取らなければならない人はコンパイラではありませんよね?

原文はこちらです:http://www.infoq.com/news/2008/05/CSharp-var

特集コンテンツ一覧

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 のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。