模板类型错误的通用参考

Question

请原谅这个糟糕的标题...

所以，通常在这样的函数中：

template <class T>
void f(T&& i){
}

T&& 是通用引用。在这样的上下文中，它是一个右值引用：

template <class T>
struct s{

    void f(T&& t){}

};

这是有道理的，因为T 是相对于s 的固定类型，其中f() 是一个方法。

但是，显然在这种情况下：

template <class T, unsigned n>
std::array<T, n>
f(T&&){
}

T&& 也是一个右值引用。但是，这种情况与上述情况不同。那么，T&& 在这里也是右值引用而不是通用引用的原因是什么？

Answer 1

那是因为您明确提供了参数类型（我假设这么多，但这是使您的示例编译的唯一方法）。

f<int,5>根本不进行类型推导，其参数为int&&。没有参考崩溃发生。

您可以通过编写f 模板来解决此问题：

template<unsigned n, typename T>
array<decay_t<T>, n>
f(T&& t);

现在，t 是一个转发/通用引用如果您没有明确提供第二个模板参数。