我们不妨想象一下汇编程序员、C/C++程序员以及java程序员还有项目经理分别是怎么写程序的。
汇编程序员:这个语言没有if没有switch也没有for/while,甚至就连做个加法,我都得明确指出是单字节加法、双字节加法还是双字/四字加法……哦,我还得明确说明进位位是不是也要加上去。麻烦?连基本数据结构都没有,只能操作裸内存?但CPU的每一个动作都得听我指挥!
C/C++程序员:我不用管if/switch/for/while是如何实现的,我可以直接调用函数,大多数时候不用管函数调用究竟是什么……
(汇编程序员:谁压栈谁维护sp,是长跳转还是短跳转?现场谁保存谁恢复?)
C/C++程序员:滚!精神污染!程序员不需要考虑这些,他们真正要考虑的是算法!算法!
Java程序员:一个天天纠结内存纠结指针的程序员也是醉了。咱不能多谈谈业务少谈谈算法吗?
C/C++程序员:你吃内存,你没我快!
Java程序员:设计模式……
C/C++程序员:语言设计太水才需要一大堆设计模式。以及,你吃内存,你没我快!
项目经理:都别吵吵了!去给我写个hello world!
众程序员:切!外行,连hello world都不会写!
项目经理:这就是你们写的hello world?说好了要支持多国语言呢?
众程序员:你哪说了?
项目经理:啊?没说?那现在说了!
众程序员:去TM的需求变更!加班你掏钱?
你看,每一种语言,它都封装了一些东西——除了汇编。
这些封装,使得它的使用者可以更简洁的完成日常功能的同时,也不可避免的要付出一些底层控制能力/灵活性方面的代价——毕竟你只能通过它提供的、“封装”的代理,才能完成任务。
其中,汇编可以控制一切;但用它时,就连if你都得自己拆开,用cmp/jnz/jz等指令的组合实现类if控制结构——在程序流程控制可以无限精确、无限复杂的同时……你不觉得每次都得根据实际情况,把if这俩字母拆成三五条甚至十几条语句,太过繁琐了吗?
而C/C++呢,你近似可以控制一切,汇编能做到的,你99.99%都能做到。这就大大提高了开发效率。
等到了java,你失去了对内存的大部分控制权;但当你要写一个商业/工业程序时,却前所未有的简单。
脚本语言,如python、php等,也都类似——它们比java更简单,但也更慢。
再往上,就是shell脚本了。
shell脚本是一种比python更“糙”、因此性能等方面更为受限的语言;但它有个极大的优点,那就是可以把其他人写的程序本身,像其他语言的库函数那样使用。
为了做到这个,它要求每个程序都把命令行参数当作“函数输入”、向stdout/stderr的输出当作函数输出,同时以程序返回值说明执行成功与否。
这个约定是强制性的,在操作系统设计时就确定了的——这也是C语言的main函数需要返回一个int的原因。
但是,这个“命令行参数”的约定也束缚了shell,使得它比起其他语言更在乎空格/回车等符号——因为它的每一行,都必须是“命令 参数1 参数2”的格式。
这个约定就使得它语法怪异,也很难像其他编程语言那样,支持语法结构的任意嵌套——不管有多像,它毕竟是“用命令行模拟出来的语法结构”。
那么,这就是shell脚本的定位:它是一种只能支持较为简单逻辑的、可以直接把任意现有程序当作函数无缝集成的“超高级语言”;但因为“命令行模拟”这个本质,它的语法较为笨拙,很难像正规的脚本语言那样得到很多很多的语法糖或者其它便利。
但,同样的,其它脚本语言语法结构是灵活了;但它们也就不可能很方便的和系统安装的现有程序交互了——注意是不方便,不是不能。你完全可以通过popen/shellexec等方法调用外部程序。
程序员都是一群特别特别“懒”的人。他们会根据目标的不同,选择能够最轻易达到目标的方法——这种选择同样包括编程语言。这反过来也导致了诸多不同定位的语言的出现。