C는 함수 템플릿에서 배열 크기를 어떻게 추론합니까?

함수 템플릿에서 배열 크기 공제

제공된 C 코드에서 cal_size라는 함수 템플릿은 배열을 인수로 허용하도록 선언됩니다. 함수 템플릿은 인수 유형에서 배열의 크기를 추론하고 이를 인쇄합니다.

질문이 생깁니다. 함수에서 명시적으로 지정하지 않고 템플릿 매개변수 N이 배열의 올바른 크기로 자동으로 초기화되는 방법은 무엇입니까? call?

템플릿 인수 추론

이 동작을 이해하는 열쇠는 템플릿 인수 추론 과정에 있습니다. 템플릿 함수가 호출되면 컴파일러는 인수의 실제 유형을 사용하여 템플릿 매개변수의 값을 추론합니다.

cal_size의 경우 인수 유형은 T 유형 요소의 배열입니다. 지정된 크기 N. 컴파일러는 배열의 요소 유형에서 T를 추론하고 배열의 크기에서 N을 추론합니다.

인수 a가 함수에 전달되면 컴파일러는 T를 다음과 같이 추론합니다. int 및 N은 6입니다. 마찬가지로 b가 전달되면 T는 int이고 N은 1입니다.

함수 템플릿의 특수화

T와 N의 추론된 값을 기반으로 컴파일러는 다음을 생성합니다. 별도의 특수 버전의 함수 템플릿입니다. 각 호출에 대해 인수 배열의 특정 유형 및 크기 정보를 사용하여 특수 함수가 생성됩니다.

이 특별한 경우 두 개의 특수 함수가 생성됩니다.

• int용 cal_size_int_6 [6] 배열
• int용 cal_size_int_1[1] 배열

기본 함수는 본질적으로 이러한 특수 함수를 호출하는 것으로 변환됩니다.

위 내용은 C는 함수 템플릿에서 배열 크기를 어떻게 추론합니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!