Logical AND

Documentation Index

Fetch the complete documentation index at: https://docs.syntblaze.com/llms.txt

Use this file to discover all available pages before exploring further.

lhs && rhs

​

Technical Characteristics

• Short-Circuit Evaluation: Swift employs short-circuiting for the && operator at runtime. The left-hand side (lhs) expression is evaluated first. If lhs evaluates to false, the overall expression is mathematically guaranteed to be false, and the runtime bypasses the evaluation of the right-hand side (rhs) expression entirely. The rhs is evaluated strictly if and only if lhs evaluates to true.
• Standard Library Implementation: Unlike many languages where short-circuiting is a hardcoded compiler primitive, Swift implements && as a standard library function. It achieves deferred execution by marking the rhs parameter with the @autoclosure attribute:

static func && (lhs: Bool, rhs: @autoclosure () throws -> Bool) rethrows -> Bool

• Type Constraints: Both the lhs and rhs operands must be strictly of type Bool. Swift is strongly typed and does not support implicit truthiness or type coercion (e.g., integers or non-nil objects cannot be directly evaluated by &&).
• Associativity: The operator is left-associative. Chained && operations are grouped and evaluated from left to right.

// Evaluated as: (expr1 && expr2) && expr3
expr1 && expr2 && expr3

• Precedence: The && operator belongs to the LogicalConjunctionPrecedence group. It has a lower precedence than comparison operators (such as ==, <, >) but a higher precedence than the Logical OR operator (||).

​

Truth Table