Skip to main content
2 / 2
本文から 22 文字削除
shingo.nakanishi
  • 6,543
  • 8
  • 59
  • 99

SwiftではC++のテンプレートのようなダックタイピングはできない?

C++で下記のコードは動くことが確認できました。(実験的というか動作を確認するコードなので実用性はありません)

#include <iostream>

template<typename T>
class Sample {
public:
  Sample(T val) {
    val.bar();
  }
};

class Hoge {
public:
  void bar() {
    std::cout << "AAA" << std::endl;
  }
};

class Foo {
public:
  void bar() {
    std::cout << "BBB" << std::endl;
  }
};

int main() {
  Sample<Hoge> h = Sample<Hoge>(*new Hoge());
  Sample<Foo> f = Sample<Foo>(*new Foo());

  return 0;
}

結果:

AAA
BBB

同様のことをSwiftでやってみようと思って下記のコードを記述しました。
import Foundation

class Sample<T> {
  init(val: T) {
    val.bar()
  }
}

class Hoge {
  func bar() {
    print("AAA")
  }
}

class Foo {
  func bar() {
    print("BBB")
  }
}

let h = Sample<Hoge>(val: Hoge())
let f = Sample<Foo>(val: Foo())

エラーになってしまいます:

error: MyPlayground.playground:5:9: error: value of type 'T' has no member 'bar'
    val.bar()
    ~~~ ^~~

仕方がないので、Protocolを導入しました。
import Foundation

protocol Barable {
  func bar()
}

class Sample<T: Barable> {
  init(val: T) {
    val.bar()
  }
}

class Hoge: Barable {
  func bar() {
    print("AAA")
  }
}

class Foo: Barable {
  func bar() {
    print("BBB")
  }
}

let h = Sample<Hoge>(val: Hoge())
let f = Sample<Foo>(val: Foo())

結果:

AAA
BBB

動きました。
とはいえ、これでは、もうジェネリクスを使わないで、下記のようにしてしまったほうがわかりやすいです。

import Foundation

protocol Barable {
  func bar()
}

class Sample {
  init(val: Barable) {
    val.bar()
  }
}

class Hoge: Barable {
  func bar() {
    print("AAA")
  }
}

class Foo: Barable {
  func bar() {
    print("BBB")
  }
}

let h = Sample(val: Hoge())
let f = Sample(val: Foo())

蛇足ですが、JavaとDartでも試しましたが、やはりダメなようです。
C++のテンプレートは他の言語比べてゆるめ(?)なのでしょうか?

shingo.nakanishi
  • 6,543
  • 8
  • 59
  • 99