ダック・タイピング Rubyでの例

ウィキペディア

ダック・タイピング

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/17 16:02 UTC 版)

Rubyでの例

Rubyでの単純な例を示す。

def test(foo)
  puts foo.sound
end

class Duck
  def sound
    'quack'
  end
end

class Cat
  def sound
    'myaa'
  end
end

test(Duck.new)
test(Cat.new)

出力は以下である。

quack
myaa

2つのクラスに継承の関係が無いことに注目して欲しい。上記のtestメソッドは、soundという名前のメンバーを持つオブジェクトであれば何でも受け付ける。なお、Rubyのputsは引数オブジェクトを自動的に文字列に変換して標準出力に出力するため、仮に文字列以外を返すsoundであっても受け付ける。このような柔軟性が動的言語の特徴である。

C++での例

上記Rubyの例をC++で記述すると、以下のようになる。

#include <iostream>

template <class T>
void test(const T& t) {
  std::cout << t.sound() << std::endl;
}

struct Duck {
  const char* sound() const {
    return "quack";
  }
};

struct Cat {
  const char* sound() const {
    return "myaa";
  }
};

int main() {
  test(Duck());
  test(Cat());
}

実行結果はRubyの例と同じである。ただし、テンプレートによるダック・タイピングはコンパイル時に解決される静的なポリモーフィズム (static polymorphism) であり、動的型付け言語とは異なり実行時のオーバーヘッドを伴わない。

C#での例

C#はバージョン4.0で動的型付けを可能にするdynamic型が使えるようになった。dynamicは内部的にはリフレクションを利用して実装されており、該当するメソッドやプロパティの存在有無を実行時に遅延評価する。シンボル解決に失敗した場合は例外がスローされる。

using System;

class Duck {
    public string Sound() {
        return "quack";
    }
}

class Cat {
    public string Sound() {
        return "myaa";
    }
}

public class DuckTypingTest {
    static void Test(dynamic obj) {
        Console.WriteLine(obj.Sound());
    }

    public static void Main() {
        Test(new Duck());
        Test(new Cat());
    }
}

なお、C#はC++のテンプレートに似た機能としてジェネリクスをサポートするが、C++テンプレートほどの柔軟性はなく、ダック・タイピングに使用することはできない。