Tuples Herb Sutter(陶章志译) (转)

Tuples Herb Sutter(陶章志译) (转)[@more@] 

Tuples

Herb Sutter(陶章志译)

就像我上期所报道的一样,在2002十月标准会议上,两个库扩展作为标准库延深,而被通过。XML:namespace prefix = o ns = "urn:schemas-microsoft-com:Office:office" />

1  是Doug Gregor’s提出的多态函数object wrappers。

2  Jaakko Järvi's提出的tuple类型。

这两个都是直接来在Boost项目。(Boost项目是一个C++ libraries 集合)上次,我答应在这期和下一期将介绍这两个扩展的库,这个月,就让我来简单的介绍一下tuple类型。

Tuple Types:一个简单Motivating例子

假如你想用一个函数返回多于一个返回值,例如:

// yields a quotient only

 
 

//

 
 

int IntegerDivide( int n, int d ) {

 
 

  return n / d;

 
 

}

 
 

 

 
 

// Sample use:

 
 

cout << "quotient = " << IntegerDivide( 5, 4 );

 
 

 

 
 

 在这个实现中有什么错误吗? 也许没有,毕竟在编译器中,我们内嵌了整数除法。包括结果也能够四舍五入。

 
 

  但是,如果我们想做更多。特别,想提供一个方法得到除法其他的信息,例如除法的余数。如果没有改变函数的结构。那么,实现这样的要求的函数不是一件容易的事情。

 
 

一种办法我们在函数中加入一个输出变量。

 
 

// Example 1(b): Integer division,

 
 

// yielding a quotient and remainder,

 
 

// one as the return value and one via

 
 

// an output parameter

 
 

//

 
 

int IntegerDivide( int n, int d, int& r ) {

 
 

  r = n % d;

 
 

  return n / d;

 
 

}

 
 

// Sample use:

 
 

int remainder;

 
 

int quotient = IntegerDivide( 5, 4, remainder );

 
 

cout << "quotient = " << quotient

 
 

<< "remainder = " << remainder;

 
 

 

 
 

这个方法的实现比较,但是我们经常这么实现。这种通过返回值和输出变量来返回函数返回值的办法,看起来有点不可思议。有人也许会说下面的办法更好。

 
 

// Example 1(c): Integer division,

 
 

// yielding a quotient and remainder,

 
 

// this time via two output parameters

 
 

//

 
 

void IntegerDivide( int n, int d, int& q, int& r ) {

 
 

  r = n % d;

 
 

  q = n / d;

 
 

}

 
 

 

 
 

// Sample use:

 
 

int quotient, remainder;

 
 

IntegerDivide( 5, 4, quotient, remainder );

 
 

cout << "quotient = " << quotient

 
 

  << "remainder = " << remainder;

 
 

这种办法也许更加协调。但是 还是比较含糊,不令人满意。稍微想一想,我们会记得为什么:Ralph Waldo Emerson建议我们:“一个愚笨的一致性的想法是思想混乱的怪物”(a foolish consistency is the hobgoblin of little minds)。这个版本能够正常工作,但是,如果你认为它不稳定的话,我不会责怪你。

 
 

那么该怎么做呢?在这一点我们通常会想起在标准库中我们有一个工具:std::pair,毕竟在标准模板库中有很多函数可以返回几个值 ,iterator范围就是作为一个单独的值-同时,大多通过pair实现的,同样的方法能够运行,如下:

 
 

// Example 1(d): Integer division,

 
 

// yielding a quotient and remainder,

 
 

// this time both in the return value

 
 

//

 
 

std::pair IntegerDivide( int n, int d ) {

 
 

  return pair( n/d, n%d );

 
 

}

 
 

 

 
 

// Sample use:

 
 

pair quot_rem = IntegerDivide( 5, 4 );

 
 

cout << "quotient = " << quot_rem.first

 
 

  << "remainder = " << quot_rem.second;

 
 

