c++ - 模板模板参数的通用引用

Question

是否可以通过通用引用传递模板模板参数值？例如，考虑这个函数(不)在 STL 序列上工作的最小示例:

#include <iostream>
#include <vector>

template < template<typename,typename> class C, template<typename> class A, typename T >
void func(C<T, A<T>>&& c) {
    // usually I'd std::forward here, but let's just use cout...
    std::cout << c.size() << "\n";
}

int main (int argc, char const* argv[]) {
    func(std::vector<float>(2));
    std::vector<float> lv(3);
    func(lv);
}

它不会编译，因为编译器不知道如何在第二次调用 func 时绑定(bind)左值 ("lv")。关于C类型的推导规则，我有点迷茫。谁能赐教？

编辑:虽然我猜这与问题无关:我使用了 g++ 4.9 和 clang 3.5(两个 repo HEAD)

Answer 1

“通用引用”是一种俗语，严格来说，它始终意味着引用 T &&，其中 T 是一个推导模板参数.

不过，您可以修改您的代码，以仅使用它:

template <typename T>
void func(T && c) { /* ... std::forward<T>(c) ... */ }

如果你关心 T 是指定的形式，添加一个特征:

#include <type_traits>

template <typename T>
typename std::enable_if<IsATemplate<typename std::decay<T>::type>::value>::type
func(T && c) { /* ... std::forward<T>(c) ... */ }

编写 IsATemplate 特性留作练习。