C 함수 서명에 반환 유형이 포함되어 있나요?

반환 유형이 함수 서명에 영향을 미치나요?

C에서 함수 템플릿 없이 선언된 함수는 서명에서 반환 유형을 제외합니다. 서로 다른 반환 유형만을 기반으로 한 함수 오버로드는 금지됩니다.

자세한 설명

함수와 해당 선언, 서명 간의 관계는 복잡합니다.

선언 및 엔터티

함수 선언은 다음을 선언할 수 있습니다. 함수 엔터티 또는 템플릿 엔터티. 일반 함수와 함수 템플릿의 명시적 특수화는 첫 번째 범주에 속합니다. 인수가 지정되지 않은 기본 함수 템플릿 또는 명시적 특수화는 후자 범주에 속합니다.

서명 정의

C 표준(1.3.10)에 따르면 함수 시그니처는 다음을 포함합니다. 다음:

• 매개변수 유형
• 클래스용 멤버, 함수에 대한 cv 한정자 및 포함 클래스

그러나 이 정의에는 반환 유형에 대한 언급이 부족합니다.

함수 템플릿 및 반환 유형

반대로, 함수 템플릿 전문화의 시그니처에는 함수 시그니처와 반환 유형이 모두 포함됩니다. (14.5.5.1).

그럼 시그니처는 정확히 무엇으로 구성되나요?

템플릿이 아닌 함수의 경우 시그니처는 반환 유형을 제외합니다. 그러나 템플릿 전문화의 경우 반환 유형이 통합됩니다.

오버로딩에 대한 의미

표준에서는 서로 다른 반환 유형만을 기반으로 한 오버로드를 금지합니다. 하지만 이러한 구별이 무엇인지는 여전히 모호합니다.

컴파일러 동작

주요 컴파일러는 호환되지 않는 유형으로 인해 다음 코드를 거부합니다.

int f();
double f(); // invalid

그러나 그들은 accept:

template<typename T> int f();
template<typename T> double f(); // invalid?

결론

반환 유형은 비템플릿 함수에 대한 서명의 일부는 아니지만 함수 유형 호환성을 결정하는 데 중요합니다. 효과적인 C 프로그래밍을 위해서는 이러한 뉘앙스를 이해하는 것이 필수적입니다.

위 내용은 C 함수 서명에 반환 유형이 포함되어 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!