Справочные сведения о ключевых словах (F#)
В этом разделе содержатся ссылки на справочные материалы обо всех ключевых словах языка F#.
Таблица ключевых слов языка F#
В следующей таблице представлены все ключевые слова языка F# в алфавитном порядке с краткими описаниями и ссылками на соответствующие разделы, которые содержат дополнительные сведения.
Ключевое слово |
Ссылка |
Описание |
|---|---|---|
abstract |
Обозначает метод, который либо не имеет реализации в типе, в котором он объявлен, либо является виртуальным и имеет реализацию по умолчанию. |
|
and |
Используется во взаимно рекурсивных привязках, объявлениях свойств и с многочисленными ограничениями универсальных параметров. |
|
as |
Используется, чтобы дать текущему объекту класса имя объекта.Также позволяет дать имя всему шаблону в пределах соответствия шаблону. |
|
assert |
Используется для проверки кода при отладке. |
|
base |
Используется в качестве имени объекта базового класса. |
|
begin |
В подробном синтаксисе это ключевое слово обозначает начало кодового блока. |
|
class |
В подробном синтаксисе это ключевое слово обозначает начало определения класса. |
|
default |
Обозначает реализацию абстрактного метода; используется вместе с объявлением абстрактного метода, чтобы создать виртуальный метод. |
|
delegate |
Используется для объявления делегата. |
|
do |
Циклы. Выражение for...to (F#) |
Используется в циклических конструкциях или для выполнения императивного кода. |
done |
В подробном синтаксисе обозначает окончание кодового блока в циклическом выражении. |
|
downcast |
Используется для преобразования в тип, находящийся на более низком уровне в цепочке наследования. |
|
downto |
В выражении for используется для счета в обратном порядке. |
|
elif |
Используется в условном ветвлении.Краткая форма else if. |
|
else |
Используется в условном ветвлении. |
|
end |
В определениях и расширениях типа обозначает окончание раздела определений членов. В подробном синтаксисе используется для задания окончания кодового блока, который начинается с ключевого слова begin. |
|
exception |
Используется для объявления типа исключения. |
|
extern |
Указывает, что объявленный элемент программы определяется в другом двоичном файле или сборке. |
|
false |
Используется в качестве логического литерала. |
|
finally |
Используется вместе с try, чтобы ввести блок кода, который выполняется независимо от того, происходит исключение или нет. |
|
for |
Используется в циклических конструкциях. |
|
fun |
Используется в лямбда-выражениях, известных также как анонимные функции. |
|
function |
Используется в виде более краткого варианта ключевого слова fun и выражения match в лямбда-выражении, которое имеет сопоставление шаблонов по одному аргументу. |
|
global |
Служит для ссылки на пространство имен .NET высшего уровня. |
|
if |
Используется в конструкциях условного ветвления. |
|
in |
Используется для выражений последовательности, а также (в подробном синтаксисе) для отделения выражений от привязок. |
|
inherit |
Используется для задания базового класса или базового интерфейса. |
|
inline |
Используется для обозначения функции, которая должна быть интегрирована непосредственно в код вызывающего объекта. |
|
interface |
Используется для объявления и реализации интерфейсов. |
|
internal |
Используется для задания видимости члена внутри сборки, но не за ее пределами. |
|
lazy |
Используется для задания вычисления, которое необходимо выполнить, только когда потребуется результат. |
|
let |
Используется для создания ассоциации или связи имени со значением или функцией. |
|
let! |
Используется в асинхронных рабочих процессах, чтобы связать имя к результату асинхронного вычисления или в других вычислительных выражениях, используемых для привязки к результату, имя типа вычисления. |
|
match |
Используется, чтобы разрешить разветвление сравнением значения с шаблоном. |
|
member |
Используется для объявления свойства или метода в типе объекта. |
|
module |
Используется для связи имени с группой соответствующих типов, значений и функций, чтобы логически отделить их от других фрагментов кода. |
|
mutable |
Используется для объявления переменной, т. е. значения, которое можно изменить. |
|
namespace |
Используется для связи имени с группой соответствующих типов и модулей, чтобы логически отделить их от других фрагментов кода. |
|
new |
Используется для объявления, определения или вызова конструктора, который создает или может создать объект. Также используется в ограничениях универсальных параметров, чтобы указать, что тип должен иметь определенный конструктор. |
|
not |
По сути, не является ключевым словом.Однако в сочетаниях not struct используется как ограничение универсальных параметров. |
|
null |
Указывает на отсутствие объекта. Также используется в ограничениях универсальных параметров. |
|
of |
Используется в размеченных объединениях для обозначения типа категорий значений, а также в объявлениях делегатов и исключений. |
|
open |
Используется для предоставления содержимого пространства имен или модуля без квалификации. |
|
or |
Используется с логическими условиями в качестве логического оператора or.Аналогично параметру ||. Также используется в ограничениях членов. |
|
override |
Используется для реализации версии абстрактного или виртуального метода, отличающегося от базовой версии. |
|
private |
Ограничивает доступ кода к члену в том же типе или модуле. |
|
public |
Предоставляет доступ к члену из-за пределов типа. |
|
rec |
Используется для обозначения рекурсивности функции. |
|
return |
Используется для обозначения значения, которое должно быть предоставлено как результат выражения вычисления. |
|
return! |
Используется для указания выражения вычисления, оценивано предоставляет результат, содержащий выражения вычисления. |
|
select |
Используется в выражениях запроса, чтобы указать, какие поля или столбцы для извлечения.Обратите внимание, что это контекстно-зависимое ключевое слово, означающее, что фактически не является зарезервированого слова и он действует только как ключевое слово в подходящем контексте. |
|
static |
Используется для обозначения метода или свойства, которое можно вызвать без экземпляра типа, либо члена значения, совместно используемого всеми экземплярами типа. |
|
struct |
Используется для объявления типа структуры. Также используется в ограничениях универсальных параметров. Используется для обеспечения совместимости OCaml в определениях модуля. |
|
then |
Используется в условных выражениях. Также используется для выполнения побочных эффектов после создания объекта. |
|
to |
Используется в циклах for для обозначения диапазона. |
|
true |
Используется в качестве логического литерала. |
|
try |
Используется для введения блока кода, который может создать исключение.Используется с with или finally. |
|
type |
Используется для объявления класса, записи, структуры, размеченного объединения, типа перечисления, единицы измерения или аббревиатуры типа. |
|
upcast |
Используется для преобразования в тип, находящийся на более высоком уровне в цепочке наследования. |
|
use |
Используется вместо let для значений, требующих вызова метода Dispose для освобождения ресурсов. |
|
use! |
Используется вместо let! в асинхронных рабочих процессах и других вычислительных выражениях для значений, требующих Dispose вызывается для освобождения ресурсов. |
|
val |
Используется в сигнатуре для обозначения значения или в типе для объявления члена (в ограниченных ситуациях). |
|
void |
Обозначает тип void в .NET.Используется при взаимодействии с другими языками .NET. |
|
when |
Используется для логических условий (условий "если") в сопоставлениях шаблонов и для введения предложения ограничения для параметра универсального типа. |
|
while |
Вводит циклическую конструкцию. |
|
with |
Используется вместе с ключевым словом match в выражениях сопоставления шаблонов.Также используется в выражениях объектов, выражениях копирования записей и расширений типов для введения определений членов и обработчиков исключений. |
|
yield |
Используется в выражении последовательности для получения значения для последовательности. |
|
yield! |
Используется в выражении для добавления результат вычисления указанного выражения вычислений в коллекцию результатов, содержащее выражение для вычисления. |
Кроме того, в F# зарезервированы следующие токены, являющиеся ключевыми словами в языке OCaml.
asr |
land |
lor |
lsl |
lsr |
lxor |
mod |
sig |
Если используется параметр компилятора --mlcompatibility, эти ключевые слова можно использовать в качестве идентификаторов.
Следующие токены зарезервированы в качестве ключевых слов для расширения языка F# в будущем.
atomic |
break |
checked |
component |
const |
constraint |
constructor |
continue |
eager |
event |
external |
fixed |
functor |
include |
method |
mixin |
object |
parallel |
process |
protected |
pure |
sealed |
tailcall |
trait |
virtual |
volatile |
См. также
Ссылки
Справочник символов и операторов (F#)