1. C++泛型编程里的可变参数模板
    可变参数模板是定义的模板函数或模板类可以接受可变数目(>=0)参数(参数包)。这里的Args表示模板参数包args表示函数参数包。用省略号将一个模板参数或函数参数表示为一个包。模板参数列表中,class...typename...表示0或多个参数。在函数参数列表中,如果一个参数的类型是模板参数包,则此类型也是一个函数参数包。进一步了解

    template <typename T, typename... Args>
    void func(const T & t, const Args& ... args);
    
    int i = 1; double pi = 3.14; string s = "hello world";
    func(i); //实例化为 func(const int&)
    func(s, pi); //实例化为 func(const string&, const double&)
  2. C++中右值左值的概念,C++ Prime中的一句话:

    当一个对象被用作右值的时候,用的是对象的值(内容);当对象被用作左值的时候,用的是对象的身份(在内存中的位置)。

    在需要右值的地方可以用左值来代替(实际使用它的值),但是不能把右值当作左值使用。同时,为了支持移动操作,C++11引入了右值引用的概念,通过使用&&而不是&来获得右值引用。

    int i = 32;
    int & lr = 42; //错误,非常量引用的初始值必须为左值 cosnt int& lr = 42 是对的
    int && rr = 42; //正确,可以将右值引用绑定到右值表达式上(返回右值的表达式都可)
  3. std::forward 函数的作用是将左值转发为左值或右值,依赖于类模板参数T。

    template<class T>
    void wrapper(T&& arg) {
        // arg 始终是左值
        foo(std::forward<T>(arg)); // 转发为左值或右值,依赖于 T
    }
    wrapper(2); //T推导为int,forward确保将右值引用传递给foo
    int i = 3;
    wrapper(i); //T推导为int&,forward确保将左值引用传递给foo
  4. 定位new表达式,如下形式:

    new (place_address) type;
    new (place_address) type (initializers);
    new (place_address) type [size];
    new (place_address) type [size] { braced initializer list }

    place_address必须是一个指针,同时在initializers中提供一个(可能为空)以逗号分隔的初始值列表,改初始值列表用于构造新分配的对象。进一步了解

最后在回到你给的这段代码:

template <typename U, typename... Args>
void construct(U* p, Args&&... args) {
    new (p) U(std::forward<Args>(args)...);
}

定位new表达式,将指针p所指的地方重新分配内存并根据给定的初始化列表将对象初始化。

int* p = new int(2);
construct(p, 3); // cout<<*p 的结果是3,因为重新分配内存并初始化为int(3)
string a = "hello world";
construct(&a, "xswl"); // cout << a 的结果是“xswl”

综上,这段代码的作用应该就是,将指针p所指的原本的对象重新分配内存,并根据初始化列表将对象初始化。