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&)
```
C++中右值左值的概念，C++ Prime中的一句话:

当一个对象被用作右值的时候，用的是对象的值（内容）；当对象被用作左值的时候，用的是对象的身份（在内存中的位置）。

在需要右值的地方可以用左值来代替（实际使用它的值），但是不能把右值当作左值使用。同时，为了支持移动操作，C++11引入了右值引用的概念，通过使用&&而不是&来获得右值引用。
```
int i = 32;
int & lr = 42; //错误，非常量引用的初始值必须为左值 cosnt int& lr = 42 是对的
int && rr = 42; //正确，可以将右值引用绑定到右值表达式上（返回右值的表达式都可）
```

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

定位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所指的原本的对象重新分配内存，并根据初始化列表将对象初始化。

创作者周榜