operadores true e false - trate seus objetos como um valor booleano
O true
operador retorna o valor true
bool para indicar que seu operando é definitivamente verdadeiro, enquanto o false
operador retorna o bool
valor true
para indicar que seu operando é definitivamente falso.
Observe que um tipo que implementa ambos os true
operadores e false
tem que seguir estas semânticas:
- "Este objeto é verdadeiro?" resolve para o operador
true
. O operadortrue
retornatrue
se o objeto fortrue
. A resposta é "Sim, este objeto é verdadeiro". - "Este objeto é falso?" resolve para o operador
false
. O operadorfalse
retornatrue
se o objeto forfalse
. A resposta é "Sim, este objeto é falso"
Não é garantido que os true
operadores se false
complementem. Ou seja, o operador e false
pode true
retornar o bool
valor false
para o mesmo operando. Se um tipo define um desses dois operadores, ele também deve definir o outro operador.
Gorjeta
Use o bool?
tipo, se precisar dar suporte à lógica de três valores (por exemplo, quando você trabalha com bancos de dados que suportam um tipo booleano de três valores). O C# fornece os &
operadores e |
que suportam a lógica de três valores com os bool?
operandos. Para obter mais informações, consulte a seção Operadores lógicos booleanos anuláveis do artigo Operadores lógicos booleanos.
Expressões booleanas
Um tipo com o operador definido true
pode ser o tipo de resultado de uma expressão condicional de controle nas instruções if, do, while e for e no operador ?:
condicional. Para obter mais informações, consulte a seção Expressões booleanas da especificação da linguagem C#.
Operadores lógicos condicionais definidos pelo usuário
Se um tipo com os operadores definidos e sobrecarregar o operador |
lógico OR ou o operador &
lógico AND de uma determinada maneira, o operador ||
OR lógico condicional ou o operador &&
lógico condicional AND , respectivamente, podem ser avaliados para os operandos desse tipo.false
true
Para obter mais informações, consulte a seção Operadores lógicos condicionais definidos pelo usuário da especificação da linguagem C#.
Exemplo
O exemplo a seguir apresenta o tipo que define ambos e true
false
operadores. O tipo também sobrecarrega o operador &
lógico AND de tal forma que o &&
operador também pode ser avaliado para os operandos desse tipo.
public struct LaunchStatus
{
public static readonly LaunchStatus Green = new LaunchStatus(0);
public static readonly LaunchStatus Yellow = new LaunchStatus(1);
public static readonly LaunchStatus Red = new LaunchStatus(2);
private int status;
private LaunchStatus(int status)
{
this.status = status;
}
public static bool operator true(LaunchStatus x) => x == Green || x == Yellow;
public static bool operator false(LaunchStatus x) => x == Red;
public static LaunchStatus operator &(LaunchStatus x, LaunchStatus y)
{
if (x == Red || y == Red || (x == Yellow && y == Yellow))
{
return Red;
}
if (x == Yellow || y == Yellow)
{
return Yellow;
}
return Green;
}
public static bool operator ==(LaunchStatus x, LaunchStatus y) => x.status == y.status;
public static bool operator !=(LaunchStatus x, LaunchStatus y) => !(x == y);
public override bool Equals(object obj) => obj is LaunchStatus other && this == other;
public override int GetHashCode() => status;
}
public class LaunchStatusTest
{
public static void Main()
{
LaunchStatus okToLaunch = GetFuelLaunchStatus() && GetNavigationLaunchStatus();
Console.WriteLine(okToLaunch ? "Ready to go!" : "Wait!");
}
static LaunchStatus GetFuelLaunchStatus()
{
Console.WriteLine("Getting fuel launch status...");
return LaunchStatus.Red;
}
static LaunchStatus GetNavigationLaunchStatus()
{
Console.WriteLine("Getting navigation launch status...");
return LaunchStatus.Yellow;
}
}
Observe o comportamento de curto-circuito do &&
operador. Quando o GetFuelLaunchStatus
método retorna LaunchStatus.Red
, o operando direito do &&
operador não é avaliado. Isso porque LaunchStatus.Red
é definitivamente falso. Em seguida, o resultado do E lógico não depende do valor do operando direito. A saída do exemplo é a seguinte:
Getting fuel launch status...
Wait!