이 두 가지 작은 프로그램이 있습니다.
기음
#include <stdio.h>
int main()
{
if (5) {
printf("true\n");
}
else {
printf("false\n");
}
return 0;
}자바
class type_system {
public static void main(String args[]) {
if (5) {
System.out.println("true");
}
else {
System.out.println("false");
}
}
}오류 메시지를보고합니다.
type_system.java:4: error: incompatible types: int cannot be converted to boolean
if (5) {
^
1 error내 이해
지금까지이 예를 다른 유형 시스템의 데모로 이해했습니다. C는 더 약한 유형이며 오류없이 int에서 boolean으로 변환 할 수 있습니다. 내재 된 대화가 허용되지 않으므로 Java가 더 강력하게 입력되고 실패합니다.
그러므로 내 질문 : 내가 어디에서 오해를 했습니까?
내가 찾고 있지 않은 것
내 질문은 나쁜 코딩 스타일과 관련이 없습니다. 나는 그것이 나쁘다는 것을 알고 있지만 C가 왜 그것을 허용하고 Java를 허용하지 않는지에 관심이 있습니다. 따라서 언어의 유형 시스템, 특히 언어 유형에 관심이 있습니다.
22
@toogley : Java의 유형 시스템에 대해 구체적으로 알고 싶은 것은 무엇입니까? 언어 사양에 따라 형식 시스템에서 허용하지 않으므로 형식 시스템에서이를 허용하지 않습니다 . C가 허용하고 Java가 허용하는 이유는 두 언어에서 모두 허용되는 것으로 간주되지 않습니다. 타입 시스템의 결과 동작은 효과 그 아닌 원인.
—
Robert Harvey
@toogley : 왜 당신이 무언가를 잘못 이해했다고 생각합니까? 텍스트를 다시 읽으면 질문이 무엇인지 이해할 수 없습니다.
—
Doc Brown
실제로 이것은 C에서 약한 타이핑의 예가 아닙니다 . 과거 (C89)에는 C에 부울 유형이 없었으므로 모든 "부울"연산이 실제로
—
Rufflewind
int값 에 대해 작동했습니다 . 더 적절한 예는 다음과 같습니다 if (pointer).
나는 이것을 이해하려고 많은 연구를하지 않은 것처럼 보이기 때문에 하향 투표했다.
—
jpmc26
원래 질문이 편집 된 버전과 약간 다른 것 같습니다 (따라서 일부 의견과 답변이 다른 질문에 대답하는 것처럼 보입니다). 현재의 형태로는 여기에 의문의 여지가없는 것 같습니다. 무슨 오해? Java는 생각한대로 정확하게 작동합니다.
—
jamesdlin