왜이 가변 함수 호출이 모호한가요?

Question

template<typename FilterComponent, typename ...FilterComponents> 
    std::bitset<components_count> component_impl(std::bitset<components_count> &b){ 
    b.set(FilterComponent::get_id()); 
    return component_impl<FilterComponents...>(b); //ambiguous 
    } 
    template<typename FilterComponent> 
    std::bitset<components_count> component_impl(std::bitset<components_count> &b){ 
    b.set(FilterComponent::get_id()); 
    return b; 
    } 
    template<typename ...FilterComponents> 
    std::bitset<components_count> component_mask(){ 
    std::bitset<components_count> b; 
    component_impl<FilterComponents...>(b); 
    return b; 
    } 

이 함수가 모호한 이유는 무엇입니까? component_impl이 하나 개의 유형 이름으로 호출 될 때 나는 그것이 모호, component_mask<Foo,Bar,Baz>();

error: call to member function 'component_impl' is ambiguous 
    return component_impl<FilterComponents...>(b); 

Answer 1

처럼 전화를 원했다. 첫 번째 버전은 빈 typename 팩과 일치합니다. 두 번째 버전은 또한 일치합니다.

변형 된 템플릿 버전을 typename 팩 앞에 두 개의 typename이 있도록 변경하십시오. 그러면 두 기능이 모호해질 것입니다. FilterComponents...이 비어 있거나 하나 개의 요소가있는 경우 두 기능 템플릿을 동일하게 실행 가능하기 때문에

template<typename FilterComponent1, typename FilterComponent2, typename ...FilterComponents> 
std::bitset<components_count> component_impl(std::bitset<components_count> &b){ 
    b.set(FilterComponent1::get_id()); 
    return component_impl<FilterComponent2, FilterComponents...>(b); 
} 

Answer 2

은 모호성이있다. 첫 번째 템플리트 선언에 두 번째 템플리트 인수를 추가하여 모호성을 해결할 수 있습니다 (예 : R Sahu). 또한 동일한 효과를 얻기 위해 초기화 목록에 인수를 풀 수 :

template<typename... FilterComponents> 
std::bitset<components_count> component_impl(std::bitset<components_count>& b) 
{ 
    using discard = int[]; 
    (void)discard{ 0, (b.set(FilterComponents::get()), void(), 0)... }; 
    return b; 
} 

첫 번째 0 및 0를 후행하는 것은 빈 매개 변수 팩을 보상하고 정수 따라서 폐기로 목록을 채우는 것입니다 void() 유형. void()은 반환 값 set()을 "지우"므로 반환 유형에서 과부하 operator,()을 사용할 수 없게됩니다. (우리는 std::bitset::set()을 가지고 있지 않지만 일반적인 경우에는 사용하는 것이 유용합니다).

이렇게하면 재귀를 돕기 위해 두 번째 오버로드가 필요하지 않습니다.