是否安全，與在tarray代替XXX的陣列<XXX>

Question

我已經宣佈了不少變量，

var 
    Something: array of XXX; 
begin 
    SetLength(Something, 10); 
    try 
    ... 
    finally 
    SetLength(Something, 0); 
    end; 
end; 

多大程度上是安全，讓他們代替：

var 
    Something: TArray<XXX>; 
begin 
    SetLength(Something, 10); 
    try 
    ... 
    finally 
    SetLength(Something, 0); 
    end; 
end; 

Answer 1

正如已經回答的那樣，TArray<XXX>與定義爲array of XXX的任何其他自定義類型完全相同。實際上，TArray<XXX>是定義爲array of XXX的自定義類型。

也就是說，定義爲array of XXX的定製類型是而不是在過程或函數參數的上下文中相當於array of XXX。在procedure Foo(x: array of Integer),x是一個open array parameter，它可以接受任何類型的整數數組。相比之下，procedure Foo(x: TArray<Integer>)僅需要實際的TArray<Integer>類型。嘗試傳遞固定大小的數組時，您可以看到差異，但也可以在嘗試傳遞TDynIntegerArray（另一種類型，也定義爲array of Integer）時看到差異。

因此，對於變量，當然，如果您有array of XXX，請將其更改爲TArray<XXX>。只要確保你不做全球搜索和替換。

Answer 2

這是完全安全去做這個。編譯器將產生相同的輸出。

我個人會在所有其他條件相同的情況下推薦這樣做。通用數組TArray<T>的使用爲您提供了更多的靈活性和更好的類型兼容性。

當然，這些好處只能用更實際的代碼才能看到，可以完成一些工作。使用通用容器時，您通常會看到好處。但是，當您嘗試使用多個不同的庫構建代碼時，您也可能會看到好處。

通用數組的使用允許簡單的類型兼容性。通用陣列之前，你會定義一個數組類型是這樣的：

TIntArray = array of Integer; 

如果兩個庫這樣做，那麼你有不兼容的類型。如果庫同意使用通用數組，那麼將會有兼容性。

爲了更清楚地看到這一點，考慮這個片段：

type 
    TIntArray1 = array of Integer; 
    TIntArray2 = array of Integer; 
.... 
var 
    arr1: TIntArray1; 
    arr2: TIntArray2; 
.... 
arr1 := arr2; 

這種分配是無效的，失敗與類型不匹配的編譯器錯誤。這在Pascal語言中完全可以預料。畢竟它是強類型的，而且它們是不同的類型。即使它們的實施完全相同。

在另一方面：

var 
    arr1: TArray<Integer>; 
    arr2: TArray<Integer>; 
.... 
arr1 := arr2; 

是有效的，並編譯。所述documentation for generic type compatibility說：

兩個實例化的泛型被認爲是兼容分配如果基類型是相同的（或者是別名爲通用類型）和類型的參數是相同的。