Java 泛型是一個強大的特性，它允許在編譯時檢測類型錯誤。泛型的代碼和不使用泛型的代碼相比，會有更高的安全性和可讀性。然而，泛型機制的實現需要依賴 Java 虛擬機的支持。

與其他編程語言不同的是，Java 的泛型實現是通過類型擦除（type erasure）來完成的。這意味著在編譯時，泛型代碼中的參數類型會被擦除，轉換成原始類型。這種方式避免了出現不同的類型變量沖突，但同時也會影響到泛型代碼的性能。

當泛型代碼被編譯后，Java 虛擬機會判斷泛型類或方法的類型參數，并把類型參數替換成類型變量。這時，Java 虛擬機會把泛型類型轉換成一般的類，不再進行類型檢查，從而提高速度。因此，泛型代碼在運行時會比非泛型代碼慢一些，但是這個性能損失通常是可以接受的。

public class MyList{
private T[] elements;
private int size;
public MyList(int initialCapacity) {
elements = (T[])new Object[initialCapacity];
size = 0;
}
public void add(T element) {
elements[size++] = element;
}
public T get(int index) {
return elements[index];
}
}

在使用泛型的代碼中，泛型參數的實際類型是不需要指定的。這是因為 Java 編譯器會通過類型推斷（type inference）來確定類型。例如，當我們創建一個MyList對象時，可以這樣寫：

MyList<String> list = new MyList<>(10);
list.add("Hello");
String greeting = list.get(0);

在這個例子中，編譯器會自動推斷出泛型參數的類型是String。這樣就不需要顯示地提供類型信息了。

總之，Java 泛型在編程中是非常實用的。使用泛型可以在編譯時檢查類型錯誤，而類型擦除機制可以在運行時提高性能。Java 虛擬機的支持也使得泛型代碼的使用變得非常方便。