可以看出这是一个满意的做法,同时,它还可以提高。

 
 

Tuples in Action

 
 

  一些语言,包括Haskell, ML, 以及Python,都直接支持tuple types。C++不是这样,这是因为C++是一个能做任何事情,和内建标准库的系统语言,因此,我们能够,以库的形式实现我们自己的tuple types。像Java等语言是把tuple type作为pair一个系列打包在一起。一个 tuple

 
 

type和“bundle-o-values”很相像。

 
 

在下面一个tuple-ized 的IntegerDivide例子和上面pair-ized 是很相像的,但是,我们不要被迷惑了,毕竟它使用的是一种新的方法:

 
 

// Example 2(a): Integer division,

 
 

// yielding a quotient and remainder,

 
 

// via a type return type

 
 

//

 
 

tuple IntegerDivide( int n, int d ) {

 
 

  return tuple( n/d, n%d );

 
 

}

 
 

 

 
 

// Sample use:

 
 

tuple quot_rem = IntegerDivide( 5, 4 );

 
 

cout << "quotient = " << quot_rem.get<0>()

 
 

  << "remainder = " << quot_rem.get<1>();

 
 

这个例子的语法没有pair那么优雅,但是,它却是和pairs一样的简单好用。

 
 

另一方面,typle 不局限于只有两个成员,它可以有任意多的成员,因此,它可以捆绑任何多个数值,我们来看下面的例子:

 
 

// Example 2(b): Floating-point division,

 
 

// yielding a quotient and remainder,

 
 

// but also an underflow

 
 

//

 
 

tuple // quotient, remainder, underflow

 
 

FloatDivide( float n, float d ) {

 
 

  // —

 
 

}

 
 

如果,我们使用std::pair来实现的话,那么将会是这样,std::pair >, (译注:这样大家也许能够看出tuple的优势了把)

 
 

  但是,我们不能老是把tuple作为bundle-o-values来使用。这里有一些方法把来说怎样把一些独立的变量捆绑成tuple 。这是对于捆绑数值和解绑数值都是有用。例如,我们回到第一个关于除法例子   。

 
 

// Example 3: Bundling and unbundling

 
 

// using "tie"

 
 

//

 
 

tuple IntegerDivide( int n, int d ) {

 
 

  return tuple( n/d, n%d );

 
 

}

 
 

 

 
 

// Sample use:

 
 

int quotient, remainder;

 
 

tie( quotient, remainder ) = IntegerDivide( 5, 4 );

 
 

cout << "quotient = " << quotient

 
 

<< "remainder = " << remainder;

 
 

通过这种方法,我们就不用写那些我们不喜欢写的输出变量了,Tuples有自己的输入,输出符号,和解压操作符号。

 
 

// Example 4(a): Streaming tuples

 
 

//

 
 

tuple quot_rem = IntegerDivide( 5, 4 );

 
 

cout << quot_rem; // "(1 1)"

 
 

另一方面,如果,你想发挥一下你才智的话,你可以控制括号,和分界符。

 
 

// Example 4(b): Customizing streamed tuples

 
 

//

 
 

tuple quot_rem = IntegerDivide( 5, 4 );

 
 

cout << tuples::set_open('['] << tuples::set_close(')')

 
 

 

 
 

  << tuples::set_delimiter(',')

 
 

  << quot_rem; // "[1,1]"

 
 

你如果有兴趣,你可以参考Boost中tuple的实现,(www.boost.org),

 
 

下期预告:

 
 

  在下一期里,我将详细讲解function机制


 

来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/10752043/viewspace-998886/,如需转载,请注明出处,否则将追究法律责任。

转载于:http://blog.itpub.net/10752043/viewspace-998886/

  • 0
    点赞
  • 0
    收藏
  • 0
    评论

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

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
©️2022 CSDN 皮肤主题:编程工作室 设计师:CSDN官方博客 返回首页
评论
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值