Answer.

Nested loops allow one sequence of loops to be executed inside another. They are used when it is necessary to iterate over multidimensional structures, such as two-dimensional arrays or combinations of elements. The first loop is called the outer loop, and the one inside is called the inner loop.

Question History

The need to work with nested structures, such as matrices or graphs, led to the emergence of nested loops. Programming languages, including Java, initially support such a mechanism to program tasks related to processing arrays, graphs, grids, etc.

Problem

Using nested loops can lead to high time complexity if the number of iterations is not taken into account. Issues with code readability and indexing errors often arise. Improper use leads to repeated execution of the same actions.

Solution

Use nested loops only when explicitly necessary — for example, for two-dimensional arrays.
Watch the loop variables, avoiding name conflicts.
Assess the complexity: a nested loop within another loop on n elements will give O(n^2) actions.

Example code:

int[][] matrix = {
    {1, 2, 3},
    {4, 5, 6},
    {7, 8, 9}
};

for (int i = 0; i < matrix.length; i++) {
    for (int j = 0; j < matrix[i].length; j++) {
        System.out.print(matrix[i][j] + " ");
    }
    System.out.println();
}

Key features:

Each level of the loop increases the program's execution complexity.
It is important to distinguish between initialization volumes, exit conditions, and counter management.
In modern tasks, nested loops can often be optimized and replaced with algorithms or data streams.

Trick Questions.

Can both loops be exited at once with break?

The regular break statement only exits the inner loop. To exit multiple loops at once, labels are used:

outer:
for (int i = 0; i < n; i++) {
    for (int j = 0; j < m; j++) {
        if (condition) break outer;
    }
}

Is it possible to have an infinite loop due to nested loops?

Yes, if the exit condition of any of the loops is incorrectly implemented, an infinite loop can result. This often occurs due to errors in initialization or counter incrementing.

Can the outer loop variables be modified from within the inner loop?

Yes, technically it is possible, but it significantly reduces readability and can lead to errors. It is better to avoid this and clearly separate the work of each loop.

Common Mistakes and Anti-Patterns

Errors in indexes (out of bounds of the array).
Unjustifiably high levels of nesting.
Using the same variable names for different loop levels.
Incorrect exit conditions.

Real Life Example

Negative Case

Iterating through a two-dimensional array, but instead of i and j, i is used everywhere:

for (int i = 0; i < n; i++) {
    for (int i = 0; i < m; i++) {...}
}

Pros:

Simple and understandable approach to iterate over all elements.

Cons:

The inner loop each time creates a new i, losing the value of the outer.
Logic collapses, leading to an infinite or incorrect loop.

Positive Case

Using different variable names:

for (int i = 0; i < n; i++) {
    for (int j = 0; j < m; j++) {...}
}