C++精进之路

C++模板型别推导规则

2020-03-01  本文已影响0人  this_is_for_u

模板型别推导规则

以如下形式举例

template<typename T>
void f(ParamType param);

f(expr);

共分三种情况:

template<typename T>
void f(T& param);

int x = 1; // x类型int
const int cx = x; // cx类型const int
const int &rx = x; // rx类型const int&

f(x); // T的类型是int, param类型是int&
f(cx); // T的类型是const int,param类型是const int&
f(rx); // T的类型是const int,param类型是const int&
//当ParamType是指针或引用时,引用特性在推导过程中是被忽略的。

template<typename T>
void f(const T& param);
int x = 1;
const int cx = x;
const int &rx = x;

f(x); // T的类型是int, param类型是const int&
f(cx); // T的类型是int,param类型是const int&
f(rx); // T的类型是int,param类型是const int&
//当ParamType是指针或引用时,引用特性在推导过程中是被忽略的。
// 同理,由于param已经具有const特性,所以在推导过程中const属性也会被忽略。

template<typename T>
void f(T* param);
int x = 1;
const int *px = &x;
f(&x); // T的类型int, param类型int*
f(px);  // T的类型是const int , param类型const int*
template<typename T>
void f(T&& param);
f(expr);
// 如果expr是个左值,则T和paramtype都会推导为左值引用
// 如果expr是个右值,正常推导
int x = 2;
const int cx = x;
const int& rx = x;

f(x); // x 是左值, T的类型为int&, param 为 int&
f(cx); cx : lvalue, T : const int&, param: const int&
f(rx);rx : lvalue, T: const int&, param: const int&
f(2);2: rvalue, T: int, param : int &&
template<typename T>
void f(T param); // param 为值传递
f(expr);
// 因为是值传递,所以expr的所有修饰特性都会被忽略,const, 引用,volatile等,都被忽略

int x = 2;
const int cx = x;
const int& rx = x;
f(x); // T : int, param : int
f(cx); // T : int, param : int
f(rx); // T : int , param : int
上一篇下一篇

猜你喜欢

热点阅读