0

我正在阅读一些文章,其中很多都提到了表达式模板可以避免使用临时对象。但他们都没有提到这是如何完成的。据我所知,由于设计架构操作是使用临时对象完成的。例如,如果 a、b 和 c 是两个矩阵,如果我们这样做,a = b+c那么结果将b+c保存在一个临时对象中temp = b+c,然后将结果复制回一个 like a = temp

但是如果我们使用表达式模板,那么这个加法(+)操作返回 b 和 c 的引用,然后主要计算发生在赋值运算符(=)被评估时。这是模板表达式的简单通用概念。但我不明白它是如何摆脱临时对象的。如果有人能给出如何避免这种临时性的一般想法,那就太好了。

4

1 回答 1

2

举个例子

Vector a,b,c,d;
a = b + c + d;

通常这会转化为类似

a = b.operator+( c.operator+(d) );

每次调用operator+都必须遍历条目。但是,更自然的方法是遍历所有元素一次并进行一些添加,例如

a_i = b_i + c_i + d_i

这就是表达式模板通过仅在真正需要结果时才评估表达式来有效执行的操作。

请注意,c+d仅需要临时(即 的中间结果),因为每个operator+单独循环遍历所有元素。一旦单独的循环组合在一起,就不再需要临时的了。

对于不太业余的解释和更多细节,我可以向您推荐CppConf 2015 上的这个演讲

于 2016-07-10T10:00:45.690 回答