c++ - 用模板推导，std::vector<int&>可行吗？

Question

我正在学习 C++，现在正在处理引用折叠的内容。 但是我现在有一个疑问:

template <typename T>
std::vector<T>& Foo(T) // value of parameter is unnecessary
{
    static std::vector<T> s_vec_T;
    return s_vec_T;
}

int main()
{
    int i = 0;
    auto get_vec = Foo(i); // suppose Foo() would be Foo<int&>(i)

    return 0;
}

所以最后，Foo()中的静态 vector s_vec_T将被实例化为 std::vector<int&> . 尽管如此，代码运行良好。为什么？我想没有任何引用崩溃需要处理。

Answer 1

T 将被推断为 int(i 是 int，因此这就是将被推断的类型)所以那里没有问题。 std::vector 无法保存引用，因此如果它以某种方式将其推断为 int&，它甚至可能无法编译。