기본 매개 변수가있는 C++ 템플릿

Question

iterator가있는 사용자 지정 STL 호환 컨테이너를 구현하려는 것은 처음이지만 템플릿 구문 및 사용법에 문제가 있습니다.

namespace unstd { 

template<typename T,class Allocator = std::allocator<T>> 
class SList 
{ 

public: 

    typedef typename Allocator::value_type value_type; 
    typedef typename size_t size_type; 
    typedef typename Allocator::template rebind<T>::other allocator_type; 
    typedef typename Allocator::reference reference; 
    typedef typename Allocator::const_reference const_reference; 
    typedef typename T* pointer; 
    typedef typename const T* const_pointer; 
    typedef typename ptrdiff_t difference_type; 

    typedef typename SList_Iterator_Forward<T> iterator; 
    typedef typename const SList_Iterator_Forward<T> const_iterator; 

.... 
     /*----- ITERATORS -------*/ 
    iterator begin(); 
    ... 
    };} 

가의 시작 예를 들어 살펴 보자() 메소드 : 이 내 헤더 파일의 일부입니다. 내가 쓴 컴파일하지 않는다 (A .cpp 파일에서) 다음

template<typename T, class Allocator> 
iterator SList<T,Allocator>::begin() 
{ 

} 
//neither the following compile 
template<typename T, class Allocator> 
SList<T,Allocator>::iterator SList<T,Allocator>::begin() 
{ 

} 

을 나는 몇 가지 질문이 있습니다

1. 이 컴파일되지 않습니다 왜? (오류 C2143 구문 오류 : 'token2'앞에 'token1'이 없습니다.)
2. 왜 모든 템플릿 매개 변수를 명시 적으로 지명해야합니까? (즉, Allocator가 기본값을 가지고 있다는 점을 감안할 때 T 만 지정할 수는 없습니까?)
3. 이 상황에서 구현 헤더를 분리하는 것이 옳은가요? 몇 가지 이유를 들어

Answer 1

1)

template<typename T, class Allocator> 
typename SList<T,Allocator>::iterator SList<T,Allocator>::begin() 
^^^^^^^^ 

은 자극적이지만, 그것에 익숙해. 컴파일러는 템플릿과 같은 모든 것들은 변수라고 가정합니다. 그래서 타입이라면 특별히 말해야합니다.

2) 컴파일러는 함수 정의가 두 개의 템플릿 매개 변수가있는 SList 클래스 용이며 둘 다 어떤 것도 될 수 있음을 알아야합니다. 이것은 전문화가 아닙니다. 나는 당신의 디폴트가 실종되었다는 것을 알고 있으며, 디폴트가 없다면 모호하지는 않을 것이다. 그러나 나는 그것이 주로 컴파일러를 단순화하는 것이라고 생각한다.

3) 정의 은은 별도의 파일에 포함될 수 있지만 자체 "번역 단위"(컴파일 된 파일 .cpp 및 포함)는 아닙니다. 따라서 .cpp에 넣지 마십시오. 혼란 스럽습니다. 템플릿 정의가 헤더의 맨 아래에 포함 된 .incl 파일에있는 것이 일반적입니다. 이렇게하면 컴파일러가 행복해지며 선언과 정의가 분리됩니다.

Answer 2

1. :

   • 당신은 반환 형식 begin

   • iterator의 iterator 앞에 SList<T,Allocator>:: 누락은 당신이 typename 필요 있도록 의존의 형태입니다 전면은 SList<T, Allocator>::iterator입니다.

   • 반환 유형이 void이 아닌 함수에서 값을 반환하지 않습니다. 너는 뭔가를 돌려 줄 필요가있어.

2. 이름 SList<T, Allocator>이며 형식 이름 Allocator를 참조 할 수 있어야 때문에, 컴파일러에게 클래스의 전체 이름을 알려 주어야하고, 그 때문에 그것이 얼마나 때문에.

3. 컴파일러가 템플릿의 구현이 선언과 동일한 파일에 있어야하므로 (템플릿의 일반성을 나타내는 명시 적 인스턴스화를 수행하지 않는 한) 사용자 정의 템플릿을 구현할 수 없습니다. 따라서 #include을 인터페이스 파일에 구현해야합니다.