What type of loop will execute at least once irrespective of the condition?

The type of loop that guarantees execution at least once, regardless of the condition, is the do-while loop. This is because the do-while loop executes the block of code within it first before checking the condition. This means that it will run its contents once before evaluating whether to continue looping based on the specified condition.

In contrast, a for loop and a while loop check their conditions before executing their respective code blocks. If the condition is not met, the code within those loops may not run at all. An infinite loop is characterized by its ability to run endlessly without terminating; however, it does not ensure that the code executes at least once based on a condition.

Thus, the do-while loop's design makes it unique as it executes its body first, which is essential for scenarios where the initial execution is needed regardless of the condition that follows.