Использование дженериков Java и C # для имитации утиной печати

могут ли универсальные шаблоны C # достичь того же, что и утиная печать?

Нет. Но универсальные шаблоны C # могут включать ограничение, в котором параметр типа ограничен наследованием или реализацией определенного типа. Когда это будет сделано, любое выражение типа этого параметра типа будет разрешено, поскольку будет доступен ограниченный тип и члены этого типа.

Это похоже на ограничение extends, описанное в статье, которую вы читаете.

Единственная поддержка «утки» в C # - это ключевое слово dynamic, при котором окончательная компиляция выражений, содержащих значения dynamic, откладывается до времени выполнения, когда известен фактический тип среды выполнения.

Связанное чтение:

Тривиальный класс C # с универсальным параметром не компилируется без видимой причины
Вызов метода параметра типа

Означает ли это, что в дженериках 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();
    }
}

C # имеет те же ограничения.

Кроме dynamic, в C # нигде нет произвольной утиной печати; даже с универсальными шаблонами вы можете вызывать только методы, определенные типом (в частности, ограничением (ограничениями) для параметра универсального типа, который по умолчанию равен object).