이 선택적으로 어쩌면 포장 용기

Question

템플릿 initializer_list 건설을 지원

, 내가 합리적으로 쉽게 initializer_list 생성자를 위임 할 수 있습니다 보인다 예를 들면.

int main(int argc, char* argv[]) { 

    holder<std::vector<int>> y{1,2,3}; 
    return EXIT_SUCCESS; 
} 

는하지만 꽤 분명 'INT', 또는 중첩 된 VALUE_TYPE의 형식 정의가없는 다른 유형으로 T 작동하지 않습니다. 그래서, T는 중첩 된 value_type typedef를 정의하고 std :: initializer_list에서 생성 가능하지 않으면 initializer_list 생성자가 생성되지 않도록하기 위해 enable_if 또는 유사한 트릭을 사용하고 싶습니다.

holder(typename std::enable_if<std::is_constructible<T, std::initializer_list<typename T::value_type>>::value, std::initializer_list<typename T::value_type>>::type values) 
    : t_(values) {} 

하나를 : 컴파일러 (내 경우 ++ 3.1 그 소리가) 여전히 T는 int이며 잘못된 T :: VALUE_TYPE 걸려 넘어 때문에,

나는 다음과 같은 시도,하지만 여전히 작동하지 않습니다 개념을 표현하는 방법에 대한 생각은 "T가 value_type typedef를 갖고 T :: value_type의 initializer_list에서 생성 가능한 경우에만 T의 value_type에 대한 이니셜 라이저 목록 생성자에 대해이 템플릿을 제공합니다".

Answer 1

SFINAE는 템플릿 매개 변수 하위 항목 (SFINAE의 S)에서만 작동합니다. 다음 작품 :

template<typename T> 
struct holder { 
    T t_; 

    holder() : 
     t_() {} 

    template<typename U = T> 
    holder(typename std::enable_if<std::is_constructible<U, std::initializer_list<typename U::value_type>>::value, 
    std::initializer_list<typename U::value_type>>::type values) 
    : t_(values) {} 

}; 

당신이 컴파일러 오류로 이어지는 다음 전체 클래스 (귀하의 예제에서) 유형 int 인스턴스화 될 템플릿 기능을 사용하지 않은 경우. 당신이 여분의 템플릿 매개 변수를 사용하는 경우 함수 서명 좋네요 만들 수

참고 :

template<typename U = T, class = typename std::enable_if<std::is_constructible<U, std::initializer_list<typename U::value_type>>::value, bool>::type> 
    holder(std::initializer_list<typename U::value_type> values) 
    : t_(values) {}