Referensi Kata Kunci

Topik ini berisi tautan ke informasi tentang semua kata kunci bahasa F #.

Tabel Kata Kunci F#

Tabel berikut menunjukkan semua kata kunci F # dalam urutan abjad, bersama dengan deskripsi singkat dan tautan ke topik yang relevan yang berisi lebih banyak informasi.

Kata kunci Tautan Deskripsi
abstract Anggota

Kelas Abstrak
Menunjukkan metode yang tidak memiliki implementasi dalam jenis di mana metode tersebut dinyatakan atau virtual dan memiliki implementasi default.
and let Bindings

Rekaman

Anggota

Kendala
Digunakan dalam pengikatan dan catatan yang saling rekursif, dalam deklarasi properti, dan dengan beberapa batasan pada parameter generik.
as Kelas

Pencocokan Pola
Digunakan untuk memberikan nama objek ke objek kelas saat ini. Juga digunakan untuk memberikan nama untuk seluruh pola dalam pencocokan pola.
assert Pernyataan Digunakan untuk memverifikasi kode selama debugging.
base Kelas

Warisan
Digunakan sebagai nama objek kelas dasar.
begin Verbose Syntax Dalam sintaks verbose, menunjukkan awal blok kode.
class Kelas Dalam sintaks verbose, menunjukkan awal definisi kelas.
default Anggota Menunjukkan implementasi metode abstrak; digunakan bersama dengan deklarasi metode abstrak untuk membuat metode virtual.
delegate Delegasi Digunakan untuk mendeklarasikan delegasi.
do do Bindings

Perulangan: Ekspresifor...to

Perulangan: Ekspresifor...in

Perulangan: Ekspresiwhile...do
Digunakan dalam perulangan konstruksi atau untuk mengeksekusi kode imperatif.
done Verbose Syntax Dalam sintaks verbose, menunjukkan akhir dari blok kode dalam ekspresi perulangan.
downcast Transmisi dan Konversi Digunakan untuk mengonversi ke jenis yang lebih rendah dalam rantai warisan.
downto Perulangan: Ekspresifor...to Dalam ekspresi for, digunakan saat menghitung secara terbalik.
elif Ekspresi Bersyarat: if...then...else Digunakan dalam percabangan bersyarat. Bentuk pendek dari else if.
else Ekspresi Bersyarat: if...then...else Digunakan dalam percabangan bersyarat.
end Struktur

Gabungan Terdiskriminasi

Rekaman

Ekstensi Jenis

Verbose Syntax
Dalam definisi jenis dan ekstensi jenis, menunjukkan akhir dari bagian definisi anggota.

Dalam sintaks verbose, digunakan untuk menentukan akhir blok kode yang dimulai dengan kata kunci begin.
exception Penanganan Pengecualian

Jenis Pengecualian
Digunakan untuk mendeklarasikan jenis pengecualian.
extern Fungsi Eksternal Menunjukkan bahwa elemen program yang dideklarasikan didefinisikan dalam biner atau assembly lain.
false Jenis Primitif Digunakan sebagai literal Boolean.
finally Pengecualian: Ekspresi try...finally Digunakan bersama dengan try untuk memperkenalkan blok kode yang dijalankan terlepas dari apakah pengecualian terjadi.
fixed Tetap Digunakan untuk "menyematkan" penunjuk pada tumpukan untuk mencegahnya dikumpulkan dari sampah.
for Perulangan: Ekspresifor...to

Perulangan: Ekspresi for...in
Digunakan dalam konstruksi perulangan.
fun Ekspresi Lambda: Kata Kunci fun Digunakan dalam ekspresi lambda, juga dikenal sebagai fungsi anonim.
function Ekspresi Pencocokan

Ekspresi Lambda: Kata Kunci fun
Digunakan sebagai alternatif yang lebih pendek untuk kata kunci fun dan ekspresi match dalam ekspresi lambda yang memiliki pencocokan pola pada satu argumen.
global Namespaces Digunakan untuk mereferensikan namespace .NET tingkat atas.
if Ekspresi Bersyarat: if...then...else Digunakan dalam konstruksi percabangan bersyarat.
in Perulangan: Ekspresi for...in

Verbose Syntax
Digunakan untuk ekspresi urutan dan, dalam sintaks verbose, untuk memisahkan ekspresi dari pengikatan.
inherit Warisan Digunakan untuk menentukan kelas dasar atau antarmuka dasar.
inline Fungsi

