一段看不懂的c++代码

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

感觉是placementnew吧

placement new不能重载才这么写的，用realloc加construct更容易理解

在p指向的内存，用给定模板参数列表（转发，解包）新建一个U类型的对象

使用到了泛型编程思想，语法包含可变参模版、定位new、forward完美转发。forword完美转发原理是C++模版的编译期类型推演。这段代码的作用2楼正解！