템플릿 명시 적 인스턴스화가 forward-declared-types과 작동합니까?

Question

.h 파일 대신 .cpp 파일에 정의 된 일부 메서드로 템플릿 클래스가있는 경우 명시 적 인스턴스화를 사용하여 해결되지 않은 외부를 피하기 위해 컴파일러를 가져올 수 있습니다.

그러나 명시 적 인스턴스화가 전달 선언 유형을 사용하여 선언 된 경우 작동합니까? A가 마지막으로 정의되어 있지 및 Template<A>를 사용하지 않는 경우

template <typename T> struct Template 
{ 
    void someFunc(); //defined in the .cpp file 
} 

class A; 

template Template<A>; 

은 작동겠습니까?

Answer 1

우선. 컴파일러는 템플릿이 인스턴스화 된 경우에만 코드를 생성합니다 (예제에서는 인스턴스화가 없으므로 코드가 생성되지 않습니다). 둘째, 형식 템플릿 인수를 전달합니다. 여기서 컴파일러는 안전하게 인스턴스를 생성 할 수 있습니다. 예에서는 유형을 어딘가에서 사용하지 않지만 예를 들어 함수를 정의하기 위해 첫 번째 문장을 다시 적용하고 함수는 어딘가에 인스턴스화 될 때 생성됩니다. 이 순간 컴파일러는 코드를 생성하는 데 필요한 모든 지식을 갖추고 있어야합니다.

// Example program 
#include <iostream> 


template <typename T> struct Template 
{ 
    void someFunc(); //defined in the .cpp file 
}; 

class A; 
Template<A> foo; 

그러나 형식이 아닌 매개 변수를 사용하는 템플릿을 만드는 경우. 당신이 염려했던 것처럼 형식 정의가 불완전하기 때문에 실패 할 것입니다.

// Example program 
#include <iostream> 
#include <string> 

class A; 

template <A parm> struct Template 
{ 
    void someFunc() { 
     parm.foo(); 
    } 
}; 

A a; 
using foo = Template<a>; 

이 예제와 동일합니다. 여기서 객체 a을 만들고 물론 컴파일러는 그 유형에 대해 더 알고 있어야합니다. 이것이 실패하는 이유입니다.

// Example program 
#include <iostream> 


template <typename T> struct Template 
{ 
    T a; 
}; 

class A; 
Template<A> foo; 

희망이 도움이됩니다.