C++ 클래스 템플릿을 함수 반환 형식으로 사용합니다.

Question

C++ 템플릿의 작동 방식을 이해하기 위해 약간의 프로젝트를 진행하고 있습니다. (';' '<'전에 오류 C2143 누락) 내 프로그램을 컴파일 할 때

class Base{ 
public: 
    MyOperation<Base> operate(Base x){ return MyOperation<Base>(x); } //error here 
}; 

//... 

template<class B> 
class MyOperation : public Base{ 
public: 
    B b; 
    MyOperation(B b_){ b = b_; } 
}; 

, 나는 오류가 발생 : 는 기본적으로, 내가 좋아하는 뭔가가있다. MyOperation을 funcion의 반환 유형으로 사용할 수 없기 때문입니까()?

미리 감사드립니다.

Answer 1

템플릿을 선언하는 구문은 template<class B> (또는 이와 동등하게는 template<typename B>)입니다.

Base 참조 MyOperation (반환 유형 및 operate 함수 내부) 순환 참조가 있습니다. 따라서 Base 전에 MyOperation을 정의해야합니다.

그러나 MyOperation도 Base (기본 클래스)을 참조하십시오.

기본 클래스 및 함수 내에서 사용하려면 전체 정의가 필요합니다. 그러나 반환 유형의 경우 유형이 불완전한이면 충분합니다. 그래서 MyOperation처럼, Base 전에 미리 선언 될 필요가있다 :

template<class B> class MyOperation; 

그리고 추가

는 operate() MyOperation의 정의 후, class Base { ... }의 외부 (선언되지 않음)을 정의 할 필요가있다. ,

// pre-declaration of MyOperation 
template<class B> class MyOperation; 

// definition of Base class 
class Base { 
public: 
    // declaration of Base::operate member function 
    // MyOperation<Base> is incomplete type here 
    MyOperation<Base> operate(Base x); 
}; 

// definition of MyOperation class template 
template<class B> 
class MyOperation : public Base{ 
public: 
    B b; 
    MyOperation(B b_){ b = b_; } 
}; 

// definition ofBase::operate member function 
inline MyOperation<Base> Base::operate(Base x) { 
    return MyOperation<Base>(x); 
} 

Base::operate이 정의는 헤더 파일에있는 경우 인라인 할 필요가 헤더가 여러 소스 파일이 포함 된 경우, 그렇지 않으면 여러 링커 기호가있을 것입니다 : 올바른 코드가 될 것이다.

인라인이 아닌 경우 (큰 기능인 경우 더 좋음) 정의는 소스 파일에 있어야합니다.