C 템플릿 인수 추론은 함수 템플릿의 배열 크기를 어떻게 결정합니까?

함수 템플릿의 템플릿 인수 추론 이해

함수 템플릿 cal_size를 사용하여 배열 크기를 계산하고 인쇄하는 다음 코드를 고려하세요. :

#include <iostream>

template <typename T, size_t N>
void cal_size(T (&amp;a)[N])
{
    std::cout << "size of array is: " << N << std::endl;
}

프로그램이 실행되면 두 항목 모두 올바른 크기로 인쇄됩니다. 배열:

int a[] = {1,2,3,4,5,6};
int b[] = {1};

cal_size(a);
cal_size(b);

그렇다면 크기가 명시적으로 인수로 전달되지 않은 경우에도 템플릿 함수 cal_size는 전달된 배열의 크기를 어떻게 자동으로 추론합니까?

답은 다음에 있습니다. C의 템플릿 인수 추론 개념. 작동 방식은 다음과 같습니다.

컴파일하는 동안 컴파일러는 템플릿 인수 추론을 수행하여 템플릿 함수에 전달된 인수의 실제 유형을 기반으로 T 유형과 N 값을 결정합니다. 이 경우 인수 a와 함께 cal_size가 호출되면 컴파일러는 T를 int로, N을 6으로 추론하여 컴파일 타임에 특수 함수 cal_size_int_6을 생성합니다.

void cal_size_int_6(int (&a)[6])
{
    std::cout << "size of array is: " << 6 << std::endl;
}

마찬가지로 인수 b의 경우 컴파일러는 T를 int로, N을 1로 추론하여 특수화합니다. cal_size_int_1:

void cal_size_int_1(int (&a)[1])
{
    std::cout << "size of array is: " << 1 << std::endl;
}

따라서 원본 cal_size 템플릿은 각각 하드코딩된 T 및 N 값을 갖는 두 개의 별도 함수 전문화를 효과적으로 생성합니다. 이 프로세스를 통해 cal_size를 호출할 때마다 올바른 배열 크기가 인쇄됩니다.

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