재정의 함수 매개 변수/

Question

이의 우리가 같은 컬렉션 클래스가 있다고 가정하자 B는 추상 클래스와

doSomethingWithAllObjects(); 

의 특정 행동이

class CCollection { 

public: 
    void add(B& b); 
    void remove(B& b); 
    void doSomethingWithAllObjects(); 

protected: 
    std::vector<B*> bs; 

} 

가 B의 구체적인 유형에 따라 달라

, 전화를 그것은 C.

CCollection을 유도하고 방법을 알려줄 수있는 방법이 있습니까

add(B b); 
remove(B b); 

파생 형식을 수락 하시겠습니까?

class D : A{ 
public: 
    void add(C c); 
    void remove(C c); 
    void doSomethingWithAllObjects(); 
private: 
    std::vector<B*> bs;  
} 

를하거나 유도 거의 100 %를 동일

template<class T : B> 
class C { 
    ...//do lots of stuff 
} 

같은 일반적인 javaish가 구성 :

는이 같은 방법을 재정의 같은 것을 생각했다. 그러나 당신은 B의 다른 파생어를 섞어서는 안됩니다.

나는 이미 템플릿 클래스를 특정 유형으로 제한하는 것이 불가능하지만 B의 모든 파생에 대해 전체 클래스를 작성하는 것을 피할 수있는 방법이 있어야합니다. 요점은, 나는 B에 정의 된 기능이 필요합니다, 그래서 난 그냥 바로 CCollection에 대한 권리 유형을 넘겨 내가 다른 프로그래머를 가정 할 수 물론 간단한 템플릿

template<class T> 
class B{ 
    .... 
} 

을 사용할 수 있지만,이 정신이 될 수 없습니다. 내가 원한 것은 다른 프로그래머에게 단 하나의 유형의 Bs를 추가하도록 강제하는 것입니다. 당신이 C이 B의 서브 클래스가 아닌 경우 Collection<C>를 인스턴스화하려고하면

Answer 1

나는 확실하지 않다하지만 난 당신이 간단한 템플릿 비회원 형 기능에 대한 loooking 생각합니다. 템플릿 함수를 사용하여 유형이 일치하는지 확인할 수 있습니다. 상속을 기반 형 공제를하지 않기 때문에

template<typename T> 
void global_adder(const T& cl, const T& toadd) { 
    cl.add(toadd); 
} 

• ,이 A가 등등 C에 B 또는 B에 추가되지 않았는지 확인합니다. 추가하려면 두 args가 모두 같은 유형이어야합니다. 아무것도 더.

• 클래스 메서드는 기본 클래스에만 유지합니다. protected으로 만들고이 함수를 friend으로 추가하십시오.

• 당신은 지금 아무도 (특정 클래스에 다른 유형을 추가 할 수 없습니다 ) 다른 곳 에서 a.add 또는 b.add를 호출 할 수없는 것입니다 그런 식으로.

• 요소를 추가하거나 제거하는 유일한 방법은 유형이 일치하는지 확인하는 템플릿 함수를 사용하는 것입니다.

Answer 2

당신은

class BaseCollection { 
    public: 
    void doSomethingWithAllObjects(); 
    protected: 
    void addInternal(B* b); // consumes the element 

    std::vector<B*> bs; // or better use vector<shared_ptr> for reference count 
}; 

template <typename C> 
class Collection : public BaseCollection { 
    public: 
    void add(const C& c) { 
     C* my_copy = new C(c); // suppose we have a copy constructor 
     addInternal(my_copy); 
    } 
}; 

같은 추상 기본 컬렉션 클래스를 만들 수 있습니다, 당신은 컴파일 오류가 발생합니다. 내가 제대로 이해하면