C++ 中原始 STL 实现中“构造”方法的逻辑理解 [复制]

问：

在浏览 Alexander Stepanov 原始 STL（标准模板库）源代码时，我从内存分配器函数文件中遇到了以下内容：defalloc.h

template <class T1, class T2>
inline void construct(T1* p, const T2& value) {
    new (p) T1(value);
}

我无法完全理解它，并且有以下问题/疑问：

1. 在我看来，它与类型的复制构造函数有关？T1
2. 为什么上面的函数是模板上两种类型&？。它应该是 first 和 second（value）。T1T2T1**T1
3. 为什么在上述逻辑中使用了？我查看了它的用途，并在文件 vector.h 中找到了以下内容new

void push_back(const T& x) {
  if (finish != end_of_storage) {
      construct(finish, x);
        ....
        ....
    }

因此，基于上述内容，finish 已经获取了内存并被传递到内存中。另一个参数是 x，它是相同类型 T 的值。这些是我能够思考/理解的几个概念。

在我看来，它非常通用但很重要的功能，在整个 STL 逻辑中都使用过。有人可以解释上面的概念吗？