コンパイラエラーメッセージの{整数}とは何ですか？

Question

これは驚くほどドキュメント内で見つけるのは難しいです。

1. が{integer}特定のプリミティブ 種類の言語の別名のいくつかの並べ替えです：これも、2つのパートの質問かもしれませんか？

2. コンパイル/構文エラーメッセージに、タイプ名を中括弧で囲むことはどういう意味ですか？

例：エラー・メッセージに

error: no method named pow found for type {integer} in the current scope

Answer 1

{integer}は、具体的な型が指定されておらず、コンパイラによってまだ推論されていない整数値です。次のコード：

fn main() { 
    let x = 1; 
    let() = x; 
} 

は、次のエラーになります：

error[E0308]: mismatched types 

--> <anon>:3:9 
    | 
3 |  let() = x; 
    |   ^^ expected integral variable, found() 
    | 
    = note: expected type `{integer}` 
    = note: found type `()` 

同じフローティング数で起こる：コンパイル・エラーが原因であるため

fn main() { 
    let x = 1.0; 
    let() = x; 
} 

error[E0308]: mismatched types 
--> <anon>:3:9 
    | 
3 |  let() = x; 
    |   ^^ expected floating-point variable, found() 
    | 
    = note: expected type `{float}` 
    = note: found type `()` 

型の推論が発生する前に無効な割り当てlet() = xがスローされます。すなわち

、コンパイルが指定された具体的なタイプ無し整数または浮動小数点が認識されるであろう型推論ステージ（例えば、関数の適用に基づいて）に到達するか、デフォルトのタイプを割り当てられ、整数のi32とフロート用f64までコンパイルエラーは、それを{integer}または{float}として参照します。

Answer 2

{integer}は整数型（{i,u}{8,16,32,64,128}）の任意のプレースホルダーです。 （Source）

錆の整数リテラルは、その用途に基づいて型推論されます。たとえば、次のコードでは、123の種類は、第二の最初のインスタンスでu8とu64である：

let a: u8 = 123; 
let a: u64 = 123; 

{integer}コンパイラを考え出していない場合、エラーメッセージ内の任意の整数型を表すために使用され値の具体的な型。