Expressions, Operators & Truthiness Protocols

An expression computes a value; a statement directs the program’s execution flow. While operators look like standard mathematical syntax, in CPython they are syntactic sugar that resolve into sophisticated C-level slot lookups, dunder method invocations, and optimized bytecode instructions.

This chapter breaks down bytecode short-circuiting, the operator method resolution order (MRO), and how the VM decides what makes an object “Truthy” or “Falsey”.

1. Truthiness Protocol (`nb_bool` vs `mp_length`)

Every object in Python can be evaluated in a boolean context (if obj:). Unlike strictly typed languages that require an explicit boolean expression, CPython uses the fast-path PyObject_IsTrue() C function to determine truthiness.

The resolution sequence is:

Check Boolean Slot (nb_bool): Does the object define the __bool__ method? If so, return its result.
Check Length Slot (mp_length or sq_length): If __bool__ doesn’t exist, does the object define __len__? If so, return True for length > 0, and False for length 0.
Default to True: If neither is defined, CPython defaults to True.

This is why empty lists [], empty dicts {}, and 0 are Falsey, while custom objects are Truthy by default unless programmed otherwise.

2. Operator Method Resolution & Fallbacks

When CPython executes a comparison like a == b, it relies on the rich comparison protocol (PyObject_RichCompare).

CPython first calls a.__eq__(b).
If a.__eq__ returns the special singleton NotImplemented, CPython gracefully falls back and calls b.__eq__(a).
If both return NotImplemented, CPython falls back to an identity check (a is b) for equality comparisons.

This bi-directional protocol allows newer classes to compare themselves against older classes without patching the old class.

3. Visual Mental Model: Bytecode Short-Circuiting

Logical operators (and, or) do not compute boolean values; they return one of the evaluated objects. To execute this efficiently, the CPython compiler optimizes them using short-circuiting bytecode jump instructions (JUMP_IF_FALSE_OR_POP and JUMP_IF_TRUE_OR_POP).

Evaluating: result = A() or B()

[ Stack: Push A() ] 
        |
        v
[ Opcode: JUMP_IF_TRUE_OR_POP ]
        |
        +---> If A() is Truthy: Jump to end of expression! (B is never executed)
        |     Leaves A() on the top of the stack as the final result.
        |
        +---> If A() is Falsey: Pop A() off the stack.
        |
        v
[ Stack: Push B() ]
        |
        v
[ Return B() as the final result (regardless of truthiness) ]

Because or and and return the actual object (not a boolean), they are often used for quick fallback assignments (token = user_token or "default").

⚡

Revision Mode Active Condensed for 5-minute review. Focused on 30-second pitches, mental anchors, and high-frequency interview traps.

⚡ 30-Second Elevator Pitch

“Python expressions compile down to C-level protocol lookups. Truthiness is determined by the PyObject_IsTrue() C function, which checks for a __bool__ definition, falls back to __len__, and defaults to True. Comparisons like == use a bidirectional fallback protocol allowing operands to delegate evaluation. Logical operators like and and or don’t return booleans; they utilize bytecode jump instructions to short-circuit evaluation and return the actual evaluated object.”

🧠 Under The Hood & Mental Model

Short-Circuit Opcodes: JUMP_IF_TRUE_OR_POP avoids evaluating subsequent expressions entirely, making it safe to guard potentially crashing code (if user and user.is_active:).
Truthiness Resolution: __bool__ $\rightarrow$ __len__ $\rightarrow$ Default True.
NotImplemented Singleton: A special object returned by dunder methods (like __eq__) to signal the VM that it should try the reverse operation on the other operand.
Chained Comparisons: Syntax like 1 < x < 10 is compiled as 1 < x and x < 10, but the AST compiler optimizes it so x is only evaluated once.

💻 High-Yield Code & Gotcha

⚠️ GOTCHA: Using `NotImplementedError` instead of `NotImplemented`

When writing custom rich comparisons, returning NotImplemented signals the VM to try the reverse operand. Raising NotImplementedError crashes the application.

# ❌ ANTI-PATTERN: Raising NotImplementedError in comparisons
class Currency:
    def __eq__(self, other):
        if not isinstance(other, Currency):
            raise NotImplementedError() # CRASH! Breaks the fallback protocol.
        return self.value == other.value

# ✅ PRODUCTION PATTERN: Returning the NotImplemented singleton
class Currency:
    def __eq__(self, other):
        if not isinstance(other, Currency):
            return NotImplemented # VM safely tries other.__eq__(self)
        return self.value == other.value

⚖️ Trade-Offs & Comparison

+ Implicit Truthiness: Allows highly readable, Pythonic conditions like if active_users: without writing if len(active_users) > 0:.
- Implicit Truthiness: Can mask bugs when 0, "", or None hold semantically different meanings in a business domain but evaluate identically in a boolean context. Always use explicit is not None if 0 is a valid payload.

Python Interview Handbook

Expressions, Operators & Truthiness Protocols

1. Truthiness Protocol (`nb_bool` vs `mp_length`)

2. Operator Method Resolution & Fallbacks

3. Visual Mental Model: Bytecode Short-Circuiting

⚡ 30-Second Elevator Pitch

🧠 Under The Hood & Mental Model

💻 High-Yield Code & Gotcha

⚠️ GOTCHA: Using `NotImplementedError` instead of `NotImplemented`

⚖️ Trade-Offs & Comparison

How does CPython determine if an object evaluates to True or False?

No Interactive Questions Yet

Expressions, Operators & Truthiness Protocols

1. Truthiness Protocol (nb_bool vs mp_length)

2. Operator Method Resolution & Fallbacks

3. Visual Mental Model: Bytecode Short-Circuiting

⚡ 30-Second Elevator Pitch

🧠 Under The Hood & Mental Model

💻 High-Yield Code & Gotcha

⚠️ GOTCHA: Using NotImplementedError instead of NotImplemented

⚖️ Trade-Offs & Comparison

How does CPython determine if an object evaluates to True or False?

No Interactive Questions Yet

1. Truthiness Protocol (`nb_bool` vs `mp_length`)

⚠️ GOTCHA: Using `NotImplementedError` instead of `NotImplemented`