Fungsi Sebaris
Digunakan untuk menunjukkan fungsi yang harus diintegrasikan langsung ke dalam kode pemanggil.
interface Antarmuka Digunakan untuk mendeklarasikan dan mengimplementasikan antarmuka.
internal Access Control Digunakan untuk menentukan bahwa anggota terlihat di dalam assembly tetapi tidak di luarnya.
lazy Ekspresi Lazy Digunakan untuk menentukan ekspresi yang akan dilakukan hanya ketika hasilnya diperlukan.
let let Bindings Digunakan untuk mengaitkan, atau mengikat, nama dengan nilai atau fungsi.
let! Ekspresi asinkron

Ekspresi tugas

Ekspresi Komputasi
Digunakan dalam ekspresi asinkron untuk mengikat nama dengan hasil perhitungan asinkron, atau, dalam ekspresi perhitungan lainnya, digunakan untuk mengikat nama untuk hasil, yang merupakan jenis perhitungan.
match Ekspresi Pencocokan Digunakan untuk membuat cabang dengan membandingkan nilai dengan pola.
match! Ekspresi Komputasi Digunakan untuk panggilan sebaris ke ekspresi perhitungan dan pencocokan pola pada hasilnya.
member Anggota Digunakan untuk mendeklarasikan properti atau metode dalam jenis objek.
module Modul Digunakan untuk mengaitkan nama dengan sekelompok jenis, nilai, dan fungsi terkait, untuk memisahkannya secara logis dari kode lain.
mutable let Bindings Digunakan untuk mendeklarasikan variabel, yaitu nilai yang dapat diubah.
namespace Namespaces Digunakan untuk mengaitkan nama dengan sekelompok jenis dan modul terkait, untuk memisahkannya secara logis dari kode lain.
new Konstruktor

Kendala
Digunakan untuk mendeklarasikan, mendefinisikan, atau memanggil konstruktor yang membuat atau yang dapat membuat objek.

Juga digunakan dalam batasan parameter generik untuk menunjukkan bahwa jenis harus memiliki konstruktor tertentu.
not Referensi Simbol dan Operator

Kendala
Sebenarnya bukan kata kunci. Namun, not struct dalam kombinasi digunakan sebagai batasan parameter generik.
null Nilai Null

Kendala
Menunjukkan tidak adanya objek.

Juga digunakan dalam batasan parameter generik.
of Gabungan Terdiskriminasi

Delegasi

Jenis Pengecualian
Digunakan dalam gabungan yang didiskriminasi untuk menunjukkan jenis kategori dari nilai, dan dalam deklarasi delegasi dan pengecualian.
open Deklarasi Impor: Kata Kunci open Digunakan untuk membuat isi namespace atau modul yang tersedia tanpa kualifikasi.
or Referensi Simbol dan Operator

Kendala
Digunakan dengan kondisi Boolean sebagai operator Boolean or. Setara dengan ||.

Juga digunakan dalam batasan anggota.
override Anggota Digunakan untuk mengimplementasikan versi metode abstrak atau virtual yang berbeda dengan versi dasar.
private Access Control Membatasi akses ke anggota untuk membuat kode dalam jenis atau modul yang sama.
public Access Control Memungkinkan akses ke anggota dari luar jenis.
rec Fungsi Digunakan untuk menunjukkan bahwa suatu fungsi bersifat rekursif.
return Ekspresi Komputasi

Ekspresi asinkron

Ekspresi tugas
Digunakan untuk menunjukkan nilai yang disediakan sebagai hasil dari ekspresi komputasi.
return! Ekspresi Komputasi

Ekspresi asinkron

Ekspresi tugas
Digunakan untuk menunjukkan ekspresi perhitungan yang, ketika dievaluasi, memberikan hasil dari ekspresi komputasi di dalamnya.
select Ekspresi Kueri Digunakan dalam ekspresi kueri untuk menentukan bidang atau kolom yang akan diekstrak. Perhatikan bahwa ini adalah kata kunci kontekstual, yang berarti bahwa itu sebenarnya bukan kata yang dicadangkan dan hanya bertindak seperti kata kunci dalam konteks yang sesuai.
static Anggota Digunakan untuk menunjukkan metode atau properti yang dapat dipanggil tanpa contoh jenis, atau anggota nilai yang dibagikan di antara semua instans jenis.
struct Struktur

Tuple

Kendala
Digunakan untuk mendeklarasikan jenis struktur.

Digunakan untuk menentukan tuple struktur.

Juga digunakan dalam batasan parameter generik.

Digunakan untuk kompatibilitas OCaml dalam definisi modul.
then Ekspresi Bersyarat: if...then...else

Konstruktor
Digunakan dalam ekspresi bersyarat.

