インタフェース (抽象型)

インタフェース  は、JavaやC#などのオブジェクト指向プログラミング言語においてサポートされる、実装を持たない抽象型のことである。これらの言語において、クラスは実装の多重継承をサポートしない代わりに、任意の数のインタフェースを実装  することができ、これにより型の多重継承をサポートする。複数の種類のオブジェクトを、インタフェースを用いた多態性によって統一的に扱うことができるようになる。インターフェイスやインターフェースなどと表記することもある。

1. 概要
-----

オブジェクト指向プログラミングにおいて、多重継承はプログラミングの自由度と柔軟性を向上する。C++は「実装の多重継承」をサポートし、クラスは複数のスーパークラスを持つことができる。しかし、実装の多重継承は菱形継承問題などの欠点を抱えている。実装の多重継承の問題点を回避するためにC++は仮想継承の仕組みを導入したが、これはプログラミング言語仕様が複雑化する原因となった。しかし、「型の多重継承」に限れば、問題点の多くは回避でき、また言語仕様もシンプルになる。JavaおよびC#では、実装の継承は単一継承に制限したうえで、代わりに具体的な実装を持たないインタフェースによる型の多重継承の仕組みを導入し、多重継承問題に対する解決策を提供している。

インタフェース自身はインスタンス化することができないが、任意のクラスにてインタフェースを実装することで、そのクラスのインスタンスは当該インタフェースとして振る舞うことが可能となる。

JavaおよびC#では、抽象メソッドを持ち、実体化できないクラスを定義することも可能であるが、抽象クラスは実装を持つことも可能であり、インタフェースと違って多重継承することはできない。

インタフェース型に含めることのできる構文要素は、具体的な実装を持たない抽象メンバーの宣言のみが基本であるが、後述のように詳細は言語ごとに異なる。利便性の観点から、言語仕様の改訂により制限が部分的に緩和され、静的メンバーの実装など、インタフェースに定義可能な要素が増えるケースもある。

2. Java
-------

Javaのインタフェースは、暗黙的にpublicな抽象メソッドのみを持つことが許される参照型である。定数および入れ子になった型の定義は許される。Javaではクラスの継承にextendsキーワードを使用するが、インタフェースの実装にはimplementsキーワードを使用する。インタフェースを拡張して新たなインタフェースを派生させるときはextendsキーワードを使う。 // 「飛ぶ」ことができるもの全般を表すインタフェース。 interface Flyable { void fly; }

// 動物の抽象基底クラス。 abstract class Animal { }

// 鳥類の抽象基底クラス。空を飛べないダチョウやペンギンも含まれる。 abstract class Bird extends Animal { }

// 飛べる鳥類の抽象基底クラス。 abstract class FlyingBird extends Bird implements Flyable { }

// ワシの具象クラス。 class Eagle extends FlyingBird { @Override public void fly { System.out.println"); } }

// 哺乳類の抽象基底クラス。 abstract class Mammal extends Animal { }

// 飛べる哺乳類の抽象基底クラス。 abstract class FlyingMammal extends Mammal implements Flyable { }

// コウモリの具象クラス。 class Bat extends FlyingMammal { @Override public void fly { System.out.println"); } }

// 航空機の抽象基底クラス。自力で航行できないグライダーも含まれる。 abstract class Aircraft { }

// エンジンを搭載した飛行機の具象クラス。 class Airplane extends Aircraft implements Flyable { @Override public void fly { System.out.println"); } }

public class Main { public static void main { final Flyable[] flyables = { new Eagle, new Bat, new Airplane, }; for  { obj.fly; } } }<WtXmlEndTag /> 上記では、互いに異なる基底クラスを持つ派生クラス群であっても、Flyableインタフェースを導入することで一様に扱うことができる例を示している。

Javaの列挙型は抽象クラスname=java.lang.Enumから暗黙的に派生する参照型であり、任意のインタフェースを実装することができる。

なお、Java 8以降ではインタフェースのデフォルトメソッドにより、実装の多重継承も限定的にサポートするようになった。また、インタフェースが静的メソッドを持つこともできるようになった。Java 8で導入されたラムダ式およびメソッド参照は、実装すべきメソッドをひとつだけ持つ「関数型インタフェース」 によって実現されている。

3. C#
-----

C#のインタフェースは、概ねJava同様であり、暗黙的にpublicな抽象メソッド、抽象プロパティ、抽象インデクサのみを持つことが許される参照型である。C# 7.xまでは、定数、入れ子になった型、静的フィールドや静的メソッドなどの定義は許されなかったが、C# 8.0以降では定義できるようになった。また、C# 8.0ではメンバーのデフォルト実装を定義することもできるようになった。インタフェース名はIで始めることが推奨されている。言語の機能や設計の観点から言うと、C#のインタフェースにはDelphi  のインタフェースの影響が強く見られる。

C#の構造体は抽象クラスSystem.ValueTypeから暗黙的に派生する値型であり、基底クラスを明示的に指定することはできないが、任意のインタフェースを実装することはできる。C#の列挙型は抽象クラスSystem.Enumから暗黙的に派生する値型であるが、構造体とは違って任意のインタフェースを実装することはできない。構造体および列挙型のインスタンスは、実装されたインタフェース型の変数に暗黙的に代入できるが、型変換の際にボックス化が発生する。

usingステートメントで使用できるSystem.IDisposableのように、構文上特別扱いされるようになるインタフェース型もある。

また、C#ではGuid属性により、インタフェースやクラスにGUIDを付加することができる。.NET Frameworkのインタフェースやクラスを含むアセンブリをCOMコンポーネントとして公開し、C++ネイティブコードやVBScript/JScriptといった従来のCOM/OLE対応言語などから利用するCOM相互運用も可能である。

4. VB.NET
---------

C#の姉妹言語であるVisual Basic .NET  もインタフェースをサポートし、抽象メンバーのみを持つ参照型である点は同じだが、入れ子になった型は定義できるものの、定数や静的メンバーなどの定義は許されない。

5. Delphi
---------

Delphi  のインタフェースは、暗黙的にpublicな抽象メソッドと抽象プロパティのみを持つことが許される参照型である。インタフェース型は、基本インタフェースIInterfaceまたは他のインタフェースから派生する。

C#の設計者アンダース・ヘルスバーグは、マイクロソフトに移籍する前はボーランドにてDelphiの開発に従事していた。特に初期のC#の言語機能はDelphiの影響を強く受けており、インタフェースに関しても例外ではない。

6. UML
------

統一モデリング言語  におけるインタフェースは、クラスまたはコンポーネントなどの他のモデル要素が実装しなければならない、操作  の集合を定義するモデル要素である。ある実装モデル要素は、あるインタフェースが宣言する各操作をオーバーライドすることで、そのインタフェースを実現する。UMLのクラス図では、«interface»のキーワードを含むクラスの矩形シンボルによって表現される。

7. その他の言語・技術
------------

C++ではpublicな純粋仮想関数および純粋仮想デストラクタのみを持つクラスを定義することで、JavaやC#のインタフェースを模倣し、多重継承の欠点を回避することもできる。

マイクロソフトのComponent Object Model  は、プログラミング言語を問わず再利用可能なソフトウェアコンポーネントを作成するために用いられる技術であり、COMインタフェースはIUnknown派生の実装を持たない抽象型として、COMサーバーとCOMクライアントをつなぐ役割を果たす。COMの思想や概念はのちに.NET FrameworkやWindowsランタイムにも受け継がれることになった。

8. 脚注
-----

8.1. 注釈
-------

8.2. 出典
-------

9. 関連項目
-------

抽象型
クラス 
継承 
インタフェース