種類の相違

Question

デルファイ。

なぜ

type 
    myInt = Integer; 
    myNewInt = -2147483648..2147483647; 

var 
    a: myint; 
    b: myNewInt; 

begin 
    a := b; 
end; 

それは正式に、異なるタイプかかわらず正常にコンパイルされている - 一つは、ここでは他のモジュールから別の着手を宣言しています。そして

uses 
    windows; 

type 
    _FILETIMEA = record // Copy from windows.pas 
    dwLowDateTime: DWORD; 
    dwHighDateTime: DWORD; 
    end; 

var 
    x: _FILETIMEA; 
    y: windows._FILETIME; 

begin 
    x := y; 
end; 

場合type _FILETIMEA = Windows._FILETIMEかかわらず、（ラインx:=y;[DCC Error] ... E2010 Incompatible types: 'windows._FILETIME' and '_FILETIMEA'で）コンパイルエラーを引き起こすのでしょうか？

Answer 1

デルファイはダックタイピングをサポートしていません。あなたは2つの異なるレコードを持っています。それらはちょうど同じように見えますが、コンパイラには2種類あります。 2つの変数を割り当てる場合は、同じサイズのため可能なものを型キャストしなければなりません。

x := _FILETIMEA(y); 

Answer 2

同じことをやっていないからです。 :)デルファイは強く型付けされています（例外はほとんどありません - ほぼすべてが特定の型を持っています）。

type 
    myInt = Integer; 
    myNewInt = -2147483648..2147483647; 

これらのタイプに互換性はありません。それらは両方とも同じ型（整数）であり、同じ範囲の値をサポートします。一方を他方に割り当てることに関しては矛盾していません。

// Your unit name 
unit GuTypes; 

Type 
_FILETIMEA = record // Copy from windows.pas 
    dwLowDateTime: DWORD; 
    dwHighDateTime: DWORD; 
end; 

これはあなたのコードで定義された新しいタイプの、（それはWindows.pasのものと同じだとしても、それは同じではありません）です。 GuTypes._FileTimeAです。Windows._FileTimeAとは異なります。

これは、異なるユニットが同じタイプ名を矛盾なく使用できるため、実際には良いことです。ユニット名の前に「名前空間」を付けると、どちらを使用するのかを明確にすることができます。たとえば、あなたはあなたがGuTypesで定義した場合、およびWindowsは、第三のユニットMyAppCodeに、あなたは安全にこれを行うことができますが、宣言1を、持っている：

var 
    GFileTime: GuTypes._FILETIMEA; 
    WFileTime: Windows._FILETIMEA; 

でも種類の変更の1つが、あなたのコードはより安全です2つのタイプが誤って交換されることはないため、副作用があります。

強制的に割り当てを行うことはできますが、それは通常は悪い考えです。それは強く型付けされた言語を使うという全目的に反します。 Typecastingはコンパイラーに "私はあなたよりスマートですが、これが間違っていることを知っていますが、それを無視してやりなさい"とコンパイラーに伝えています。

よりよい解決策は、あなたがあなたの例ではy（Windows._FILETYPEA）を行ったように、あなたの変数を宣言するために、または互換性のあるタイプ（type TMyFileTimeA = Windows._FILTETIMEA;）を宣言するかのいずれかだろう。

XE2 Wiki Pages（Type Compatibility and Identity）を参照してください。具体的にはAssignment Compatibilityセクションを見てください。