가변 템플릿의 "..." 토큰에 대한 구문 규칙

C에서 가변 템플릿은 가변 개수의 인수. "..." 토큰은 이 맥락에서 인수 팩이나 매개변수 언패커 역할을 하는 중요한 역할을 합니다.

줄임표 배치에 대한 구문 규칙

"..." 토큰의 배치에 따라 해당 기능이 결정됩니다.

• Pack: 이름 왼쪽에 나타나는 경우 "..."는 인수 팩을 나타냅니다. : ...thing // pack
• Unpack: 표현식 오른쪽에 나타나면 "..."는 템플릿 매개변수를 언팩합니다. pack: thing... // unpack

예: "..."이 포함된 가변 템플릿

다음 가변 템플릿을 고려하세요.

template
unique_ptr make_unique( Args&&... args )
{
    return unique_ptr(new T(std::forward(args)...));
}

이 예에서 "..."는 인수 팩으로 사용되는 반면, 함수 구현의 "..."는 인수를 args 변수에 압축 해제합니다.

줄임표 배치가 다른 이유

템플릿 인수 목록과 매개변수 목록 간의 줄임표 배치 차이는 인수 패킹과 매개변수 언패킹의 차이로 인해 발생합니다. 템플릿 인수 목록에서 "..."는 매개변수가 단일 매개변수 팩으로 압축되어야 함을 의미하고, 매개변수 목록에서 "..."는 인수가 개별 매개변수로 압축 해제되어야 함을 의미합니다.

패킹 해제 패턴

언패커로 "..."가 표현식의 오른쪽에 나타나면 특정 패턴을 따릅니다:

• "..." 왼쪽에 있는 표현식이 쉼표로 구분되어 반복됩니다.
• 각 반복은 템플릿 매개변수 팩의 단일 요소를 사용하는 표현식을 나타냅니다.

고급 사용법: 배열 초기화

줄임표를 사용하여 배열을 초기화할 수도 있습니다:

struct data_info
{
     boost::any  data;
     std::size_t type_size;
};

std::vector v{{args, sizeof(T)}...}; //pattern = {args, sizeof(T)}

이것은 각 요소가 args 및 sizeof(T) 쌍을 포함하는 구조체인 값으로 벡터 v를 초기화합니다.

결론적으로 , 가변 템플릿의 컨텍스트에서 "..." 토큰은 배치 및 압축 풀기 패턴에 대한 특정 구문 규칙에 따라 인수 팩과 매개변수 압축 풀기 역할을 모두 수행합니다. 유연한 사용으로 강력한 템플릿 구성과 사용자 정의가 가능합니다.