使用 Java 和 C# 的泛型来模拟鸭子类型

Question

http://nullprogram.com/blog/2014/04/01/试图用一个例子来解释Java的泛型不能模拟鸭子类型：

class Caller<T> {
    final T callee;
    Caller(T callee) {
        this.callee = callee;
    }
    public void go() {
        callee.call();  // compiler error: cannot find symbol call
    }
}

class Foo {
    public void call() { System.out.print("Foo"); }
}

class Bar {
    public void call() { System.out.print("Bar"); }
}

public class Main {
    public static void main(String args[]) {
        Caller<Foo> f = new Caller<>(new Foo());
        Caller<Bar> b = new Caller<>(new Bar());
        f.go();
        b.go();
        System.out.println();
    }
}

程序将因编译时错误而失败。这是结果 类型擦除。与 C++ 的模板不同，只有一个 Caller 和 T 的编译版本将变为 Object。由于Object 有 没有call()方法，编译失败。

是不是说通过Java泛型，类型参数的方法仅限于类java.lang.Object的方法？

C# 的泛型是根据具体化而不是类型擦除来实现的。 C#的泛型和Java的泛型一样没有上述限制吗？那么 C# 的泛型真的可以实现和鸭子类型一样的功能吗？

谢谢。

Answer 1

C# 的泛型真的可以实现与鸭子类型相同的功能吗？

没有。但是 C# 的泛型可以包含一个约束，其中类型参数被限制为继承或实现某些特定类型。完成后，该类型参数的类型的任何表达式都被解析为受约束的类型，并且可以访问该类型的成员。

这类似于您阅读的文章中描述的extends 约束。

C# 中唯一的鸭子类型支持是 dynamic 关键字，其中涉及 dynamic 值的表达式的最终编译被推迟到实际运行时类型已知的运行时。

相关阅读：

Trivial C# class with a generic parameter wouldn't compile for no apparent reason
Call a method of type parameter

Answer 2

是不是说通过Java泛型，类型参数的方法仅限于类java.lang.Object的方法？

不完全是。虽然大多数泛型都被删除了，但可以在 Java 中包含一个约束，使得类型参数必须是某种类型。这实际上使它不是Object。

未经测试，但这应该很接近。

class Caller<T extends CallMe> {
    final T callee;
    Caller(T callee) {
        this.callee = callee;
    }
    public void go() {
        callee.call();  // should work now
    }
}

interface CallMe {
    void call();
}

class Foo implements CallMe {
    public void call() { System.out.print("Foo"); }
}

class Bar implements CallMe {
    public void call() { System.out.print("Bar"); }
}

public class Main {
    public static void main(String args[]) {
        Caller<Foo> f = new Caller<>(new Foo());
        Caller<Bar> b = new Caller<>(new Bar());
        f.go();
        b.go();
        System.out.println();
    }
}

Answer 3

C# 也有同样的限制。

除了dynamic，C# 在任何地方都没有任意的ducky-typing；即使使用泛型，您也只能调用由类型定义的方法（特别是泛型类型参数的约束，默认为object）。