リテラル
この記事では、F# でリテラルの型を指定する方法を示す表を示します。
リテラル型
F# のリテラル型を次の表に示します。 16 進表記で桁を表す文字は、大文字と小文字を区別しません。型を識別する文字は、大文字と小文字を区別します。
| 種類 | 説明 | サフィックスまたはプリフィックス | 例 |
|---|---|---|---|
| sbyte | 符号付き 8 ビット整数 | ○ | 86y0b00000101y |
| byte | 符号なし 8 ビット自然数 | uy | 86uy0b00000101uy |
| int16 | 符号付き 16 ビット整数 | s | 86s |
| uint16 | 符号なし 16 ビット自然数 | us | 86us |
| INT int32 |
符号付き 32 ビット整数 | l または none | 8686l |
| uint uint32 |
符号なし 32 ビット自然数 | u または ul | 86u86ul |
| nativeint | 符号付き自然数へのネイティブ ポインター | n | 123n |
| unativeint | 符号なし自然数としてのネイティブ ポインター | un | 0x00002D3Fun |
| int64 | 符号付き 64 ビット整数 | L | 86L |
| uint64 | 符号なし 64 ビット自然数 | UL | 86UL |
| single、float32 | 32 ビット浮動小数点数 | F または f | 4.14F または 4.14f、あるいは infinityf または -infinityf |
| lf | 0x00000000lf |
||
| float、double | 64 ビット浮動小数点数 | なし | 4.14 または 2.3E+32 または 2.3e+32 または infinity または -infinity |
| LF | 0x0000000000000000LF |
||
| bigint | 64 ビット表現に制限されない整数 | I | 9999999999999999999999999999I |
| decimal | 固定小数点数または有理数として表現される小数 | M または m | 0.7833M または 0.7833m |
| Char | Unicode 文字 | なし | 'a' または '\u0061' |
| 文字列 | Unicode 文字列 | なし | "text\n"or @"c:\filename"or """<book title="Paradise Lost">"""or "string1" + "string2"「文字列」も参照してください。 |
| byte | ASCII 文字 | B | 'a'B |
| byte[] | ASCII 文字列 | B | "text"B |
| String または byte[] | 逐語的文字列 | @ プリフィックス | @"\\server\share" (Unicode)@"\\server\share"B (ASCII) |
名前付きリテラル
定数とする値には、Literal 属性を指定できます。
この属性には、値が定数としてコンパイルされる効果があります。 次の例では、以下の x と y の両方が不変の値ですが、x は実行時に評価され、y はコンパイル時定数です。
let x = "a" + "b" // evaluated at run-time
[<Literal>]
let y = "a" + "b" // evaluated at compile-time
たとえば、DllImport はコンパイル時に myDLL の値を知る必要がある属性であるため、外部関数を呼び出すときに、この区別が重要になります。 [<Literal>] 宣言がないと、このコードはコンパイルに失敗します。
[<Literal>]
let myDLL = "foo.dll"
[<DllImport(myDLL, CallingConvention = CallingConvention.Cdecl)>]
extern void HelloWorld()
パターン マッチ式では、小文字で始まる識別子は、リテラルとしてではなく常にバインドされる変数として扱われます。そのため、一般的に、リテラルを定義する場合は先頭大文字を使用する必要があります。
[<Literal>]
let SomeJson = """{"numbers":[1,2,3,4,5]}"""
[<Literal>]
let Literal1 = "a" + "b"
[<Literal>]
let FileLocation = __SOURCE_DIRECTORY__ + "/" + __SOURCE_FILE__
[<Literal>]
let Literal2 = 1 ||| 64
[<Literal>]
let Literal3 = System.IO.FileAccess.Read ||| System.IO.FileAccess.Write
解説
名前付きリテラルは、次の場合に役立ちます。
when句のないパターン マッチング。- 属性引数。
- 静的型プロバイダー引数。
Unicode 文字列には明示的なエンコードを含めることができます。これは \u の後ろに 16 ビットの 16 進数コード (0000 - FFFF) を続けることで指定できます。あるいは UTF-32 エンコードを含めることができます。その場合、\U の後ろに、Unicode コード ポイントを表す 32 ビットの 16 進数コード (00000000 - 0010FFFF) を続けることで指定できます。
||| 以外のビットごとの演算子は使用できません。
その他のベースの整数
符号付き 32 ビット整数は、16 進数、8 進数、2 進数でも指定できます。それぞれ、プレフィックスとして 0x、0o、0b を使用します。
let numbers = (0x9F, 0o77, 0b1010)
// Result: numbers : int * int * int = (159, 63, 10)
数値リテラルの下線
数字は下線文字 (_) で区切ることができます。
let value = 0xDEAD_BEEF
let valueAsBits = 0b1101_1110_1010_1101_1011_1110_1110_1111
let exampleSSN = 123_45_6789
特殊な浮動小数点の無限大値
float と single の両方の浮動小数点数値型に、正と負の無限大を表す特殊な値が関連付けられています。
| F# 値 | F# 型 | 対応する .NET 値 |
|---|---|---|
infinity または +infinity |
float |
PositiveInfinity |
-infinity |
float |
NegativeInfinity |
infinityf または +infinityf |
single |
PositiveInfinity |
-infinityf |
single |
NegativeInfinity |
これらの値は、直接使用されるか、または浮動小数点の 0 または指定された型で表すには小さすぎる数値で除算する場合に返されます。 次に例を示します。
> 1.0/0.0;;
val it: float = infinity
> 1.0/(-0.0);;
val it: float = -infinity
> 1.0/0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
;;
val it: float = infinity
.NET