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