C 함수 헤더에서 언제 화살표 연산자를 사용해야 합니까?

함수 헤더의 화살표 연산자

C 11 이상에서는 함수 선언에 두 가지 구문이 있습니다.

전통적인 구문:

return-type identifier(argument-declarations...)

현대 구문:

auto identifier(argument-declarations...) -> return_type

두 구문은 동일합니다. 그러나 최신 구문은 인수 유형에서 반환 유형을 추론하는 편리한 방법을 제공합니다. 이는 표현식 유형을 설명할 수 있는 decltype 지정자를 사용할 때 특히 유용합니다.

이전 C 버전에서는 다음과 같이 작성했습니다.

template <typename T1, typename T2>
decltype(a + b) compose(T1 a, T2 b);

그러나 컴파일러는 다음과 같이 작성했습니다. 반환 유형을 결정하려고 할 때 a와 b가 무엇인지 모릅니다.

이 문제를 해결하려면 다음을 사용할 수 있습니다. declval:

template <typename T1, typename T2>
decltype(std::declval<T1>() + std::declval<T2>())
compose(T1 a, T2 b);

그러나 이는 장황해집니다. 대신 최신 구문을 사용하면 다음과 같이 작성할 수 있습니다.

template <typename T1, typename T2>
auto compose(T1 a, T2 b) -> decltype(a + b);

이 구문은 더 간결하고 동일한 범위 지정 규칙을 유지합니다.

C 14 업데이트:

C 14에서는 다음을 사용할 수 있습니다. 구문:

auto identifier(argument-declarations...)

사용하기 전에 함수가 완전히 정의되고 모든 반환 문이 동일한 유형을 추론하는 한.

사용 사례:

화살표 연산자(->) 구문은 소스 파일에서 구현을 숨기려는 헤더 파일에 선언된 공용 함수에 여전히 유용합니다. 이는 특히 템플릿 메타프로그래밍을 통해 파생된 템플릿 기능이나 특수한 구체적 유형과 관련이 있습니다.

위 내용은 C 함수 헤더에서 언제 화살표 연산자를 사용해야 합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!