Juga digunakan untuk melakukan efek samping setelah konstruksi objek.
to Perulangan: Ekspresifor...to Digunakan dalam perulangan for untuk menunjukkan rentang.
true Jenis Primitif Digunakan sebagai literal Boolean.
try Pengecualian: Ekspresi try...with

Pengecualian: Ekspresi try...finally
Digunakan untuk memperkenalkan blok kode yang mungkin menghasilkan pengecualian. Digunakan bersama dengan with atau finally.
type Jenis F#

Kelas

Rekaman

Struktur

Enumerasi

Gabungan Terdiskriminasi

Singkatan Jenis

Satuan Ukuran
Digunakan untuk mendeklarasikan kelas, catatan, struktur, gabungan yang didiskriminasi, jenis enumerasi, satuan ukuran, atau jenis singkatan.
upcast Transmisi dan Konversi Digunakan untuk mengonversi ke jenis yang lebih tinggi dalam rantai warisan.
use Manajemen Sumber Daya: Kata Kunci use Digunakan alih-alih let untuk nilai yang perlu Dispose dipanggil untuk membebaskan sumber daya.
use! Ekspresi Komputasi

Ekspresi asinkron

Ekspresi tugas
Digunakan alih-alih let! dalam ekspresi asinkron dan ekspresi komputasi lainnya untuk nilai yang perlu Dispose dipanggil ke sumber daya bebas.
val Bidang Eksplisit: Kata Kunci val

Tanda tangan

Anggota
Digunakan dalam tanda tangan untuk menunjukkan nilai, atau dalam jenis untuk mendeklarasikan anggota, dalam situasi terbatas.
void Jenis Primitif Menunjukkan jenis void .NET. Digunakan saat beroperasi dengan bahasa .NET lainnya.
when Kendala Digunakan untuk kondisi Boolean (when guards) pada pencocokan pola dan untuk memperkenalkan klausa batasan untuk parameter jenis generik.
while Perulangan: Ekspresiwhile...do Memperkenalkan konstruksi perulangan.
with Ekspresi Pencocokan

Ekspresi Objek

Ekspresi Catatan Salin dan Perbarui

Ekstensi Jenis

Pengecualian: Ekspresi try...with
Digunakan bersama dengan kata kunci match dalam ekspresi pencocokan pola. Juga digunakan dalam ekspresi objek, ekspresi penyalinan catatan, dan ekstensi jenis untuk memperkenalkan definisi anggota, dan untuk memperkenalkan penangan pengecualian.
yield Daftar, Array, Urutan Digunakan dalam ekspresi daftar, array, atau urutan untuk menghasilkan nilai untuk urutan. Biasanya dapat dihilangkan, karena implisit dalam kebanyakan situasi.
yield! Ekspresi Komputasi

Ekspresi asinkron

Ekspresi tugas
Digunakan dalam ekspresi perhitungan untuk menambahkan hasil ekspresi perhitungan tertentu ke kumpulan hasil untuk ekspresi komputasi di dalamnya.
const Penyedia Jenis Penyedia Jenis memungkinkan penggunaan const sebagai kata kunci untuk menentukan literal konstanta sebagai argumen parameter jenis.

Token berikut dicadangkan di F # karena mereka adalah kata kunci dalam bahasa OCaml:

  • asr
  • land
  • lor
  • lsl
  • lsr
  • lxor
  • mod
  • sig

Jika Anda menggunakan opsi kompilator --mlcompatibility, kata kunci di atas dapat digunakan sebagai pengidentifikasi.

Token berikut dicadangkan sebagai kata kunci untuk perluasan F # mendatang:

  • break
  • checked
  • component
  • const
  • constraint
  • continue
  • event
  • external
  • include
  • mixin
  • parallel
  • process
  • protected
  • pure
  • sealed
  • tailcall
  • trait
  • virtual

Token berikut pernah dicadangkan sebagai kata kunci tetapi dirilis di F# 4.1, jadi sekarang Anda dapat menggunakannya sebagai pengidentifikasi:

Kata kunci Alasan
method Gunakan member untuk memperkenalkan metode.
constructor Gunakan new untuk memperkenalkan konstruktor.
atomic Terkait dengan fad untuk memori transaksi 2006. Ini sekarang akan menjadi ekspresi komputasi yang ditentukan pustaka.
eager Tidak lagi diperlukan; awalnya dirancang untuk mencocokkan let eager potensi let lazy.
object Tidak perlu memesan ini.
recursive Gunakan rec.
functor Jika F# menambahkan modul berparameter, Anda akan menggunakan module M(args) = ....
measure Atribut [<Measure>] sudah cukup.
volatile Atribut [<Volatile>] sudah cukup.

Lihat juga