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 BindingsRekaman 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: Ekspresi for...to Perulangan: Ekspresi for...in Perulangan: Ekspresi while...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
Saran dan Komentar
https://aka.ms/ContentUserFeedback.
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat:Kirim dan lihat umpan balik untuk