Variadic 함수에서 인수 유형 동질성을 보장하는 방법은 무엇입니까?

구조적 수정 없이 가변 함수의 인수 유형 동질성 보장

가변 인수로 함수를 정의할 때 제공된 모든 인수가 동일한 유형인지 확인하는 것이 종종 바람직합니다. . 이는 유형 안전성을 유지하고 잠재적인 오류를 방지하는 데 도움이 됩니다.

Variadic 함수 자체는 유형 안전성을 강화하지 않으므로 프로그래머가 명시적인 확인 책임을 맡습니다. 그러나 이 요구 사항을 효과적으로 구현하기 위해 기술 조합을 사용할 수 있습니다.

옵션 1: 나중에 변환 방식

한 가지 방법은 인수를 가변 인수로 받아들이고 나중에 유형 변환을 수행하십시오. 예를 들어 std::array를 Dragon_list_t로 변환하는 데 필요한 단계를 알고 있는 경우 다음 템플릿 함수를 사용할 수 있습니다.

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

옵션 2: SFINAE 기반 거부-조기 접근 방식

또 다른 옵션은 SFINAE(Substitution Failure Is Not an Error)를 사용하여 유형 검사를 수행하는 것입니다. 기능 인터페이스 수준. 이 기술을 사용하면 잘못된 인수 유형을 조기에 거부하는 오버로드 해결이 가능합니다.

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

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

이 예에서 f 함수는 제공된 모든 인수가 ToType 유형으로 변환될 수 있는 경우에만 인스턴스화됩니다.

결론

나중에 전환 방식 또는 SFINAE 기반 거부 조기 활용 이 접근 방식을 사용하면 개발자는 추가 구조나 오버헤드에 의존하지 않고도 가변 함수 또는 가변 템플릿 함수에 전달된 모든 인수에 대해 하나의 유형을 지정할 수 있습니다.

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