參考與模板模板類崩

Question

爲什麼參考塌陷不

template<typename T, template<typename> class C> 
void f(C<T> && x); // x declaration is an rvalue! 

申請我怎麼能完全向前，我怎麼能避免超載常量左值裁判，左值裁判，右值裁判的所有組合中

template<typename T> // not necessary a template template class here 
void f(C<T>, C<T>, C<T>, ..., C<T>) 
{ 
    // do something with T 
    // move or copy arguments to a function 
} 

Answer 1

您將定義使用某種SFINAE，可惜

template<typename T> 
struct HasOneTypeParam : std::false_type { }; 

template<typename T, template<typename> class C> 
struct HasOneTypeParam<C<T>> : std::true_type { }; 

template<typename ...T> 
struct SlurpThemAll { typedef int type; }; 

template<typename ...T, 
    typename SlurpThemAll< 
    bool[HasOneTypeParam<typename std::decay<T>::type>::value * 2 - 1]... 
    >::type = 0> 
void f(T &&... x); 

依靠根據你真正想要做的事情，你可以要求所有的std::decay<T>::type與更多的SFINAE黑客相同。