Variadic 템플릿에서 매개변수 팩을 올바르게 반복하는 방법은 무엇입니까?

Pack 확장을 사용하여 매개변수 팩을 반복하는 방법

가변 템플릿과 함수를 사용할 때 pack의 사용법을 이해하는 것이 중요합니다. 확장. 다음 코드를 고려하십시오.

template<typename T>
static void bar(T t) {}

template<typename... Args>
static void foo2(Args... args)
{
    (bar(args)...);
}

컴파일 시 이 코드는 오류와 함께 실패합니다.

Error C3520: 'args': parameter pack must be expanded in this context

해결책: Braced-Init-List의 Pack Expansion

이 문제를 해결하려면 Braced-init-list:

template<typename... Args>
static void foo2(Args &&&... args)
{
    int dummy[] = { 0, ( (void) bar(std::forward<Args>(args)), 0) ... };
}

Brace-Init-List 이해

배열 정의 내부의 초기화 목록은 팩 확장을 쉼표로 구분된 문자열로 확장합니다. 목록. void로 캐스팅하면 사용된 쉼표 연산자가 오버로드된 버전이 아닌 내장 연산자임을 보장합니다. 이는 팩 확장의 왼쪽에서 오른쪽 평가를 보장합니다.

C 17의 추가 옵션

C 17에서는 접기를 사용하여 코드를 단순화할 수 있습니다. 표현식:

((void) bar(std::forward<Args>(args)), ...);

결론

braced-init-list 내의 팩 확장이나 C 17의 접기 표현식을 활용하면 매개변수 팩을 사용하여 컴파일 오류를 방지하세요. C에서 가변 템플릿과 함수를 사용하려면 이 기술을 이해하는 것이 중요합니다.

위 내용은 Variadic 템플릿에서 매개변수 팩을 올바르게 반복하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!