O comportamento do operador lógico para "e" lógico no C# (&&
) é o mesmo do operador AndAlso
que você mencionou. Idem para o operador "ou" lógico (||
) e OrElse
.
Os operadores And
e Or
do Visual Basic são equivalentes aos operadores &
e |
do C#, respectivamente.
Acho que todos podemos concordar que isso não é nada óbvio.
Seguindo a resposta do Maniero, vou tentar explicar a diferença aqui.
Os operadores AndAlso
/&&
e OrElse
/||
funcionam apenas com expressões booleanas e são curto-circuitados.
Os operadores And
/&
e Or
/|
funcionam como filtros de bits e podem ser utilizados com expressões de vários tipos diferentes - isso é um pouco mais complexo. Mas o importante aqui é que não são curto-circuitados.
A filtragem de bits ocorre da seguinte forma: você alinha dois valores do mesmo tipo em binário e compara os bits em pares, sempre comparando o n-ésimo bit de um valor com o n-ésimo bit de outro valor. O resultado da operação é um terceiro valor em binário com o mesmo tamanho, preenchido de acordo com as seguintes regras:
- Caso a operação seja "e", cada posição do resultado conterá 1 apenas se ambos os inputs tiverem 1 naquela posição, e 0 caso contrário;
- Caso a operação seja "ou", cada posição do resultado conterá 0 apenas se ambos os inputs tiverem 0 naquela posição, e 1 caso contrário.
Para verificar, faça um programa que realize as seguintes operações e mostre os resultados em um console ou caixa de mensagem:
1 & 3:
1: 0000 0000 0000 0000 0000 0000 0000 0001
3: 0000 0000 0000 0000 0000 0000 0000 0011
resultado: 0000 0000 0000 0000 0000 0000 0000 0001 (1)
1 | 3:
1: 0000 0000 0000 0000 0000 0000 0000 0001
3: 0000 0000 0000 0000 0000 0000 0000 0011
resultado: 0000 0000 0000 0000 0000 0000 0000 0011 (3)
3 & 5:
3: 0000 0000 0000 0000 0000 0000 0000 0011
5: 0000 0000 0000 0000 0000 0000 0000 0101
resultado: 0000 0000 0000 0000 0000 0000 0000 0001 (1)
3 | 5:
3: 0000 0000 0000 0000 0000 0000 0000 0011
5: 0000 0000 0000 0000 0000 0000 0000 0101
resultado: 0000 0000 0000 0000 0000 0000 0000 0111 (7)
Agora o mais legal: booleanos em .NET são representados por um byte. Os dois valores possíveis são:
true: 0000 0001
false: 0000 0000
Então: true & false
resulta em false
, enquanto true | false
resulta em true
(independente da ordem das variáveis).
Quanto ao curto-circuito... Isso é uma característica da maioria das linguagens derivadas do C. A avaliação de expressões lógicas tem duas condições de parada. Ela para imediatamente quando encontra um valor falso para operações do tipo "e" (AndAlso
/&&
) ou verdadeiro para expressões do tipo "ou" (OrElse
/||
). Essa característica não é utilizada para os operadores And
/&
e Or
/|
.
Se você utilizar várias avaliações lógicas em uma única expressão, o programa irá montar uma árvore de expressões - deixo a seu critério pesquisar como os programas fazem isso. O importante é que cada operador vira um nó com dois filhos, e cada filho é uma expressão. O programa então resolve a árvore substituindo cada operador pelo resultado de sua avaliação com seus nós filhos. Se os operadores forem curto-circuitáveis, a árvore pode ter caminhos removidos prematuramente, e esses caminhos jamais serão avaliados. Mas se a árvore contiver apenas operadores não-curto-circuitáveis, ela necessariamente irá avaliar todos os caminhos que tiver.
if (!usuario == null) & (usuario.idade == 18){