정의되지 않은 C ++ 동작이 C 정의 된 동작을 충족하면 어떻게됩니까?

*.cppC 컴파일러가 아닌 C ++로 컴파일 하는 파일이 있습니다. 포함 함수는 C (정확한 경우 수정하십시오!)로 정의 된 것처럼 보이는 캐스트 (마지막 줄 참조)에 의존하지만이 특수 유형의 C ++에서는 그렇지 않습니다.

[...] C++ code [...]

struct sockaddr_in sa = {0};
int sockfd = ...;
sa.sin_family = AF_INET;
sa.sin_port = htons(port);
bind(sockfd, (struct sockaddr *)&sa, sizeof sa);

[...] C++ code [...]

이것을 C ++ 파일로 컴파일하기 때문에 이것이 현재 정의되었거나 정의되지 않은 동작입니까? 아니면 *.c파일을 파일 로 옮겨서 동작을 정의해야합니까?

이것은 C ++과 C 모두에 정의되어 있습니다. 결과 포인터를 역 참조하지 않기 때문에 엄격한 앨리어싱 규정을 위반하지 않습니다.

다음 은 이것을 허용하는 C ++ (@interjay 및 @VTT 덕분) 의 인용문입니다 .

객체 포인터는 다른 유형의 객체 포인터로 명시 적으로 변환 될 수 있습니다.

이것을 가능하게하는 C (감사 @StoryTeller) 의 인용문은 다음과 같습니다 .

객체 유형에 대한 포인터는 다른 객체 유형에 대한 포인터로 변환 될 수 있습니다.

이것들은 하나의 포인터 타입이 다른 포인터 타입으로 변환 될 수 있고 (선택적으로 다시 변환 될 수 있음) 지정합니다.

POSIX 의 인용문은 다음과 같습니다.

를 sockaddr_in 구조는 인터넷 주소 패밀리의 주소를 저장하는 데 사용됩니다. 이 유형에 대한 포인터는 소켓 함수와 함께 사용하기 위해 sockaddr * 를 구성하는 응용 프로그램에 의해 캐스트됩니다 .

이 함수 ( bind)는 C 표준 라이브러리의 일부이므로 내부에서 진행되는 (특히 형식 캐스팅 포인터 역 참조) 작업에는 정의되지 않은 동작이 없습니다.

보다 일반적인 질문에 대답하려면 :

C와 C ++는 서로 다른 두 언어입니다. C ++에서는 정의되지 않았지만 C ++에서는 정의되지 않았지만 C ++에서는 정의되지 않았습니다. 두 언어 사이의 묵시적 호환성으로 인해 변경되지 않습니다. C에서는 잘 정의되어 있지만 C ++에서는 정의되지 않은 코드를 사용하려면 해당 코드를 컴파일하기 위해 C 컴파일러를 사용해야합니다.

C와 C ++ 코드 사이의 호출은 모두 해당 표준의 관점에서 정의되지 않은 동작을 호출하지만 대부분의 플랫폼은 그러한 것을 지정합니다.

C 또는 C ++ 표준의 일부와 구현 문서가 함께 동작을 정의 또는 설명하지만 다른 부분이이를 정의되지 않은 것으로 특성화하는 경우, 구현은 고객의 요구에 가장 잘 맞는 방식으로 코드를 처리 할 수 ​​있습니다. 어떤 패션이든 고객의 요구에 무관심합니다. 표준이 관할권 밖에서 이러한 문제를 고려한다는 사실은 다양한 목적에 대한 적합성을 주장하는 구현이이를 어떻게 의미있게 처리해야하는지에 대한 판단을 의미하지는 않지만 일부 컴파일러 관리자는 그러한 신화에 동의합니다.