初窥C++11:自己主动类型推导与类型获取

auto

话说C语言还处于K&R时代,也有auto a = 1;的写法。中文译过来叫自己主动变量。跟c++11的不同。C语言的auto a = 1;相当与 auto int a = 1;语句。 而C++11的auto是有着严格的类型推导出来的。曾经是这么写
int a = 1;
如今,编译器知道a是int型了。所以能够这么写
auto a = 1;
对于类型比較长的,如vector<string>::iterator这类的,能少敲些字符了。
假设只就这点作用。那么对编程实在没什么太大的益处。尽管自己主动类型推导对于编译器而言,是个高大上的话题。实际上,作用远远不止这点啊。适当地使用auto,会是你的代码更优雅,举例说明:

template <typename BuiltType, typename Builder>
void makeAndProcessObject (const Builder& builder)
{
    BuiltType val = builder.makeObject();
    // do stuff with val
}

从这代码来看,BuiltType的用处不大,但必须这么写才干编译过。

有了auto后,你能够这么写

template <typename Builder>
void makeAndProcessObject(const Builder& builder)
{
     auto val = builder.makeObject();
     // do stuff with val
}
这比上段代码就优雅些了。但是假设我要返回val的值呢?我们还是要传入BuildTye, 由于c++11并没有提供通过返回值来推导返回类型 (如今最终明确了。不是系统推导不出来,而是c++11没有提供罢了,c++14将会有这个特性。2014/5/14)
在看一遍auto a = 1;表达式。发现自己主动类型推导具有这种特点:它能够先不必知道是什么类型,而是依据后面的信息来推导。

假设我们能把返回类型先用auto取代,然后在给些信息让编译器推导出来。这就须要派上decltype了。


decltype

decltype意为declared Type,即声明类型。

decltype(x)表示从x中提取类型。因此。能够这样写:

decltype(x) y = x;
当然,x也能够换成一个表达式,decltype(builder.makeObject())将得到makeObject()返回的类型。

假设我们结合auto和decltype就能够写出例如以下代码:

template <typename Builder>
auto makeAndProcessObject(const Builder& builder) -> decltype(builder.makeObject())
{
     auto val = builder.makeObject();
     // do stuff with val
     return val;
}

这就是返回类型后置。从上面的样例能够看出。decltype对于模板编写会有所帮助。

假设不用自己写模板的话,也许用的并不多。


decltype这个特性,BS在2002年就提议标准化这类操作符了。gcc c++编译器于2008增加该特性。visual c++ 2010以扩展形式提供了该特性,到c++11才增加标准。而普及到大众程序猿的时间大概是2013前后吧。

可见,技术的发展也许快,然而这仅仅是局部性的。要普及到大众,速度就有点慢了。

想想人生真正奋斗的时间也就短短几十年,推广普及一个技术,真要消耗人的一生光阴。

如今的BS已经是白发苍苍矣。


  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值