使用C++进行声明式编程

        声明式编程（英语：Declarative programming）是一种编程范型，与命令式编程相对立。它描述目目标性质，让计算机明白目标，而非流程。声明式编程不用告诉电脑问题领域，从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。

        简单的说，声明式侧重于做什么，命令式侧重于怎么做。

        虽然C++是面向对象的语言，但并不妨碍我们用声明式的思想编程。下面举个简单的例子。

        命令式风格：

	vector<int> numbers = { 1, 2, 3, 4, 5 };
	int sum = 0;
	for (auto iter = numbers.begin(); iter != numbers.end(); iter++)
	{
		sum += *iter;
	}

声明式风格：

        方法一：

	vector<int> numbers = { 1, 2, 3, 4, 5 };
	int sum = 0;
	for each (auto num in numbers)
	{
		sum += num;
	}

方法二：

	vector<int> numbers = { 1, 2, 3, 4, 5 };
	int sum = 0;
	for_each(numbers.begin(), numbers.end(), [&sum](int &num)
	{
		sum += num;
	});

        这两种风格的区别就在于遍历集合的方法。命令式中我们指定遍历的方法。而在声明式里，我们不关心集合怎么遍历，仅仅是使用for each语句。这就是两种思想区别。在声明式中，我们更关心要”做“一件事情，而不太关心这件事是怎么做的。

        在上面的方法二中，我们用到了lambda表达式，这是c++11引进的新特性。lambda表达式可以使声明式编程更为方便（当然并不是没有了它就无法实现）。

        再举个例子，SQL语言。sql是典型的声明式语言。编写sql语句只需关心编程目的，具体怎么实现的则毫不关心。

        不过C++并不是原生的声明式语言，要完全像sql语言那样的编程当然是不可能的。因此只能使用折中的方法。

        逻辑与实现细节分离。

        （该部分待补充）

 

        声明式编程并不神秘，也并不多高级。可能刚一听会有“原来就这样啊，还以为多高级呢”的想法。但一旦用这种思想来指导你写代码，将是一种完全不同的体验。而且你的代码质量也将提升一个档次，并且这个过程是自然而然的。

 

未完待续……