Sembol ve işleç başvurusu

Bu makale, F # içinde kullanılan sembolleri ve işleçleri açıklayan ve her birinin kısa bir açıklamasını sağlayan tabloları içerir. Bazı semboller ve işleçler birden çok rolde kullanıldığında iki veya daha fazla girişe sahiptir.

Comment, derleyici yönergesi ve öznitelik sembolleri

Aşağıdaki tabloda yorumlarla ilgili simgeler, derleyici yönergeleri ve öznitelikleri açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
(*...*) Birden çok satıra yayılabilen bir yorumu ayırır.
// Tek satırlık açıklamanın başlangıcını gösterir.
/// XML Belgeleri Bir XML açıklamasını gösterir.
# Derleyici Yönergeleri Ön işlemci veya derleyici yönergesine önek.
[<...>] Öznitelikler Bir özniteliği ayırır.

Dize ve tanımlayıcı sembolleri

Aşağıdaki tabloda dizelerle ilgili semboller açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
" Dizeler Bir metin dizesini ayırır.
@" Dizeler Ters eğik çizgi ve diğer karakterler içerebilen bir tam metin dizesi başlatır.
""" Dizeler Ters eğik çizgi, çift tırnak işareti ve diğer karakterler içerebilen, Üçlü tırnak içine alınmış bir metin dizesini ayırır.
$" Enterpolasyonlu dizeler Bir enterpolasyonlu dize başlatır.
' Değişmez Değerler Tek karakterlik değişmez değer ayırır.
``...`` Alternatif olarak, bir dil anahtar sözcüğü gibi yasal tanımlayıcı olmayan bir tanımlayıcıyı ayırır.
\ Dizeler Sonraki karakteri çıkar; karakter ve dize değişmez değerlerinde kullanılır.

Aritmetik işleçler

Aşağıdaki tabloda aritmetik işleçler açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
+ Aritmetik Işleçler
  • İkili işleç olarak kullanıldığında, sol ve sağ kenarları ekler.
  • Birli işleç olarak kullanıldığında, pozitif miktarı gösterir. (Resmi olarak, işareti değişmeden aynı değeri üretir.)
- Aritmetik Işleçler
  • İkili işleç olarak kullanıldığında, sol taraftaki sağ tarafı çıkartır.
  • Birli operatör olarak kullanıldığında, bir Olumsuzlaştırma işlemi gerçekleştirir.
* Aritmetik Işleçler

Demetler

Ölçü birimleri
  • İkili işleç olarak kullanıldığında, sol ve sağ kenarları çarpar.
  • Türlerde, bir tanımlama grubu içindeki eşlemeyi gösterir.
  • Ölçü birimi türlerinde kullanılır.
/ Aritmetik Işleçler

Ölçü birimleri
  • Sol tarafı (pay) sağ tarafa (payda) böler.
  • Ölçü birimi türlerinde kullanılır.
% Aritmetik Işleçler Tam sayı kalanını hesaplar.
** Aritmetik Işleçler Üs işlemi ( x ** y kuvvetinin y anlamı x ) hesaplar.

Karşılaştırma işleçleri

Aşağıdaki tabloda karşılaştırma işleçleri açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
< Aritmetik Işleçler Küçüktür işlemini hesaplar.
<> Aritmetik Işleçler Sol kenar sağ tarafa eşit değilse döndürür true ; Aksi takdirde false döndürür.
<= Aritmetik Işleçler Sol tarafta sağ taraftan küçük veya ona eşit olursa döndürür true ; Aksi takdirde, döndürür false .
= Aritmetik Işleçler Sol tarafta sağ tarafa eşit olursa döndürür true ; Aksi takdirde, döndürür false .
> Aritmetik Işleçler Sol kenar sağ taraftan büyükse döndürür true ; Aksi takdirde, döndürür false .
>= Aritmetik Işleçler Sol tarafta sağ taraftan büyük veya ona eşit olursa döndürür true ; Aksi takdirde, döndürür false .

Boole işleçleri

Aşağıdaki tabloda aritmetik ve Boole işleçleri sembolleri açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
&& Boole İşleçleri Boole ve işlemi hesaplar.
|| Boole İşleçleri Boole veya işlemi hesaplar.

Bit düzeyinde işleçler

Aşağıdaki tabloda bit düzeyinde işleçler açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
&&& Bit düzeyinde Işleçler Bit düzeyinde ve işlemi hesaplar.
<<< Bit düzeyinde Işleçler Sol taraftaki miktardaki miktarı, sağ tarafta belirtilen bit sayısıyla sola kaydırır.
>>> Bit düzeyinde Işleçler Sol taraftaki miktardaki miktarı sağ tarafta belirtilen yer sayısına göre sağa kaydırır.
^^^ Bit düzeyinde Işleçler Bit düzeyinde dışlamalı veya işlemi hesaplar.
||| Bit düzeyinde Işleçler Bit düzeyinde OR işlemini hesaplar.
~~~ Bit düzeyinde Işleçler Bit düzeyinde işlem işlemini hesaplar.

İşlev sembolleri ve işleçler

Aşağıdaki tabloda işlevlerle ilgili işleçler ve semboller açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
-> İşlevler İşlev ifadelerinde, giriş modelini çıkış ifadesinden ayırır.
|> İşlevler Sol tarafın sonucunu sağ taraftaki işleve geçirir (ileri kanal işleci).
||> ( || ) < 1, 't 2, ' U > işlev Sol taraftaki iki bağımsız değişkenin kayıt kümesini sağ taraftaki işleve geçirir.
|||> ( ||| ) < 'T, 1, 2, 't 3, ' U > işlev Sol taraftaki üç bağımsız değişkenin kayıt kümesini sağ taraftaki işleve geçirir.
>> İşlevler İki işlevi (ileri birleşim işleci) bileşik olarak oluşturur.
<< İşlevler İki işlevi ters sırada oluşturur; ikinci bir ilki yürütülür (geriye doğru bileşim işleci).
<| İşlevler Sağ taraftaki ifadenin sonucunu sol taraftaki işleve geçirir (geriye doğru kanal işleci).
<|| ( || )<' T1, 'T 2, ' U > işlev Sağ taraftaki iki bağımsız değişkenin kayıt kümesini sol taraftaki işleve geçirir.
<||| ( ||| )<' T1, 'T 2, 'T 3, ' U > işlev Sağ taraftaki üç bağımsız değişkenin kayıt kümesini sol taraftaki işleve geçirir.

Tür sembolleri ve işleçler

Aşağıdaki tabloda tür ek açıklaması ve tür testleriyle ilgili semboller açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
-> İşlevler İşlev türlerinde, bağımsız değişkenleri ve dönüş değerlerini ayırır, ayrıca dizi ifadelerinde bir sonuç verir.
: İşlevler Bir tür ek açıklamasında bir parametre veya üye adını türünden ayırır.
:> Atama ve Dönüştürmeler Bir türü hiyerarşide daha üst olan türe dönüştürür.
:? Eşleşme İfadeleri Değerin belirtilen türle eşleşip eşleşmediğini döndürür true (bir alt tür ise dahil); Aksi takdirde, döndürür false (tür testi işleci).
:?> Atama ve Dönüştürmeler Bir türü hiyerarşide daha düşük olan bir türe dönüştürür.
# Esnek Türler Bir türle birlikte kullanıldığında, bir türe veya türetilmiş türlerinden birine başvuran esnek bir türügösterir.
' Otomatik Genelleştirme Genel bir tür parametresini gösterir.
<...> Otomatik Genelleştirme Sınırlandırlar tür parametreleri.
^ Statik Olarak Çözümlenmiş Tür Parametreleri

Dizeler
  • Çalışma zamanında değil, derleme zamanında çözülmesi gereken tür parametrelerini belirtir.
  • Dizeleri art arda ekler.
{} Sınıf veya kayıt Anahtar sözcüğüyle kullanıldığında type , bir sınıfı veya kaydı ayırır. Tür, üyelerin bildirildiği veya class anahtar sözcüğünün kullanıldığı bir sınıftır. Aksi takdirde, bir kaydıdır.
{||} Anonim kayıt Anonim bir kaydı belirtir

Üye arama ve dilim ifadelerinde kullanılan semboller

Aşağıdaki tabloda üye arama ve dilim ifadelerinde kullanılan ek semboller açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
. Üyeler Bir üyeye erişir ve adları tam bir ada ayırır.
[...] veya .[...] Diziler

Dizinli Özellikler

Dilim Ifadeleri
Bir dizi, dize veya koleksiyonda dizinler veya bir koleksiyonun dilimini alır.

Tanımlama grubu, liste, dizi, birim ifadeleri ve desenlerde kullanılan semboller

Aşağıdaki tabloda, diziler, listeler, birim değerleri ve diziler ile ilgili semboller açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
( ) Birim Türü Birim türünün tek bir değerini temsil eder.
, Demetler Bir tanımlama grubunun öğelerini veya tür parametrelerini ayırır.
:: Listeler

Eşleşme İfadeleri
  • Bir liste oluşturur. Sol taraftaki öğe, sağ taraftaki listenin başına eklenir.
  • Bir listenin parçalarını ayırmak için kalıp eşleştirmesinde kullanılır.
@ Listeler İki listeyi birleştirir.
[...] Listeler Bir listenin öğelerini ayırır.
[|...|] Diziler Bir dizinin öğelerini ayırır.

Kesinlik temelli ifadelerde kullanılan semboller

Aşağıdaki tabloda ifadelerde kullanılan ek semboller açıklanmaktadır.

Sembol veya işleç Bağlantılar Description
<- Değerler Bir değişkene bir değer atar.
; Ayrıntılı Sözdizimi

İfadeleri ayırır (çoğunlukla ayrıntılı sözdiziminde kullanılır). Ayrıca, bir listenin veya kaydın alanlarının öğelerini de birbirinden ayırıyor.

Dizilerde ve hesaplama ifadelerinde kullanılan ek semboller

Aşağıdaki tabloda, Diziler ve Hesaplama İfadeleri'ne kullanılanek semboller açık almaktadır.

Sembol veya işleç Bağlantılar Description
-> Diziler Bir ifade (dizi ifadelerinde) sağlar; anahtar sözcüklere do yield eşdeğerdir.
! Hesaplama İfadeleri Anahtar sözcükten sonra, bir hesaplama ifadesi tarafından denetlenen anahtar sözcük davranışının değiştirilmiş bir sürümünü gösterir.

Eşleşme desenlerde kullanılan ek semboller

Aşağıdaki tabloda desen eşleştirmeyle ilgili semboller açık almaktadır.

Sembol veya işleç Bağlantılar Description
-> Eşleşme İfadeleri Eşleşme ifadelerinde kullanılır.
& Eşleşme İfadeleri
  • Diğer dillerle birlikte çalışabilirken kullanmak üzere table değerinin adresini hesaplar.
  • AND desenlerde kullanılır.
_ Eşleşme İfadeleri

Genel Türler
  • Joker karakter desenini gösterir.
  • Anonim bir genel parametre belirtir.
| Eşleşme İfadeleri Tek tek eşleşme durumlarını, ayrı union durumlarını ve numaralama değerlerini sınırlar.

Bildirimlerde kullanılan ek semboller

Aşağıdaki tabloda, bildirimlerle ilgili semboller açık almaktadır.

Sembol veya işleç Bağlantılar Description
(|...|) Etkin Desenler Etkin bir desen adını sınırlandırıyor. Ayrıca muz klipleri olarak da adlandırılan.
? Parametreler ve Bağımsız Değişkenler İsteğe bağlı bir bağımsız değişken belirtir.
~~ İşleç Aşırı Yüklemesi Birli olumsuzlama işleci için bir aşırı yüklemeyi bildirecek şekilde kullanılır.
~- İşleç Aşırı Yüklemesi Birli eksi işleci için aşırı yüklemeyi bildirecek şekilde kullanılır.
~+ İşleç Aşırı Yüklemesi Birli artı işleci için bir aşırı yüklemeyi bildirecek şekilde kullanılır.

Tırnak içinde kullanılan ek semboller

Aşağıdaki tabloda Kod Tırnak işaretleriyle ilgili semboller açık almaktadır.

Sembol veya işleç Bağlantılar Description
<@...@> Kod Tırnak İşaretleri Türü yazılmış bir kod tırnak işaretlerini sınırlar.
<@@...@@> Kod Tırnak İşaretleri Yazılmış olmayan bir kod tırnak işaretlerini sınırlar.
% Kod Tırnak İşaretleri İfadeleri türe göre kod tırnak içine almak için kullanılır.
%% Kod Tırnak İşaretleri İfadeleri türlanmamış kod tırnak işaretlerine dahil etmek için kullanılır.

Dinamik arama işleçleri

Aşağıdaki tabloda dinamik arama ifadelerinde kullanılan ek semboller açık almaktadır. Bunlar genellikle rutin F# programlamada kullanılmaz ve F# çekirdek kitaplığında bu işleç uygulamaları sağlanmaz.

Sembol veya işleç Bağlantılar Description
? Dinamik yöntem ve özellik çağrıları için işleç olarak kullanılır.
? ... <- ... Dinamik özellikleri ayarlamaya bir işleç olarak kullanılır.

Sorgularda boş değere değiştirilebilir işleçler

Boş Değer Değere Değiştirilebilir İşleçler Sorgu İfadelerinde kullanım için tanımlanır. Aşağıdaki tabloda bu işleçler gösterir.

Sembol veya işleç Bağlantılar Description
%? Boş Değer Atanabilir İşleçler Sağ taraf null değer atılabilir bir tür olduğunda tamsayının kalanını hesaplar.
*? Boş Değer Atanabilir İşleçler Sağ taraf null değere değiştirilebilir bir tür olduğunda sol ve sağ tarafları çarpar.
+? Boş Değer Atanabilir İşleçler Sağ taraf null değere değiştirilebilir bir tür olduğunda sol ve sağ taraf ekler.
-? Boş Değer Atanabilir İşleçler Sağ taraf null değere değiştirilebilir bir tür olduğunda, sağ tarafı sol taraftan çıkarır.
/? Boş Değer Atanabilir İşleçler Sağ taraf null değere ayrılabilir bir tür olduğunda sol tarafı sağ tarafa böler.
<? Boş Değer Atanabilir İşleçler Sağ taraf null değere sahip bir tür olduğunda küçük olan işlemi hesaplar.
<>? Boş Değer Atanabilir İşleçler Sağ taraf null değere sahip bir tür olduğunda "eşit değil" işlemi hesaplar.
<=? Boş Değer Atanabilir İşleçler Sağ taraf null değere sahip bir tür olduğunda "küçük veya ona eşit" işlemi hesaplar.
=? Boş Değer Atanabilir İşleçler Sağ taraf null değere değiştirilebilir bir tür olduğunda "eşit" işlemi hesaplar.
>? Boş Değer Atanabilir İşleçler Sağ taraf null değere sahip bir tür olduğunda "büyüktür" işlemi hesaplar.
>=? Boş Değer Atanabilir İşleçler Sağ taraf null değere sahip bir tür olduğunda "büyüktür veya eşittir" işlemi değiştirilebilir.
?>=, ?>, ?<=, ?<, ?=, ?<>, ?+, ?-, ?*, ?/ Boş Değer Atanabilir İşleçler ? olmayan ilgili işleçlere eşdeğerdir ön ek; burada boş değere değiştirilebilir bir tür sol taraftadır.
>=?, >?, <=?, <?, =?, <>?, +?, -?, *?, /? Boş Değer Atanabilir İşleçler ? olmayan ilgili işleçlere eşdeğerdir soneki, burada null değere değiştirilebilir bir tür sağdadır.
?>=?, ?>?, ?<=?, ?<?, ?=?, ?<>?, ?+?, ?-?, ?*?, ?/? Boş Değer Atanabilir İşleçler Her iki taraf da null değere değiştirilebilir türler olan, çevresindeki soru işaretleri olmadan karşılık gelen işleçlere eşdeğerdir.

Başvuru hücresi işleçleri (kullanım dışı)

Aşağıdaki tabloda, başvuru hücreleriyleilgili semboller açıklanmaktadır. Bu işleçlerin kullanımı, danışmanlık iletilerini F # 6 itibariyle oluşturur. Daha fazla bilgi için bkz. başvuru hücresi işlem danışmanlık iletileri.

Sembol veya işleç Bağlantılar Description
! Başvuru Hücreleri Bir başvuru hücresine başvurur.
:= Başvuru Hücreleri Başvuru hücresine bir değer atar.

İşleç önceliği

Aşağıdaki tabloda, F # ' de işleçlerin ve diğer ifade anahtar sözcüklerinin öncelik sırası, en düşük önceliğe göre en yüksek önceliğe göre gösterilmiştir. Ayrıca, varsa, ilişkilendirilebilirliği de listelenmiştir.

Operatör İlişkilendirilebilirlik
as Sağ
when Sağ
| kapatıldığı Sol
; Sağ
let İlişkilendirilebilir olmayan
function, fun, match, try İlişkilendirilebilir olmayan
if İlişkilendirilebilir olmayan
not Sağ
-> Sağ
:= Sağ
, İlişkilendirilebilir olmayan
or, || Sol
&, && Sol
:>, :?> Sağ
<<, >>, = , |=, &|, & ,$

(,,,, ve dahil <<<|||>>>&&& )
Sol
^^

(dahil ^^^ )
Sağ
:: Sağ
:? İlişkilendirilebilir değil
--, ++ Bu sembollerin ındüzeltilme kullanımları için geçerlidir
**, //, %% Sol
**** Sağ
f x (işlev uygulaması)

(, assert x dahil lazy x )
Sol
| (model eşleştirme) Sağ
önek işleçleri ( ++, --, % , %% , & , && , !%, ~%%) Sol
. Sol
f(x) Sol
f<f<> Sol

F # özel operatör aşırı yüklemesini destekler. Bu, kendi işleçlerinizi tanımlayabilmeniz anlamına gelir. Önceki tabloda, op , yerleşik veya Kullanıcı tanımlı işleç karakterlerinin geçerli (muhtemelen boş) sırası olabilir. Bu nedenle, istenen öncelik düzeyini elde etmek üzere özel bir operatör için kullanılacak karakter dizisini belirlemek için bu tabloyu kullanabilirsiniz. Derleyici önceliği belirlediğinde öndeki . karakterler yok sayılır.

Ayrıca bkz.