가변 템플릿 클래스가있는 SFAAE?

Question

나는 가변적 인 템플릿 클래스와 함께 SFINAE를 사용하는 좋은 해결책을 찾지 못하는 것 같다.

template<typename... Args> 
class NoRef 
{ 
    //if any of Args... is a reference, this class will break 
    //for example: 
    std::tuple<std::unique_ptr<Args>...> uptrs; 
}; 

편리하게 인수 팩이 참조가 포함 된 경우 확인하는 클래스 : 나는 어떻게 사용합니까

template<typename T, typename... Other> 
struct RefCheck 
{ 
    static const bool value = std::is_reference<T>::value || RefCheck<Other...>::value; 
}; 
template<typename T> 
struct RefCheck<T> 
{ 
    static const bool value = std::is_reference<T>::value; 
}; 

을

의 내가 참조를 좋아하지 않는 가변 인자 템플릿 객체가 있다고 가정 해 봅시다 arg 팩에 참조가있는 경우 NoRef를 전문화하려면?

Answer 1

이 SFINAE를 사용하지만 기본적으로 당신이하려는 것을 수행하지 않습니다

template<bool Ref, typename... Args> 
class NoRef_; 

template<typename... Args> 
class NoRef_<false, Args...> 
{ 
    std::tuple<std::unique_ptr<Args>...> uptrs; 
}; 
template<typename... Args> 
class NoRef_<true, Args...> 
{ 
    // contains reference 
}; 

template<typename... Args> 
using NoRef = NoRef_<RefCheck<Args...>::value, Args...>; 

// alternative from Nawaz 

template<typename... Args> struct NoRef : NoRef_<RefCheck<Args...>::value, Args...> {} 

Answer 2

템플릿 팩이 다루기 힘들 기 때문에 그대로 둘 수는 없습니다. 그러나 팩을 팩할 수 있습니다.

// Used to transport a full pack in a single template argument 
template <typename... Args> struct Pack {}; 

우리는 레퍼런스 체크 적응 :

template <typename T, typename... Other> 
struct RefCheck 
{ 
    static const bool value = std::is_reference<T>::value 
          || RefCheck<Other...>::value; 
}; 

template <typename T> 
struct RefCheck<T> 
{ 
    static const bool value = std::is_reference<T>::value; 
}; 

template <typename... Args> 
struct RefCheck<Pack<Args...>>: RefCheck<Args...> {}; 

을 그리고 지금 우리가 사용할 수있는 Pack :

template <typename P, bool = RefCheck<P>::value> class NoRef; 

template <typename... Args> 
class NoRef<Pack<Args...>, false> { 
    // no reference in Args... here 
};