C++ 가변 인자 템플릿 특수화 (그리고 static_assert)

Question

은 가능한이 템플릿 선언을 전문으로하는 것입니다

template <> int Foo<int>(float args) { 
    return 42; 
} 

을 ...하지만 난 항상 충돌 정적으로 사용하려고 할 때 다음과 같이 사용하십시오.

auto value = Foo<int>(1.5f); 

올바른 구문은 무엇입니까?

Answer 1

같은 것을 사용합니다.

당신은 귀하의 경우 = delete을 사용할 수 있습니다

:

template <class TYPE, class... ARGS> TYPE Foo(ARGS... args) = delete; 

template <> int Foo(float) {return 42;} 

Demo

Answer 2

인스턴스화되지 않은 경우에만 유효한 템플릿을 작성할 수 없습니다. 즉, 충돌한다 표준에 다음과 같은 규칙의 실행 : 유효한 전문화가 템플릿을 생성 할 수없는 경우

, 그 템플릿이 인스턴스화되지 템플릿이 잘못 형성되고, 어떤 진단 할 필요가 없습니다. 당신이 이런 경우 몸과 같은

static_assert(sizeof(TYPE) != sizeof(int)); 

뭔가가 있다면 다른 한편으로

, 괜찮을 것 템플릿은 유효하며, 코드는 명시 적 전문성 때문에 컴파일 사실 기본 템플릿 대신 사용됩니다. http://coliru.stacked-crooked.com/a/238b979fd10c62c0

Answer 3

정적 어설트는 템플릿에 의존하지 않으므로 항상 실행됩니다. static_assert가 발생한다, 그래서 false 비 템플릿 의존 상태로

template <class TYPE, class... ARGS> TYPE Foo(ARGS... args) { 
    static_assert(sizeof(TYPE) != sizeof(TYPE)); 
}