가변 길이 인수(variable-length arguments)

보니깐 "매개변수의타입 뒤에 ...을 붙이고 공백을 하나 둔 후에 매개변수를 기술한다." 라고 되어있습니다.

예제에서 보면...

void sub(int... v)
{
        ... (중략) ...

        for(int x : v)
      
        ...
}
이렇게 되어있는데, 이때 for 문 안에 (int x : v)이 정확히 어떤걸 의미하는건지 잘 모르겠습니다.

결과를 보고 해석해보면 x를 v.length (=입력된 매개변수의 수)로 하여 그만큼 for문을 돌리겠다는거 같은데... 정확히는 어떻게 해석해야 될까요?
아니면 형식상 이렇게 사용되는 문법인가요 ?

감사합니다!