Pre-Increment

The ++ (increment) operator is a unary arithmetic operator that increments the value of its operand by 1. It mutates the operand in place and requires the operand to be a variable, a property access, or an indexer access. It cannot be applied to literals or constants.

The operator manifests in two distinct syntactical forms, which dictate the order of evaluation relative to the expression’s return value.

Prefix Increment (++x)

The prefix form increments the operand’s value and evaluates to the newly incremented value. The mutation occurs before the value is yielded to the surrounding expression.

int x = 10;
int y = ++x; 

// Evaluation sequence:
// 1. x is incremented to 11
// 2. The expression ++x evaluates to 11
// 3. y is assigned 11

Postfix Increment (x++)

The postfix form evaluates to the original value of the operand, but the mutation of the operand occurs during the evaluation of the postfix expression itself, before the surrounding expression continues evaluating.

Under the hood, the C# compiler reads the original value, saves it to a temporary location, increments the operand, and then returns the saved temporary value as the result of the expression.

int a = 10;
int b = a++; 

// Evaluation sequence:
// 1. The original value of a (10) is temporarily saved
// 2. a is incremented to 11
// 3. The expression a++ evaluates to the saved value (10)
// 4. b is assigned 10

Because the mutation happens immediately upon evaluating the postfix expression, subsequent reads of the operand within the same surrounding expression will observe the incremented value:

int x = 1;
int y = x++ + x; 

// Evaluation sequence (left-to-right):
// 1. x++ evaluates to the saved original value (1), and x is mutated to 2
// 2. The second operand x is evaluated, yielding its new value (2)
// 3. The addition is performed: 1 + 2
// 4. y is assigned 3

Underlying Mechanics

For an operand x of type T, the increment operation is conceptually evaluated as x = (T)(x + 1). However, the C# compiler ensures that the operand x is evaluated only once.

When applied to integral types smaller than int (such as byte or short), the operation does not require an explicit cast back to the original type, despite the underlying addition being performed using 32-bit integers.

byte b = 255;
b++; // Silently overflows to 0 in an unchecked context

Supported Types

The ++ operator is natively supported by:

• Integral types: sbyte, byte, short, ushort, int, uint, long, ulong, char
• Floating-point types: float, double
• High-precision decimal: decimal
• Enumerations: enum (increments the underlying integral value)
• Pointers: T* in unsafe contexts (increments the memory address by sizeof(T))

Operator Overloading

User-defined types (class or struct) can overload the ++ operator. When overloading, you only define a single operator ++ method. The C# compiler automatically handles the distinct evaluation logic for both prefix and postfix usage based on this single overload.

public struct Vector
{
    public int X;
    
    // The overload must be static and return the containing type
    public static Vector operator ++(Vector v)
    {
        v.X++;
        return v;
    }
}

Thread Safety and Atomicity

The ++ operator is not atomic. It executes a non-indivisible read-modify-write sequence:

1. Read the current value from memory into a CPU register.
2. Increment the value in the register.
3. Write the new value back to memory.

Because of this, applying ++ to a shared variable in a multithreaded environment will result in race conditions and lost updates. For atomic increments, C# provides the System.Threading.Interlocked.Increment method.

Master C# with Deep Grasping Methodology!

Learn More