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++のテンプレートは他の言語比べてゆるめ(?)なのでしょうか?