C++ const 引用模板函数参数类型本身就是一个引用，为什么？ [关闭]

Question

我有以下功能：

template<typename T>
void f(const T& val) {
    using value_type = T;
    using sub_type = typename value_type::sub_type;
    //etc...
}

但是，我遇到的问题是编译器告诉我 T 实际上不是它的任何类型，而是对它的引用。这怎么可能，在什么情况下 const-references 的模板参数自己引用？

注意，我可以通过以下方式解决上述问题：

    using value_type = std::remove_reference_t<T>;

但我想了解 T 本身在什么情况下可以作为参考。

Answer 1

这怎么可能，在什么情况下 const-references 的模板参数自己引用？

这些东西是独立的。我们有一个模板参数T。然后我们有一个函数参数恰好是T const&。但两者并没有联系在一起。

虽然T 永远不会推导为基于该函数参数的引用类型，但推导并不是提供模板参数的唯一方法：

template <typename T>
void f(T const& val);

void g(int i) {
    f<int&>(i);
}

这里，我明确提供int& 作为T 的模板参数，它没有被推导出来。 T，在这里，将是int&（不是int），实际上val 甚至不是对const 的引用，它实际上是int&（不是int const&）。

当然，典型的用法只是f(i)（没有显式模板参数），它会将T 推导出为int，并且val 的类型为int const&。