템플릿 mixin을 인수로 가져 오는 방법은 무엇입니까?

Question

C++ 템플릿 mixin 구조를 고려할 때 특정 구성 요소와 mixin을 사용하는 함수를 작성하려면 어떻게해야합니까? 이 예에서 withAandB은 worksWithA()으로 어떻게 할 수 있습니까?

struct Base {}; 

template <class T> 
struct HasA : T 
{ 
    int A; 
}; 

template <class T> 
struct HasB : T 
{ 
    int B; 
}; 

void WorksWithA(HasA<Base> &p) 
{ 
    p.A++; 
} 

void WorksWithAandB(HasA<HasB<Base> > &p) 
{ 
    p.A++; 
    p.B++; 
} 

int _tmain(int argc, _TCHAR *argv[]) 
{ 
    HasA<Base> withA; 
    HasA<HasB<Base> > withAandB; 

    WorksWithA(withA); // OK 
    WorksWithAandB(withAandB); // OK 
    WorksWithA(withAandB); // KO, no conversion available 

    return 0; 
} 

심지어 건설 문제, 또는 믹스 인 주문 ( HasB<HasA<Base>> 대 HasA<HasB<Base>>)를 제쳐두고, 내가 템플릿도 그것을 만들기 옆에이 기능을 쓸 수있는 좋은 방법을 볼 수 없습니다.

저는 현재 C++ 11이없는 환경에 있지만, 현대 C++가이 문제에 대한 해결책을 제시한다면 저는 관심을 가질 것입니다.

고맙습니다. 코드가 오류없이 컴파일이 경우

template<typename T> 
void WorksWithA(HasA<T> &p) 
{ 
    p.A++; 
} 

:

Answer 1

당신은 HasA로 포장 어떤 클래스를 받아들이는 WorksWithA 템플릿 기능을 할 수 있습니다.

Answer 2

함수 템플릿을 만들어야한다고 생각하십니까? HasA<HasB<Base>> 이후

template <class T> 
void WorksWithA(HasA<T> &p) 
{ 
    p.A++; 
} 

template <class T> 
void WorksWithAandB(HasA<HasB<T> > &p) 
{ 
    p.A++; 
    p.B++; 
} 

는 HasA<Base>로 변환 방법입니다.

Answer 3

WorksWithA을 함수 템플릿으로 설정해야합니다. 다른 방법은 없습니다. 그것에 대해 생각하십시오 : WorksWithA 유형의 HasA mixin과 함께 작동합니다. 그것은 단지 템플릿으로 표현 될 수 있습니다. 당신이 WithA 인터페이스를 구현하는 모든 클래스의 객체와 WorkWithA를 호출 할 수 있습니다 여기에

struct HasA 
{ 
    int A; 
    virtual ~HasA() = default; 
}; 

struct HasB 
{ 
    int B; 
    virtual ~HasB() = default; 
}; 

struct HasAB : HasA, HasB 
{ 
}; 

struct Base : HasAB 
{}; 

void WorksWithA(HasA &p) 
{ 
    p.A++; 
} 

void WorksWithAandB(HasAB &p) 
{ 
    p.A++; 
    p.B++; 
} 

및 WorksWithAandB :

Answer 4

또한, 경우에 HasA 및 HasB이 인터페이스의 의미를 가지고이 문제를 해결하기 위해 상속을 사용하는 것이 좋습니다 모든 클래스의 객체는 HasAB 인터페이스를 구현합니다.

PS : 불행하게도,이 예에서, 그것은 HasAB에서 상속없이 모두 HasA 및 HasB를 구현하는 클래스의 객체와 WorksWithAandB를 호출하는 것은 불가능하지만,이 템플릿과 SFINAE를 사용하여 해결 될 수있다.

Answer 5

다른 사람들이 지적했듯이이 기능은 템플릿으로 사용하는 것이 좋습니다. 다른 유형의 호출 WorksWithAAndB 여기

template<class B> 
void WorksWithA(HasA<B> &p) 
{ 
    p.A++; 
} 

template<class B> 
void WorksWithB(HasA<B> &p) 
{ 
    p.B++; 
} 

template<class Has> 
void WorksWithAandB(Has &p) 
{ 
    WorksWithA(p); 
    WorksWithB(p); 
} 

: 당신이 그것에있는 동안 그러나, 당신은 또한 몇 가지 코드의 중복을 제거 할 수 있습니다. 따라서 :

1. 코드를 재사용하고 있습니다.
2. WorksWithAAndB에 전달 된 유형에 대해 WorksWithA 및 WorksWithB에 전달 된 유형 유형의 컴파일러 검사를 다시 사용하고 있습니다.