for 루프에서 세미콜론과 쉼표가 서로 바뀌는 이유는 무엇입니까?

많은 언어 (C에서 JavaScript까지 광범위한 목록) :

• 쉼표 ,별도의 인수 (예 func(a, b, c)) 동안
• 세미콜론 ;은 순차적 명령어를 분리합니다 (예 :) instruction1; instruction2; instruction3.

그래서 왜이 매핑이 for 루프 에 대해 동일한 언어로 반전 되었습니까 ?

for ( init1, init2; condition; inc1, inc2 )
{
    instruction1;
    instruction2;
}

대신 (나에게 더 자연스러운 것)

for ( init1; init2, condition, inc1; inc2 )
{
    instruction1;
    instruction2;
}

?

물론, for(보통) 함수가 아닌,하지만 인수 (즉 init, condition, increment) 더 일련의 지시 명령보다 함수의 인자처럼 행동.

역사적 이유 / 관습 때문입니까, 아니면 루프 ,와 인터체인지에 대한 좋은 근거가 ;있습니까?

따라서 동일한 언어에서 이러한 매핑이 for 루프에 대해 반대 인 이유는 무엇입니까?

기술적으로 매핑은 "역전되지"않습니다.

• 쉼표로 구분 된 것은 매개 변수가 아닙니다. (적어도) C ++ 및 Java에서는 선언이 될 수 있으므로 표현식도 아닙니다.
• 세미콜론으로 분리 된 것은 (단일) 진술도 아닙니다.

실제로 우리가 여기있는 것은 동일한 기호가 다르게 사용되는 다른 구문 적 맥락입니다. 우리는 like와 비교하지 않기 때문에 의미 적 일관성에 기반한 일관된 매핑에 대한 매핑이 없으며 강력한 논증이 없습니다.

그렇다면 다른 방법으로는 어떻습니까?

잘 나는 이유는 "자연"의 의미에서 오는 생각 ,하고 ;. 영어로 작성된 언어에서 세미콜론은 쉼표보다 "강력한"중단이며 세미콜론의 글리프는 쉼표보다 더 잘 보입니다. 이 두 가지가 결합하여 현재의 배열을보다 자연스럽게 보이게합니다.

그러나 구문 선택이 왜 이루어 진지 확실하게 알 수있는 유일한 방법은 C 설계자가 ~ 1970 년에 생각했던 것을 우리에게 말해 줄 수있는 것입니다. 나는 그들이 과거에 한 기술적 결정에 대한 명확한 기억을 가지고 있다고 의심한다.

역사적인 이유 / 협약 때문입니까?

"for"루프에 대해 C와 유사한 구문을 사용한 C 이전의 언어는 알지 못합니다.

• Donal Fellows는 BCPL과 B는 동등한 구성을 가지고 있지 않다고 지적했다.

• FORTRAN, COBOL 및 Algol-60 (및 Pascal) 등가물은 표현력이 낮았으며 C "for"구문과 유사하지 않은 구문을 가졌습니다.

그러나 C 다음에 나온 C, C ++ 및 Java와 같은 언어는 모두 C에서 "for"구문을 분명히 빌려줍니다.

우리는 다음과 같은 루프를 작성합니다.

 for(x = 0; x < 10; x++)

루프가 다음과 같이되도록 언어를 정의 할 수 있습니다.

 for(x = 0, x < 10, x++)

그러나 while 루프를 사용하여 구현 된 동일한 루프를 생각해보십시오.

 x = 0;
 while(x < 10)
 {
     x++;
 }

것을 주목 x=0하고 x++세미콜론으로 종료 문이다. 함수 호출에서와 같은 표현식이 아닙니다. 세미콜론은 명령문을 구분하는 데 사용되며 for 루프의 세 가지 요소 중 두 가지가 명령문이므로 여기에서 사용됩니다. for 루프는 그러한 while 루프에 대한 지름길입니다.

또한 인수는 실제로 함수에 대한 인수처럼 작동하지 않습니다. 두 번째와 세 번째는 반복적으로 평가됩니다. 그것들이 시퀀스가 ​​아니라는 것은 사실이지만 함수 인수도 아닙니다.

또한 쉼표를 사용하여 for 루프에 여러 명령문을 가질 수 있다는 사실은 실제로 for 루프 외부에서 수행 할 수있는 작업입니다.

x = 0, y= 3;

for 루프 외부에서도 완벽하게 유효한 명령문입니다. 그래도 for 루프 외부에서 실제로 사용하는 방법을 모르겠습니다. 그러나 요점은 쉼표는 항상 문장을 세분화한다는 것입니다. for 루프의 특별한 기능은 아닙니다.

C 및 C ++에서 이것은 쉼표 만이 아니라 쉼표 연산자입니다.

for루프 문법 은 다음과 같습니다

for ([pre-expression]; [terminate-condition]; [increment-expression]) body-expression

질문이있는 경우 :

