Loading article…
コンピュータプログラミングにおいて、ダックタイピングは、オブジェクトが特定の目的に使用できるかどうかを判断するためのダックテスト（「アヒルのように歩き、アヒルのように鳴くなら、それはアヒルに違いない」）の応用です。名詞的型付けでは、オブジェクトがそのように宣言されている場合（またはオブジェクト継承などのメカニズムを通じて型とオブジェクトとの関連が推測される場合）、オブジェクトは特定の型になります。ダックタイピングでは、オブジェクトはその型に必要なすべてのメソッドとプロパティを持っている場合に、特定の型になります。[1] [2]ダックタイピングは、特定のオブジェクトと型の要件との間の使用法に基づく構造的等価性として見ることができます。
例
Python 3のこの簡単な例は、サポートされていない方法で使用されるまで、任意のオブジェクトが任意のコンテキストで使用される方法を示しています。
ダッククラス:
def swim (自分):
印刷( 「アヒルの水泳」)
def fly (自分自身):
印刷( 「アヒルが飛んでいる」)
クジラクラス:
def swim (自分):
印刷( 「クジラの泳ぎ」)
[アヒル(),クジラ()]の動物 の場合:
動物。泳ぐ（）
動物。飛ぶ（）
出力：
アヒルが泳いでいる
アヒルが飛んでいる クジラ
が泳いでいる
AttributeError: 'Whale' オブジェクトには属性 'fly' がありません
アヒルは泳げるので、泳げるものはすべてアヒルであると仮定できる場合、クジラはアヒルとみなすことができます。ただし、アヒルは飛べるはずだと仮定すると、クジラはアヒルとはみなされません。
静的型付け言語では
Boo [3]やD [4] [5]などの静的型付け言語では、クラス型チェックをコンパイル時ではなく実行時に行うように指定できます。
他の型システムとの比較
構造型システム
ダック タイピングは構造型付けに似ていますが、異なります。構造型付けは、型の構造によって型の互換性と同等性を決定する静的な型付けシステムですが、ダック タイピングは動的であり、実行時にアクセスされる型の構造の部分のみによって型の互換性を決定します。
TypeScript [6]、Elm [7]、Python [8]言語は、さまざまな程度で構造型付けをサポートしています。
プロトコルとインターフェース
プロトコルとインターフェースは、いくつかのメソッド、演算子、または動作を定義する必要があることを明示的に宣言する方法を提供します。サードパーティのライブラリが変更できないクラスを実装している場合、クラスがインターフェース要件を満たしている場合でも、クライアントはそのライブラリに知られていないインターフェースを持つそのクラスのインスタンスを使用することはできません。この問題の一般的な解決策は、アダプター パターンです。対照的に、ダック タイピングでは、オブジェクトはアダプターを必要とせずに直接受け入れられます。
テンプレートまたはジェネリック型
テンプレート(ジェネリックとも呼ばれる) 関数またはメソッドは、静的型付けコンテキストでダック テストを適用します。これにより、静的型チェックと動的型チェックのメリットとデメリットがすべて実現します。ダック タイピングでは、実行時に実際に呼び出されるメソッドのみを実装すればよいという点で柔軟性も高まりますが、テンプレートでは、コンパイル時に 到達不可能であると証明できないすべてのメソッドの実装が必要になります。
Java、Scala、Objective-Cなどの言語では、オブジェクトがメソッドを実装しているか、実行時に必要なメソッドを追加しているかを検査するためにリフレクションが使用されることがあります。たとえば、JavaのMethodHandle APIはこのように使用できます。[9]
参照
参考文献
- ^ 「用語集 — Python 3.7.1 ドキュメント」。docs.python.org 。 2018年11月8日閲覧。
- ^ 「Python ダックタイピング - 例」 。Techie Hours。2020年6月28日。2022年3月31日時点のオリジナルよりアーカイブ。2020年7月26日閲覧。
- ^ Boo: Duck Typing2008年10月6日アーカイブ、Wayback Machine
- ^ 「動的クラスとダックタイピング」。
- ^ 「メタプログラミング - D でのダックタイピング」。
- ^ 「SEラジオエピソード384：Boris Cherny on TypeScript」se-radio.net . 2019年10月25日閲覧。
- ^ Czaplicki, Evan. 「Core Language · Elm 入門」 。2017年1 月 30 日閲覧。
- ^ 「PEP 544 – プロトコル: 構造的サブタイプ化 (静的ダックタイピング)」。
- ^ 「StackOverflow: Java MethodHandlesを使用してダックタイピングを実装する」 。 2020年6月13日閲覧。