C++：程序语言的规范性，有时候真的让学者为难

语言是交流的工具，是表达的工具。

人类的语言，是灵活的，表达者与会意者，各有其强大的灵活性。有时候一句话各有各解。

程序语言，计算机的语言，要无歧意，要一致。

但有时候，真的期望，程序设计语言 ，能够自如地表达思想。真难，说真的。

闲着无聊，写个模板函数：等差数列和的计算：知道初值，知道项数和步长，计算数列和。

代码如下：

template<typename T>
T sum(T first, T n, T step=1)
{
	T tLast = first + step * (n - 1);
	return (first + tLast) * n / 2;
}

试用之，

#include <iostream>
using namespace std;

template<typename T>
T sum(T first, T n, T step=1)
{
	T tLast = first + step * (n - 1);
	return (first + tLast) * n / 2;
}

int main()
{
	cout << "Sum to 100: " << sum(1, 100, 1) << endl;
}

可行。

但是，

cout << "Sum to 100: " << sum(1, 100, 0.5) << endl;

改步长为0.5，心里想着是一个T是一个类型，它应当统一到double，不行的，划了一条横线，找不到匹配的。

可以解决。

cout << "Sum to 100: " << sum<double>(1, 100, 0.2) << endl;

那就继续玩一下：

#include <iostream>
using namespace std;

template<typename T>
T sum(T first, T n, T step=1)
{
	T tLast = first + step * (n - 1);
	return (first + tLast) * n / 2;
}

int main()
{
    auto sumInt = sum<int>;	
	cout << "Sum to 100: " << sumInt(1, 100,1) << endl;	
}

可以的。

步长是有缺省值的，对吧。省省看，

cout << "Sum to 100: " << sumInt(1, 100) << endl;

不行了，提示：
错误(活动)  函数调用中的参数太少。

哦哦。怎么办？

有没有办法，编译器自动的知道T是统一的类型，在参数原类型不一致时，自动地转换成统一的可转换的统一的最高类型，就像综合运算时一样？   

这是一个好主意，还是一个坏主意？

不知道。

这是人类语言和程序语言的区别。人的期望能够自由地表达为程序语言的时候，什么时候到来？