c++ - 引用与模板模板类折叠

Question

为什么引用折叠不适用于

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

我如何完美前向以及如何避免重载 const lvalue ref、lvalue ref、rvalue ref 的所有组合

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 hacks 相同的类型。