原始類型和遺留程式碼

原始類型的引入是為了允許遺留（前泛型）代碼與 JDK 5 中引入的泛型之間的兼容性。它們允許逐步過渡，但會妥協類型安全。

定義與特徵
原始型別：

• 使用泛型類別而不指定型別參數。 例子：

Gen raw = new Gen(new Double(98.6)); // Tipo bruto criado

相容性：

原始類型變數可以接收任何泛型對象，反之亦然。
沒有編譯時類型檢查，可能導致執行時期錯誤。

程式碼範例

// Classe Gen com suporte a genéricos
class Gen<T> {
    T ob; // Declara um objeto do tipo T

    Gen(T o) { // Construtor
        ob = o;
    }

    T getob() { // Retorna o objeto ob
        return ob;
    }
}

// Demonstração de tipos brutos
class RawDemo {
    public static void main(String[] args) {
        // Usando genéricos corretamente
        Gen<Integer> iOb = new Gen<>(88);
        Gen<String> strOb = new Gen<>("Generics Test");

        // Criando um tipo bruto
        Gen raw = new Gen(new Double(98.6));
        double d = (Double) raw.getob(); // Funciona, mas perde segurança de tipos
        System.out.println("value: " + d);

        // Erros de tempo de execução com tipos brutos
        // int i = (Integer) raw.getob(); // Erro de tempo de execução!

        // Atribuição de tipo bruto para genérico
        strOb = raw; // Correto, mas perigoso
        // String str = strOb.getob(); // Erro de tempo de execução!

        // Atribuição de genérico para tipo bruto
        raw = iOb; // Correto, mas perigoso
        // d = (Double) raw.getob(); // Erro de tempo de execução!
    }
}

使用原始類型的風險
缺乏型式安全：

• 將原始類型指派給泛型或反之亦然可能會導致執行階段錯誤。

範例：

strOb = raw; // Perigoso: raw contém Double, mas strOb espera String
raw = iOb; // Perigoso: raw agora contém Integer, mas coerção pode falhar

運作時異常：

無法在編譯時偵測不一致的情況。
例：

int i = (Integer) raw.getob(); // Erro porque raw contém Double

未驗證警告：

• javac 編譯器在偵測到以不安全方式使用的原始型別時會產生警告。

產生警告的範例

Gen raw = new Gen(new Double(98.6)); // Tipo bruto
strOb = raw; // Atribuição insegura

推薦
避免使用原始型別：

• 始終使用型別參數來利用泛型提供的安全性。

範例：

Gen<Integer> iOb = new Gen<>(88); // Correto e seguro

小心對待遺留程式碼：

• 在將預泛型程式碼與泛型整合時添加嚴格的檢查和測試。

以上是原始類型和遺留程式碼的詳細內容。更多資訊請關注PHP中文網其他相關文章！