ITPub博客

首页 > Linux操作系统 > Linux操作系统 > 在C++中使用Lambda函数提高代码性能

在C++中使用Lambda函数提高代码性能

原创 Linux操作系统 作者:iDotNetSpace 时间:2009-05-19 15:57:23 0 删除 编辑

使编译器以及操纵系统从正在创建的应用中榨取更高机能的枢纽在于提供充足的有关代码意图的信息。在充分了解这个代码意图实现的功能等信息的情况下, 就有可能将代码在编译时和运行时的并行吞吐量最大化,令开发者可以将更多精力放在他们所关注的贸易领域的题目,将重量级的多核多处理器的任务计划交托给编 译器,运行时库以及操纵系统中的基础举措措施代码来处理。


轮回函数是很重要的一个环节,由于在所有可用的硬件资源中,被分离的轮回中的各个部门在一般情况下能够提供更高的应用机能。考虑这样一个小情况:迭代选定组合中的全部元素以求得总和。最简朴最直接的执行方法如下:


std::vector v;
v.push_back(1);
v.push_back(5);
int total = 0;
for (int ix = 0; ix < v.size(); ++ix){
total += v[ix];
}


以上的例子十分便于人工读写。对于认识C语言家族语法的开发者而言,这个轮回的意图也十分轻易理解。然而对于编译器以及运行时库的组合而言,要在多个线程之间计划好这个轮回,它还需要类似于OpenMP编译指示一类的指示来告诉它哪里有优化的空间:


std::vector v;
v.push_back(1);
v.push_back(5);
int total = 0;
#pragma omp for
for (int ix = 0; ix < v.size(); ++ix){
#pragma omp atomic
total += v[ix];
}


第一个OpenMP指示提出了多线程运行for轮回的要求,而第二个omp atomic指示则被用来防止多线程同时向总数变量上写入。对于OpenMP,在MSDN库的参考文档中有关于所有指示的具体先容。


假如使用了声明式轮回技巧,那么将并行方法应用在矢量乞降上则更加干净简朴。STL for_each函数是一个理想的替换品,以上的例子则被改写如下:


class Adder{
private:
int _total;
public:
Adder() : _total(0) {}

void operator ( ) ( int& i )
{
  _total += i;
}

operator int ( )
{
  return  _total;
}
};

void VectorAdd()
{
std::vector v;
v.push_back(1);
v.push_back(5);
int total = std::for_each(v.begin(), v.end(), Adder());
}
这里,详细的for轮回被舍弃,求矢量和的代码变得干净了一些;但是因为需要使用一系列运行符来定义一个类,这使得这个解决方案被大大的复杂化了。 除非代码库中还有大量类似的乞降声明,否则一个开发者是不会仅仅为了STL for_each的那点好处而多花费功夫去定义一个新类的。


仔细检查这个Adder类,可以很显著的看出其大部门内容都仅仅是用来知足将实例用作函数对象的调用前提的。这个类中独一起到计算作用的仅仅是那一 行_total += i。考虑到这一点,C++ 0x提供了一个被大大简化了的、以lambda函数方式来实现的语法技巧。Lambda函数移除了对这些搭架子代码的需求,并答应在另外的一个声明中定义 一个谓词函数。由此,VectorAdd函数可以被改写如下:


std::vector v;
v.push_back(1);
v.push_back(5);
int total = 0;
std::for_each(v.begin(), v.end(),
[&total](int x) {total += x;}
);


Lambda函数的语法相称直截了当。方括号中的第一个lambda元素告诉编译器,本地变量total通过引用被捕获(这样的情况下最好用引用捕 捉,由于你需要矢量和的结果在for_each之后仍旧有效),而lambda的第二部门则是参数列表。Lambda的最后一部门是函数的主体,这个例子 中就是将参数x的值加到变量total中去。


假如在lambda函数中没有需要捕获的变量,或者只需要捕获变量的一个副本,那么函数开始的方括号可以留空:


std::for_each(v.begin(), v.end(), [](int x) {
std::cout << x << std::endl;
});


混合的捕获方法也可以使用:


int total = 0;
bool displayInput = true;
std::for_each(v.begin(), v.end(), [&total, displayInput](int x) {
total += x;
if (displayInput){
  std::cout << x << std::endl;
}
});


这里,变量displayInput通过副本被捕获。Visual C++编译器在编译时会报错C3491:'displayInput':一个在lambda函数内数值被改变的变量无法在一个非可变lambda中通过数值被捕获。


Lambda函数中还有一个值得留意的地方,就是它的返回值类型。编译器一般会尽可能的(也是被要求的)推断lambda表达式的返回值类型,不外 对于复杂的多行表达式而言,有可能会需要切当的声明返回值类型。返回值类型声明通过在lambda函数参数和函数主体之间添加-﹥运行符以及需要被声明的 返回值类型来实现:


std::for_each(v.begin(), v.end(),
[&](int x)->void {total += x;});
}


C++中有了lambda函数,这令声明式编程以及使用STL运算法则变得更加简洁。Lambda函数答应在函数主体内的可执行代码字行间进行定义。在为 编译器提供强盛的优化提示之外,Lambda函数所推崇的代码模式可以令人更加简朴的理解哪段代码是要实现怎样的功能。Visual C++ 2010将带来在并行处理上的明显功能晋升,而lambda函数将是详细实现这些晋升的重要手段之一。

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

请登录后发表评论 登录
全部评论

注册时间:2008-01-04

  • 博文量
    2376
  • 访问量
    5346628