pre-expression -> init1, init2
terminate-condition -> condition
increment-expression -> inc1, inc2

쉼표 연산자를 사용하면 하나의 명령문에서 여러 작업을 수행 할 수 있습니다 (컴파일러가 보는 것처럼). 제안이 구현되면 프로그래머가 쉼표 연산자 문이나 구분 기호를 쓰려고 할 때 문법에 모호성이 있습니다.

한마디로, ;진술의 끝을 나타냅니다. for루프에 둘러싸여 옵션 문의 목록 다음에 키워드입니다 (). 쉼표 연산자 문을 사용하면 ,단일 문에서 사용할 수 있습니다 .

개념적 반전은 없습니다.

C의 세미콜론은 쉼표보다 더 큰 구분을 나타냅니다. 그들은 진술과 선언을 분리합니다.

for 루프의 주요 부분은 세 개의 표현식 (또는 선언과 두 개의 표현식)과 본문이 있다는 것입니다.

C for 루프에 표시되는 쉼표는 구체적으로 for 루프 구문의 일부가 아닙니다. 그것들은 단지 콤마 연산자의 표현 일뿐입니다.

쉼표는 함수 호출의 인수와 함수 선언의 매개 변수 사이의 주요 구분 기호이지만 세미콜론은 사용되지 않습니다. for 루프는 특별한 구문입니다. 함수 또는 함수 호출과 관련이 없습니다.

어쩌면 이것은 C / C ++에 특정한 것일 수도 있지만,이 답변을 게시합니다. 설명한 lagnuages의 구문은 대부분 C 구문에 영향을 받기 때문입니다.

이전에 답변 된 질문 외에도 기술적 인 관점에서 볼 때 C (및 C ++)에서는 쉼표가 실제로 연산자 이기 때문에 오버로드 할 수 있기 때문 입니다. operator;()세미콜론은 axiomatic expression terminator이므로 세미콜론 연산자 ( )를 사용하면 컴파일러를 작성하기가 더 어려워 질 수 있습니다.

이것이 intersting을 만드는 것은 쉼표가 널리 사용되는 것이 사실이다 구분자 모든 언어 이상. 쉼표 연산자가 예외 인 것처럼 보입니다. 주로 for여러 조건이 작동하는 루프 를 얻는 데 사용 되므로 거래는 무엇입니까?

실제로는 operator,정의, 인수 목록 등에서와 동일한 작업을 수행하도록 작성되었습니다. 구문 을 분리 하기 위해 작성되었습니다 . 구문 구문이 ,할 수없는 것입니다. 표준에 정의 된 내용 만 분리 할 수 ​​있습니다.

그러나 세미콜론은 분리되지 않으며 종료됩니다 . 그리고 이것은 또한 우리를 원래의 질문으로 되돌려 놓는 것이기도합니다.

for (int a = 0, float b = 0.0f; a < 100 && b < 100.0f; a++, b += 1.0f)
    printf("%d: %f", a, b);

쉼표는 세 개의 루프 부분에서 표현식을 분리하지만 세미콜론은 루프 정의의 일부 (초기화, 조건 또는 사후 고려)를 종료합니다.

C #과 같은 최신 프로그래밍 언어는 쉼표 연산자 오버로드를 허용하지 않을 수 있지만 구문을 변경하는 것은 부자연 스럽습니다.

저에게는 언어 적 의미와 덜 유사한 의미로 사용됩니다. 쉼표는 목록과 세미콜론과 함께 별도의 부품으로 사용됩니다.

여기에는 func(a, b, c)인수 목록이 있습니다.

instruction1; instruction2; instruction3 어쩌면 별도의 독립적 인 명령 목록 일 수도 있습니다.

에있는 동안 for ( init1, init2; condition; inc1, inc2 )초기화, 조건의 목록과 증가 표현의리스트 - 우리는 별도의 세 가지 부분이있다.

가장 쉽게 볼 수있는 방법은 다음과 같습니다.

for(x = 0; x < 10; x++)

입니다 :

for(
x = 0;
x < 10;
x++
)

다시 말해서, x = 0 인 것은 실제로 매개 변수가 아닌 설명 / 명령입니다. 거기에 진술을 삽입하십시오. 따라서 세미콜론으로 구분됩니다.

실제로 쉼표로 구분되는 방법은 없습니다. x <10과 같은 것을 매개 변수로 언제 마지막으로 삽입합니까? x <10을 한 번 컴퓨터에 넣고 해당 작업의 결과를 매개 변수로 삽입하려는 경우에 수행합니다. 따라서 쉼표 세계에서는 x <0 값을 함수에 전달하려면 x <10을 넣습니다.

여기서 루프가 전달 될 때마다 프로그램이 x <10을 확인하도록 지정합니다. 그것은 지시입니다.

x ++는 확실히 또 다른 지침입니다.

이것들은 모두 지침입니다. 그래서 그들은 세미콜론으로 구분됩니다.