Símbolo e referência do operador

Este artigo inclui tabelas que descrevem os símbolos e operadores usados em F# e fornece uma breve descrição de cada um. Alguns símbolos e operadores têm duas ou mais entradas quando usados em várias funções.

Comentário, diretiva do compilador e símbolos de atributo

A tabela a seguir descreve símbolos relacionados a comentários, diretivas do compilador e atributos.

Símbolo ou operador	Ligações	Descrição
(*...*)		Delimita um comentário que pode abranger várias linhas.
//		Indica o início de um comentário de linha única.
///	Documentação XML	Indica um comentário XML.
#	Diretivas do compilador	Prefixa uma diretiva de pré-processador ou compilador.
[<...>]	Atributos	Delimita um atributo.

Símbolos de cadeia de caracteres e identificadores

A tabela a seguir descreve símbolos relacionados a cadeias de caracteres.

Símbolo ou operador	Ligações	Descrição
"	Strings	Delimita uma cadeia de caracteres de texto.
@"	Strings	Inicia uma cadeia de caracteres de texto literal, que pode incluir barras invertidas e outros caracteres.
"""	Strings	Delimita uma cadeia de texto com aspas triplas, que pode incluir barras invertidas, aspas duplas e outros caracteres.
$"	Cordas interpoladas	Inicia uma cadeia de caracteres interpolada.
'	Literais	Delimita um literal de caractere único.
``...``		Delimita um identificador que, de outra forma, não seria um identificador legal, como uma palavra-chave de idioma.
\	Strings	Escapa do próximo personagem; usado em literais de caracteres e strings.

Operadores aritméticos

A tabela a seguir descreve os operadores aritméticos.

Símbolo ou operador	Ligações	Descrição
+	Operadores Aritméticos	Quando usado como um operador binário, adiciona os lados esquerdo e direito. Quando usado como um operador unário, indica uma quantidade positiva. (Formalmente, produz o mesmo valor com o sinal inalterado.)
-	Operadores Aritméticos	Quando usado como um operador binário, subtrai o lado direito do lado esquerdo. Quando usado como um operador unário, executa uma operação de negação.
*	Operadores Aritméticos Tuplas Unidades de medida	Quando usado como um operador binário, multiplica os lados esquerdo e direito. Em tipos, indica emparelhamento em uma tupla. Utilizado em unidades de medida.
/	Operadores Aritméticos Unidades de medida	Divide o lado esquerdo (numerador) pelo lado direito (denominador). Utilizado em unidades de medida.
%	Operadores Aritméticos	Calcula o número inteiro restante.
**	Operadores Aritméticos	Calcula a operação de exponenciação (x ** y significa x para o poder de y).

Operadores de comparação

A tabela a seguir descreve os operadores de comparação.

Símbolo ou operador	Ligações	Descrição
<	Operadores Aritméticos	Calcula a operação menos que.
<>	Operadores Aritméticos	Retorna true se o lado esquerdo não for igual ao lado direito, caso contrário, retorna false.
<=	Operadores Aritméticos	Retorna true se o lado esquerdo for menor ou igual ao lado direito, caso contrário, retorna false.
=	Operadores Aritméticos	Retorna true se o lado esquerdo for igual ao lado direito, caso contrário, retorna false.
>	Operadores Aritméticos	Retorna true se o lado esquerdo for maior que o direito, caso contrário, retorna false.
>=	Operadores Aritméticos	Retorna true se o lado esquerdo for maior ou igual ao lado direito, caso contrário, retorna false.

Operadores booleanos

A tabela a seguir descreve os símbolos dos operadores aritméticos e booleanos.

Símbolo ou operador	Ligações	Descrição
&&	Operadores Booleanos	Calcula a operação Boolean AND.
||	Operadores Booleanos	Calcula a operação OR booleana.

Operadores Bitwise

A tabela a seguir descreve os operadores bitwise.

Símbolo ou operador	Ligações	Descrição
&&&	Operadores de Manipulação de Bits	Calcula a operação bit a bit AND.
<<<	Operadores de Manipulação de Bits	Desloca bits na quantidade do lado esquerdo para a esquerda pelo número de bits especificado no lado direito.
>>>	Operadores de Manipulação de Bits	Desloca bits na quantidade do lado esquerdo para a direita pelo número de lugares especificados no lado direito.
^^^	Operadores de Manipulação de Bits	Calcula a operação OR exclusiva bitwise.
|||	Operadores de Manipulação de Bits	Calcula a operação OR bit a bit.
~~~	Operadores de Manipulação de Bits	Calcula a operação bit a bit NOT.

Símbolos e operadores de função

A tabela a seguir descreve os operadores e símbolos relacionados às funções.

Símbolo ou operador	Ligações	Descrição
->	Funções	Em expressões de função, separa o padrão de entrada da expressão de saída.
|>	Funções	Passa o resultado do lado esquerdo para a função do lado direito (operador de tubo para a frente).
||>	( ||> Função< )'T1,'T2,'U>	Passa a tupla de dois argumentos no lado esquerdo para a função no lado direito.
|||>	( |||> )<'T1,'T2,'T3,'U> Função	Passa a tupla de três argumentos do lado esquerdo para a função do lado direito.
>>	Funções	Compõe duas funções (operador de composição para frente).
<<	Funções	Compõe duas funções em ordem inversa; o segundo é executado primeiro (operador de composição para trás).
<|	Funções	Passa o resultado da expressão no lado direito para a função no lado esquerdo (operador de tubo para trás).
<||	<( || )<» Função T1,'T2,'U>	Passa a tupla de dois argumentos do lado direito para a função do lado esquerdo.
<|||	<( ||| )<» Função T1,'T2,'T3,'U>	Passa a tupla de três argumentos do lado direito para a função do lado esquerdo.

Símbolos de tipo e operadores

A tabela a seguir descreve símbolos relacionados à anotação de tipo e testes de tipo.

Símbolo ou operador	Ligações	Descrição
->	Funções	Em tipos de função, delimita argumentos e valores de retorno, também produz um resultado em expressões de sequência.
:	Funções	Em uma anotação de tipo, separa um parâmetro ou nome de membro de seu tipo.
:>	Conversão e Transformações	Converte um tipo em tipo mais alto na hierarquia.
:?	Expressões de correspondência	Retorna true se o valor corresponde ao tipo especificado (incluindo se for um subtipo); caso contrário, retorna false (operador de teste de tipo).
:?>	Conversão e Transformações	Converte um tipo em um tipo que é inferior na hierarquia.
#	Tipos flexíveis	Quando usado com um tipo, indica um tipo flexível, que se refere a um tipo ou qualquer um de seus tipos derivados.
'	Generalização automática	Indica um parâmetro de tipo genérico.
<...>	Generalização automática	Delimita parâmetros de tipo.
^	Parâmetros de tipo resolvidos estaticamente Strings	Especifica parâmetros de tipo que devem ser resolvidos em tempo de compilação, não em tempo de execução. Concatena cadeias de caracteres.
{}	Classe ou Registo	Quando usado com a palavra-chave, delimita type uma classe ou registro. O tipo é uma classe quando os membros são declarados ou a class palavra-chave é usada. Caso contrário, é um recorde.
{||}	Registo anónimo	Indica um registo anónimo

Símbolos usados na pesquisa de membros e expressões de fatia

A tabela a seguir descreve símbolos adicionais usados em pesquisas de membros e expressões de fatia.

Símbolo ou operador	Ligações	Descrição
.	Membros	Acessa um membro e separa nomes individuais em um nome totalmente qualificado.
[...] ou .[...]	Arrays Propriedades indexadas Expressões de fatia	Indexa em uma matriz, cadeia de caracteres ou coleção, ou tira uma fatia de uma coleção.

Símbolos usados em tupla, lista, matriz, expressões de unidade e padrões

A tabela a seguir descreve símbolos relacionados a tuplas, listas, valores unitários e matrizes.

Símbolo ou operador	Ligações	Descrição
( )	Tipo de unidade	Representa o valor único do tipo de unidade.
,	Tuplas	Separa os elementos de uma tupla ou parâmetros de tipo.
::	Listas Expressões de correspondência	Cria uma lista. O elemento do lado esquerdo é anexado à lista do lado direito. Usado na correspondência de padrões para separar as partes de uma lista.
@	Listas	Concatena duas listas.
[...]	Listas	Delimita os elementos de uma lista.
[|...|]	Arrays	Delimita os elementos de uma matriz.

Símbolos utilizados em expressões imperativas

A tabela a seguir descreve símbolos adicionais usados em expressões.

Símbolo ou operador	Ligações	Descrição
<-	Valores	Atribui um valor a uma variável.
;	Sintaxe Detalhada	Separa expressões (usadas principalmente em sintaxe detalhada). Também separa elementos de uma lista ou campos de um registro.

Símbolos adicionais utilizados em sequências e expressões computacionais

A tabela a seguir descreve símbolos adicionais usados em Sequências e Expressões de Computação.

Símbolo ou operador	Ligações	Descrição
->	Sequências	Produz uma expressão (em expressões sequenciais); equivalente às do yield palavras-chave.
!	Expressões computacionais	Depois de uma palavra-chave, indica uma versão modificada do comportamento da palavra-chave como controlada por uma expressão computacional.

Símbolos adicionais usados em padrões de correspondência

A tabela a seguir descreve símbolos relacionados à correspondência de padrões.

Símbolo ou operador	Ligações	Descrição
->	Expressões de correspondência	Usado em expressões de correspondência.
&	Correspondência de padrões	Calcula o endereço de um valor mutável, para uso ao interoperar com outros idiomas. Usado em padrões AND.
_	Expressões de correspondência Genéricos	Indica um padrão curinga. Especifica um parâmetro genérico anônimo.
|	Expressões de correspondência	Delimita casos de correspondência individuais, casos de união discriminados individuais e valores de enumeração.

Símbolos adicionais utilizados nas declarações

A tabela a seguir descreve símbolos relacionados a declarações.

Símbolo ou operador	Ligações	Descrição
(|...|)	Padrões Ativos	Delimita um nome de padrão ativo. Também chamados de grampos de banana.
?	Parâmetros e argumentos	Especifica um argumento opcional.
~~	Sobrecarga de Operador	Usado para declarar uma sobrecarga para o operador de negação unária.
~-	Sobrecarga de Operador	Usado para declarar uma sobrecarga para o operador unário menos.
~+	Sobrecarga de Operador	Usado para declarar uma sobrecarga para o operador unary plus.

Símbolos adicionais utilizados nas citações

A tabela a seguir descreve símbolos relacionados a cotações de código.

Símbolo ou operador	Ligações	Descrição
<@...@>	Cotações de código	Delimita uma cotação de código digitada.
<@@...@@>	Cotações de código	Delimita uma cotação de código não tipada.
%	Cotações de código	Usado para emendar expressões em citações de código digitadas.
%%	Cotações de código	Usado para emendar expressões em citações de código não tipadas.

Operadores de pesquisa dinâmica

A tabela a seguir descreve símbolos adicionais usados em expressões de pesquisa dinâmica. Eles geralmente não são usados na programação de rotina do F# e nenhuma implementação desses operadores é fornecida na biblioteca principal do F#.

Símbolo ou operador	Ligações	Descrição
?		Usado como operador para chamadas dinâmicas de método e propriedade.
? ... <- ...		Usado como um operador para definir propriedades dinâmicas.

Operadores anuláveis em consultas

Os Operadores Nulos são definidos para uso em Expressões de Consulta. A tabela a seguir mostra esses operadores.

Símbolo ou operador	Ligações	Descrição
%?	Operadores anuláveis	Calcula o número inteiro restante, quando o lado direito é um tipo anulável.
*?	Operadores anuláveis	Multiplica os lados esquerdo e direito, quando o lado direito é um tipo anulável.
+?	Operadores anuláveis	Adiciona os lados esquerdo e direito, quando o lado direito é um tipo anulável.
-?	Operadores anuláveis	Subtrai o lado direito do lado esquerdo, quando o lado direito é um tipo anulável.
/?	Operadores anuláveis	Divide o lado esquerdo pelo lado direito, quando o lado direito é um tipo anulável.
<?	Operadores anuláveis	Calcula a operação menos que, quando o lado direito é um tipo anulável.
<>?	Operadores anuláveis	Calcula a operação "não igual" quando o lado direito é um tipo anulável.
<=?	Operadores anuláveis	Calcula a operação "menor ou igual a" quando o lado direito é um tipo anulável.
=?	Operadores anuláveis	Calcula a operação "igual" quando o lado direito é um tipo anulável.
>?	Operadores anuláveis	Calcula a operação "maior que" quando o lado direito é um tipo anulável.
>=?	Operadores anuláveis	Calcula a operação "maior que ou igual" quando o lado direito é um tipo anulável.
?>=, ?>, , ?<=, ?<, ?<>?=, ?+, ?-?*,?/	Operadores anuláveis	Equivalente aos operadores correspondentes sem o ? prefix, onde um tipo anulável está à esquerda.
>=?, >?, , <=?, <?, <>?=?, +?, -?*?,/?	Operadores anuláveis	Equivalente aos operadores correspondentes sem o ? sufixo, onde um tipo anulável está à direita.
?>=?, ?>?, , ?<=?, ?<?, ?<>??=?, ?+?, ?-??*?,?/?	Operadores anuláveis	Equivalente aos operadores correspondentes sem os pontos de interrogação circundantes, onde ambos os lados são tipos anuláveis.

Operadores de célula de referência (preteridos)

A tabela a seguir descreve símbolos relacionados às Células de Referência. O uso desses operadores gera mensagens de aviso a partir do F# 6. Para obter mais informações, consulte Mensagens de aviso de operação da célula de referência.

Símbolo ou operador	Ligações	Descrição
!	Células de referência	Cancela a referência de uma célula de referência.
:=	Células de referência	Atribui um valor a uma célula de referência.

Precedência dos operadores

A tabela a seguir mostra a ordem de precedência dos operadores e outras palavras-chave de expressão em F#, na ordem da menor precedência para a maior precedência. Também está listada a associatividade, se aplicável.

Operador	Associatividade
as	Certo
when	Certo
| (tubo)	Esquerda
;	Certo
let	Não associativo
function, fun, match, try	Não associativo
if	Não associativo
not	Certo
->	Certo
:=	Certo
,	Não associativo
or, ||	Esquerda
&, &&	Esquerda
:>, :?>	Certo
< op, >op, =, |op, op, && ,$ (incluindo <<<, >>>, |||, &&&)	Esquerda
^ PO (incluindo ^^^)	Certo
::	Certo
:?	Não associativo
- OP, +OP	Aplica-se a usos infixos desses símbolos
* op, /op, %op	Esquerda
** PO	Certo
f x (aplicação da função) (incluindo lazy x, assert x)	Esquerda
| (correspondência de padrão)	Certo
Operadores de prefixo (+op, -op, %, %%, &, &&, op!, ~op)	Esquerda
.	Esquerda
f(x)	Esquerda
f< tipos>	Esquerda

O F# suporta sobrecarga de operador personalizado. Isso significa que você pode definir seus próprios operadores. Na tabela anterior, op pode ser qualquer sequência válida (possivelmente vazia) de caracteres do operador, seja interna ou definida pelo usuário. Assim, você pode usar essa tabela para determinar qual sequência de caracteres usar para um operador personalizado atingir o nível desejado de precedência. Os caracteres principais . são ignorados quando o compilador determina a precedência.

Ver também

• F# Referência de Linguagem
• Sobrecarga de Operador