A do-while loop is a control flow statement that executes a block of code at least once and then repeatedly executes the block as long as a specified condition evaluates to true. This loop guarantees that the code block will run at least once, regardless of whether the condition is initially true or false.