这次要讲的是:C++11如何通过auto、decltype和返回值后置来简化我们的程序。
auto和c#中的var类似,都是在初始化时自动推断出数据类型。当某个变量的返回值难于书写时,或者不太确定返回的数据类型时,或者不关心返回的数据类型时用auto,让编译器自动帮我们推断出类型来。例如:
- 自动推断出类型
auto i = ; // i is an int
auto str = "a"; // str is a string
auto p = new A(); // p is a foo* auto f = [](int x){return x;}; //f is function<int(int)>
auto f = std::bind(&A::Test, &A); //f is member function
- 简化类型的写法
c++11之前
std::shared_ptr<int> ptr = make_shared<int>();
c++11的写法
auto ptr = make_shared<int>(); c++11之前
boost::unordered_multimap<uint32_t, int> map;
获取equal_range返回值时需要这样定义:
std::pair<boost::unordered_multimap<uint32_t, int>::iterator, boost::unordered_multimap<uint32_t, int>::iterator> range = map.equal_range(key); c++11的写法
auto range=m_taskClientMap.equal_range(key);
- 简化变量的写法
不用auto的写法
std::function<void (char*, int)> f = std::bind(&ReadHandler::ConnectPreProcess, this, std::placeholders::_1, std::placeholders::_1); 用auto简化
auto _1 = std::placeholders::_1;
auto _2 = std::placeholders::_2;
auto f = std::bind(&ReadHandler::ConnectPreProcess, this,_1, _2);
- auto作为迭代器类型,遍历集合
std::map<std::string, std::vector<int>> map;
for(auto it = begin(map); it != end(map); ++it)
{
}
通过上面的例子,我们看到auto使用起来真的很方便,简化了很多,原来几行代码现在一行就搞定,还帮我自动推断出类型。其实auto还有一个强大之处,在介绍它的另一个特性之前先看看decltype。
decltype用于查询表达式的数据类型,常用来解决难以确定某些表达式类型的问题。例如:
const int&& foo();
const int bar();
int i;
struct A { double x; };
const A* a = new A();
decltype(foo()) x1; // 类型为const int&&
decltype(bar()) x2; // 类型为int
decltype(i) x3; // 类型为int
decltype(a->x) x4; // 类型为double
decltype((a->x)) x5; // 类型为const double&
通过上面的例子我们可以看到decltype就是根据一个左值或者右值来推断出其类型。回到刚才说的auto另外一个特性:返回值占位。因为有时候在泛型编程时,有些函数的返回类型难以确定,使用auto后,将由编译器自动进行确定。例如:
template<typename U, typename T>
R Add(U u, T t)
{
auto val = u + t;
return val;
}
这个返回值我们难以确定,c++11通过返回值后置来解决这个问题,它通过auto作为一个返回值占位符,返回值类型在稍后通过decltype推断出来。
template<typename U, typename T>
auto Add(U u, T t)->decltype(u+t)
{
auto val = u + t;
return val;
}
至于为什么需要将返回值类型后置,这里简单说明一下。如果没有后置,则函数声明为decltype(u+t) Add(U u,T t),但
此时模板参数t和u还未声明,编译无法通过。另外,如果非要使用返回值类型前置的形式,也可以将函数声明为decltype((*(U*)0)+(*(T *)0)) Add(U u, T t),但这种形式比较晦涩难懂,因此不推荐采用。
auto和decltype在很多方面简化了我们的代码,让我们写代码的时候不必为类型难以推断或者难以书写而烦恼,让我们可以尽情享受编程的乐趣!
c++11 boost技术交流群:296561497,欢迎大家来交流技术。