가변 템플릿 템플릿 매개 변수에 기본 템플릿 매개 변수 사용

Question

아래의 최소 예제는 gcc와 clang 및 Visual Studio에서도 작동하지만 icc에서는 컴파일되지 않는다는 것을 발견했습니다. 이 C++의 유효성 여부를 확인하려고하지만 여러 다른 개념이 결합되어 있으므로 내 질문에 대답하는 표준 관련 부분을 찾을 수 없습니다.

struct.cpp(12): error: too few arguments for template template parameter "F" 
    F<D> h; 

      detected during instantiation of class "G<D, F> [with D=char, F=C]" at line 17 

이 유효한 C++인가 : ICC (16.0.3)와

// struct with multiple template parameters 
template<typename A, typename B = int> 
struct C 
{ 

}; 

// struct that tries to use C's default second parameter without specifying it 
template<typename D, template<typename E, typename ...> class F> 
struct G 
{ 
    F<D> h; 
}; 

int main() 
{ 
    G<char, C> i; 
} 

는, 컴파일은 다음과 같은 오류를 준다?

C에는 F<D>과 F = C이 유효한 구조 여야한다는 의미에서 두 번째 템플릿 매개 변수의 기본값이 있으므로 내게 그렇게 보일 것 같습니다.

Answer 1

저는 이것이 gcc/clang 버그라고 생각합니다. 이것은 [열림] CWG Issue 150과 관련이 있습니다. 제공하는 근거는 다음과 같습니다

Default arguments are allowed for the parameters of a template template parameter, and those default arguments alone will be considered in a specialization of the template template parameter within a template definition; any default arguments for the parameters of a template template argument are ignored.

템플릿 템플릿 매개 변수 F은 기본 인수를하지 않습니다 - 그리고 C에 대한 기본 인수는 무시됩니다. 따라서 우리는 ICC가 제안한 것처럼 형편없는 전문화로 끝나야합니다. 문제, GCC와 그 소리에 모두 제공되는 예에서

는 f()에 대한 호출이 허용 (도 규칙을 구현하는 것 모두 마크 미첼의 예에서 operator float() 경로를 통해 이동합니다. [의