추가 구조 없이 Variadic 함수에서 유형 일관성을 적용하는 방법은 무엇입니까?

추가 구조 없이 가변 함수의 유형 일관성 강화

가변 함수 및 가변 템플릿 함수를 사용하면 가변 개수의 인수를 기능. 그러나 모든 인수가 동일한 유형인지 확인하는 것은 어려울 수 있습니다. 이 질문은 배열, 벡터 또는 구조체를 사용하지 않고 이 문제에 대한 솔루션을 탐색합니다.

가변 함수 접근 방식

제안된 솔루션은 가변 템플릿에 의한 인수를 받아들이고 변환 시 유형 검사를 통해 유효성을 확인하도록 하세요. 그러나 이 접근 방식을 사용하려면 원하는 유형으로의 알려진 변환 경로가 필요합니다. 이 경우 Maiden 배열을 Dragon_list_t로 변환하는 알려진 방법이 있어야 합니다.

예:

template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
    std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
    // here be dragons
}

SFINAE 접근 방식

SFINAE(Substitution Failure Is Not An Error)를 사용하여 유형을 적용할 수 있습니다. 기능 인터페이스 수준의 일관성. 이를 통해 오버로드 해결 프로세스 초기에 잘못된 인수를 거부할 수 있습니다.

예:

template<typename R, typename...> struct fst { typedef R type; };

template<typename ...Args>
typename fst<void, 
  typename enable_if<
    is_convertible<Args, ToType>::value
  >::type...
>::type 
f(Args...);

결론

두 접근 방식 모두 추가 데이터 구조를 사용하지 않고 가변 함수에 전달된 모든 인수에 대해 하나의 유형을 지정하는 방법을 제공합니다. 가변 함수 접근 방식은 알려진 변환 경로에 의존하는 반면, SFINAE 접근 방식은 잘못된 인수를 거부하기 위한 오버로드 해결을 허용합니다. 이러한 접근 방식 중 선택은 특정 사용 사례의 요구 사항에 따라 다릅니다.

위 내용은 추가 구조 없이 Variadic 함수에서 유형 일관성을 적용하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!