:global 和 :s 命令是 Vim 最强大的命令之一,将其摸透用熟可以事半功倍,在这里我总结了一些网上的网上的经典问题,结合自己的使用和理解,通过实例详细介绍一下其用法。示例难度不一,其中有些可能并没有多少实用性,仅仅是为了展示功能。
阅读 :help :g可知,该命令的使用形式为:
:[range]global/{pattern}/{command}
global 命令在 [range] 指定的文本范围内(缺省为整个文件)查找 {pattern},然后对匹配到的行执行命令{command},如果希望对没匹配上的行执行命令,则使用 global! 或 vglobal 命令。
先来看 Vim 用户手册里的一个经典例子。
【例1】倒序文件行(即unix下的tac命令)
:g/^/m 0
这条命令用行首标记 ^ 匹配文件的所有行(这是查找的一个常用技巧,如果用 .则是匹配非空行,不满足本例要求),然后用 move 命令依次将每行移到第一行(第0行的下一行),从而实现了倒序功能。
global命令实际上是分成两步执行:首先扫描[range]指定范围内的所有行,给匹配{pattern}的行打上标记;然后依次对打有标记的行执行{command}命令,如果被标记的行在对之前匹配行的命令操作中被删除、移动或合并,则其标记自动消失,而不对该行执行{command}命令。标记的概念很重要,以例说明。
【例2】删除偶数行
:g/^/+1 d
这条命令也是匹配所有行,然后隔行删除(其中+1用以定位于当前行的下一行)。为什么是隔行呢?因为在对第一行执行+1 d命令时删除的是第二行,而第二行虽然也被标记了,但已不存在了,因此不会执行删除第三行的命令。
本例也可以用:normal命令实现:
:%normal! jdd
%指定整个文件,然后依次执行普通模式下的jdd,即下移删除一行。与global命令不同之处在于,%normal! jdd是按照行号顺序执行,在第一行时删除了第二行,后面的所有行号都减一,因此在第二行执行jdd时删除的是原来的第四行。也就是说,global命令是通过偶数行标记的消失实现的,而normal命令是通过后续行的自动前移实现的。
【例3】删除奇数行
:g/^/d|m.
光是:g/^/d显然不行,这会删除所有行,我们需要用move命令把偶数行的标记去掉。当然,本例可以很简单的转换成【例2】,在此只是用来强调标记的概念。
本例若想用normal命令实现比较有意思,%norm dd也同样会删除整个文件,%norm jkdd就可以,我不知道两者为什么不同,可能和normal命令内部的运行机制有关。
不少人觉得这两个命令差不多,的确,它们的形式很相似,都是要进行查找匹配,只不过substitute执行的是替换而global执行的其它命令(当然,substitute缺省的[range]是当前行,这点也不同)。先看两个例子,体会一下:s和:g不同的思维方式。
【例4】double所有行
:%s/.*/&\r&/
:g/^/t.
substitue是查找任意行,然后替换为两行夹回车;global是将每一行复制(:t就是:copy)到自己下面,更加清晰明了。
【例5】把以回车排版、以空行分段的文本变成以回车分段的文本
很多txt格式的ebook,以及像vim help这样的文本,每行的字符数受限,段之间用空行分隔。若把它们拷贝到word里,那些硬回车和空行就比较讨厌了,虽然word里也有自动调整格式的功能,不过在Vim里搞定更是小菜一碟。先看看用替换如何实现。
:%s/\n\n\@!//
\n\n\@!是查找后面不跟回车的回车(关于\@!的用法请:h /\@!,在此不多说了),然后替换为空,也就是去掉用于排版的回车。
注:如果等宽段之间无空行,则合并命令变为:%s/\n\%(\s\{2,}\|\n\)\@!//g
global命令则完全是另一种思路。
:g/./,/^$/j
/./标记非空行,/^$/查找其后的空行,然后对二者之间的行进行合并操作。也许有人会问,段中的每一行会不会都执行了j命令?前面已经说过,在之前操作中消失掉的标记行不执行操作命令,在处理每段第一行时已经把段内的其余行都合并了,所以每段只会执行一次j命令。这条命令使用global标记做为[range]的起始行,这样的用法后面还会详述。
global经常与substitute组合使用,用前者定位满足一定条件的行,用后者在这些行中进行查找替换。如:
【例6】将aaa替换成bbb,除非该行中有ccc或者ddd
:v/ccc\|ddd/s/aaa/bbb/g
【例7】将aaa替换成bbb,条件是该行中有ccc但不能有ddd
如何写出一个匹配aaa并满足行内有ccc但不能有ddd的正则表达式?我不知道。即便能写出来,也必定极其复杂。用global命令则并不困难:
:g/ccc/if getline('.') !~ 'ddd' | s/aaa/bbb/g
该命令首先标记匹配ccc的行,然后执行if命令(if也是ex命令!),getline函数取得当前行,然后判断是否匹配ddd,如果不匹配(!~的求值为true)则执行替换。要掌握这样的用法需要对ex命令、Vim函数和表达式有一定了解才行,实际上,这条命令已经是一个快捷版的脚本了。可能有人会想,把g和v连起来用不就行了么,可惜global命令不支持(恐怕也没法支持)嵌套。
:h range
在global命令第一步中所设的标记,可以被用来为{command}命令设定各种形式的[range]。在【例2】和【例5】中都已使用了这一技巧,灵活使用[range],是一项重要的基本功。先看看【例2】和【例3】的一般化问题。
【例8】每n行中,删除前/后m行(例如,每10行删除前/后3行)
:g/^/,+2 d | ,+6 m -1
:g/^/,+6 m -1 | +1,+3 d
这两个命令还是利用move来清除保留行的标志,需要注意的是执行第二个命令时的当前行是第一个命令寻址并执行后的位置。再看两个更实用点的例子。
【例9】提取条件编译内容。例如,在一个多平台的C程序里有大量的条件编译代码:
#ifdef WIN32
XXX1
XXX2
#endif
...
#ifdef WIN32
XXX3
XXX4
#else
YYY1
YYY2
#endif
现在用global命令把Win32平台下代码提取出来,拷贝到文件末:
:g/#ifdef WIN32/+1,/#else\|#endif/-1 t $
t命令的[range]是由逗号分隔,起始行是/#ifdef WIN32/标记行的下一行,结束行是一个查找定位,是在起始行后面出现的#endif或#else的上一行,t将二者间的内容复制到末尾。
【例10】提取上述C程序中的非Win32平台的代码(YYY部分)
首先说明一下,这个例子比前例要复杂的多,主要涉及的是[range]的操作,已经和global命令没多少关系,大可不看。加到这的目的是把问题说完,供喜欢细抠的朋友参考。本例的复杂性在于:首先,不能简单的用#else和#endif定位,因为代码中可能有其它的条件编译,我们必须要将查找范围限定在#ifdef WIN32的block中;另外,在block中可能并没有#else部分,这会给定位带来很大麻烦。解决方法是:
:try | g/#ifdef WIN32//#else/+1, /#endif/-1 t $ | endtry
先不管try和endtry,只看中间的global部分:找到WIN32,再向后找到#else,将其下一行作为[range]的起始行,然后从当前的光标(WIN32所在行,而非刚找到的#else的下一行)向下找到#endif,将其上一行作为[range]的结束行,然后执行t命令。但对于没有#else的block,如第一段代码,[range]的起始行是YYY1,而结束行是XXX2(因为查找#endif时是从第一行开始的,而不是从YYY1开始),这是一个非法的[range],会引起exception,如果不放在try里面global命令就会立刻停止。
与逗号(,)不同,如果[range]是用分号(;)分隔的,则会使得当前光标移至起始行,在查找#endif时是从#else的下一行开始,这样就产生非法[range],用不着try,但带来的问题是:没有#else的block会错误的把后面block中的#else部分找出来。
:h script :h expression
经常有人问:XxEditor有个什么功能,Vim支持么?很可能不支持,因为Vim不大会为特定用户群提供非一般化的功能,但很少有什么功能不能在Vim定制出来,如果是你常用,就加到你的vimrc或者plugin里。脚本就是定制Vim的一种利器。本文不讨论脚本的编写,而是介绍如何实用global实现类似脚本的功能,实际上,就是利用命令提供的机制,做一个简化的脚本。
【例11】计算文件中数字列之和(或其它运算)
:let i=0
:g/^/let i+=str2nr(getline('.'))
:echo i
首先定义变量i并清零,然后用str2nr函数把当前行转成数字累加到i中,注意Vim不支持浮点数。global在这里实际上是替代了脚本里的for循环。
Vim中最常见的一个问题是如何产生一列递增数字,有很多解决办法,调用外部命令,录宏,用substitute命令,还有专门的插件,
i 1 <Esc> qa yyp $ <Ctrl>-a q 99@a
:%s/^/\=printf('%d', line('.'))
:g/^/s//\=line('.')/
:let i=1|g/^/s//\=i/|let i=i+1
而用global命令,可以实现一些更高级的功能。见下例。
【例12】给有效代码行添加标号
在_Data Structures and Algorithm Analysis in C_一书中,作者为了便于讨论,将代码中的有效行加上注释标号,例如:
unsigned int factorial( unsigned int n )
{
if( n <= 1 )
return 1;
return( n * factorial(n-1) );
}
为了在添加标号后能对齐,我们预先在每行代码前面插入足够多的空格(这当然很简单),然后用global命令自动添加标号:
:let i=1 | g/\a/s/ \{8}/\=printf("\/* - *\/",i)/ | let i+=1
其中变量i用来记录标号,g命令查找有字母的行,然后把前8个空格替换成注释标号,每行处理完成后标号加一。替换中用到了/=,一个非常有用的功能。
要用好global命令并非易事,命令中的每一部分都值得仔细研究:只有掌握了range原理,才能自如的在文件中定位;只有精通pattern,才能有效的匹配到想要找的行;只有熟悉ex命令,才能选用最合适的功能进行操作;只有对变量、表达式、函数等内容有一定了解,才更能让global命令实现脚本的功能。总之,global是一个非常好的框架,对Vim越是熟悉,就越能将其种种武器架设在其上使用,发挥更大的威力。
global当然并非万能,功能也有所欠缺,最主要的问题是只能用正则表达式来标志匹配行,如果能用任意表达式来标记(或者从另一个角度,如前mv版主runsnake所说,引入求值正则表达式),则可实现更加方便功能。比如前述的几个删除特定行的问题,将会有简单而统一的解决方法。上述例子如果用sed、awk等专门的文本处理工具,或者perl之类的script语言也非难事,有些实现起来会更加方便。本文提供的Vim解决方法未必简单,甚至可能是难于理解,目的在于介绍global的使用。对于那些不会或者不能使用其它工具的朋友,参考价值可能更大一些。其实Vim的功能实在很丰富,值得我们深入学习。打个不恰当的比方,少林七十二绝技固然高妙,会的越多自然功力越强,不过只要会上一门六脉神剑或小无相功,也足以独步江湖了。
Racket 是一种编程语言(programming language)—— Lisp 语言的一种方言和 Scheme 的一种派生语言;
1958 年,人工智能之父 John McCarthy 发明了一种以 Lambda 演算为基础的符号处理语言, 1960 年 McCarthy 发表著名论文 Recursive Functions of Symbolic Expressions and Their Computation by Machine, 从此这种语言被命名为 LSIP (List Processor),其语法被命名为:符号表达式(S-Expression)。 LISP 构建在 7 个函数 [atom car cdr cond cons eq quote] 和 2 个特型 [lambda label] 之上。
Lisp诞生之初是为了纯粹的科学研究,代码执行像数学公式一样,以人的大脑来演算。 直到麦卡锡的学生斯蒂芬·罗素将eval函数在IBM 704机器上实现后, 才开启了Lisp作为一种计算机语言的历史。1962年,第一个完整的Lisp编译器在MIT诞生, 从此之后Lisp以MIT为中心向全世界传播。之后十多年,出现了各种Lisp方言。
1975年,Scheme诞生。Scheme同样诞生与MIT,它的设计哲学是最小极简主义, 它只提供必须的少数几个原语,所有其他的实用功能都由库来实现。在极简主义的设计思想下, Scheme趋于极致的优雅,并作为计算机教学语言在教育界广泛使用。
1984年,Common Lisp诞生。在二十世纪七八十年代,由于Lisp方言过多,社区分裂, 不利于lisp整体的发展。从1981年开始,在一个Lisp黑客组织的运作下, 经过三年的努力整合后,于1984年推出了Common Lisp。由于Scheme的设计理念和其他Lisp版本不同, 所以尽管Common Lisp借鉴了Scheme的一些特点,但没有把Scheme整合进来。此后Lisp仅剩下两支方言: Common Lisp 和 Scheme。
从二十世纪九十年代开始,由于C++、Java、C#的兴起,Lisp逐渐没落。直到2005年后, 随着科学计算的升温,动态语言JavaScript、Python、Ruby的流行,Lisp又渐渐的回到人们的视线。 不过在Lisp的传统阵地教育界,Python作为强有力的挑战者对Scheme发起冲锋; 在2008年,MIT放弃了使用Scheme作为教学语言的SICP(计算机程序的构造和解释)课程, 而启用Python进行基础教学。同时美国东北大学另立炉灶,其主导的科学计算系统PLT Scheme开始迅猛发展; 2010年,PLT Scheme改名为Racket。近几年,The Racket Language连续成为年度最活跃语言网站,并驾齐驱的还有haskell网站。

首先说一下S-表达式:S-表达式的基本元素是list与atom。list由括号包围,
可包涵任何数量的由空格所分隔的元素,原子是其它内容。
其使用前缀表示法,在Lisp中既用作代码,也用作数据。如:1+2*3 写成前缀表达式就是 (+ 1 (* 2 3)) 。
高阶函数至少满足下列一个条件:
微积分中的导数就是一个例子,映射一个函数到另一个函数。在无类型 lambda 演算中,
所有函数都是高阶的。在函数式编程中,返回另一个函数的高阶函数被称为Curry化的函数。
Curry化即把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,
并且返回接受余下的参数而且返回结果的新函数的技术。如 f(x,y)=x+y, 如果给定了 y=1,则就得到了 g(x)=x+1 这个函数。
Racket中实用Lambda表达式来定义匿名函数,《如何设计程序》书中给出的使用原则是: 如果某个非递归函数只需要当参数使用一次,使用Lambda表达式。 如果想用Lambda表达式来表达递归,就需要引入Y组合子,Y 就是这样一个操作符, 它作用于任何一个 (接受一个函数作为参数的) 函数 F,就会返回一个函数 X。 再把 F 作用于这个函数 X,还是得到 X。所以 X 被叫做 F 的不动点(fixed point),即 (Y F) = (F (Y F)) 。
惰性求值(Lazy Evaluation),说白了就是某些中间结果不需要被求出来, 求出来反而不利于后面的计算也浪费了时间。参见:惰性求值与惰性编程。 惰性求值是一个计算机编程中的一个概念, 它的目的是要最小化计算机要做的工作。惰性计算的最重要的好处是它可以构造一个无限的数据类型。 使用惰性求值的时候,表达式不在它被绑定到变量之后就立即求值, 而是在该值被取用的时候求值。语句如 x:=expression; (把一个表达式的结果赋值给一个变量)明显的调用这个表达式并把计算并把结果放置到 x 中,但是先不管实际在 x 中的是什么,直到通过后面的表达式中到 x 的引用而有了对它的值的需求的时候,而后面表达式自身的求值也可以被延迟,最终为了生成让外界看到的某个符号而计算这个快速增长的依赖树。
闭包在计算机科学中,闭包(Closure)是词法闭包(Lexical Closure)的简称, 是引用了自由变量的函数。自由变量是在表达式中用于表示一个位置或一些位置的符号, 比如 f(x,y) 对 x 求偏导时,y就是自由变量。 这个被引用的自由变量将和这个函数一同存在,即使已经离开了创造它的环境也不例外。 在函数中(嵌套)定义另一个函数时,如果内部的函数引用了外部的函数的变量, 则可能产生闭包。运行时,一旦外部的 函数被执行,一个闭包就形成了, 闭包中包含了内部函数的代码,以及所需外部函数中的变量的引用。 其中所引用的变量称作上值(upvalue)。网上有很多讲 JavaScript 闭包的文章,如果你对 LISP 有系统的了解,那么这个概念自然会很清楚了。
快排的Racket实现
#lang racket
(define (quick-sort array)
(cond
[(empty? array) empty] ; 快排的思想是分治+递归
[else (append
(quick-sort (filter (lambda (x) (< x (first array))) array))
; 这里的 array 就是闭包
(filter (lambda (x) (= x (first array))) array)
(quick-sort (filter (lambda (x) (> x (first array))) array)))]))
(quick-sort '(1 3 2 5 3 4 5 0 9 82 4))
;; 运行结果 '(0 1 2 3 3 4 4 5 5 9 82)
通过这个例子,就可以感受到基于 lambda 算子的 Racket 语言强大的表达能力了。 高阶函数、lambda 表达式和闭包的使用使得 Racket 所描述的快排十分的精炼, 这和基于冯诺依曼模型C语言是迥然不容的思维模式。
在 Racket 官网下载对应系统的安装包,安装完成后,就可以在命令行里使用 racket 命令。
新建 hello.rkt 文件:
#lang lisp
(+ 1 1)
打开命令行,执行 racket -t hello.rkt, 就可以看到输出 2。
大学四年,就这样就毕业了。感觉还有很多事情没有做完呢。
很多同学,其实大四的时候基本上见面就很少了,有的去外面的公司实习了,有的去研究生实验室跟着导师做课题了。
而我,大四期间似乎非常平淡,在车老师实验室里呆了一年,本来以为最后可以考到这里的。结果考研前一周时间, 突然一点不想学习了,想着出去工作。于是,考试的事情就搁置了。
大学同学,不同于高中、初中,基本上都是一个城市的。而大学的基本上全国各地都有,不知道下次相聚会是何时!
Vim 使用已经快有4个年头了,从最早期的只有一个 ~/.vimrc 文件,到之前一个完整的 ~/.vim 目录,
期间配置文件结构也改变了很多。配置也变得越来越臃肿。
体验过 eclipse 这样的工具后,回过头来在看看 Vim 的配置,似乎也可以把一些功能做成一些模块, 然后根据自己实际的需求载入这些模块。
在这里,我们使用 Bundle 这款工具来管理插件,大致的思路如下:
~/.vimrc:
" 将插件管理器加入 rtp
set rtp+=~/.vim/bundle/bundle
call bundle#begin()
" 模块逻辑
let g:modulars = ['core', 'java']
" 根据模块变量载入模块
for m in g:modulars
exe 'so ~/.vim/modulars/' . m . '.vim'
endfor
call bundle#end()
我们以 Java 模块为例:
~/.vim/modulars/java.vim:
Bundle 'javautil.vim'
Bundle 'javaclass.vim'
" 插件配置
let g:java_util_foo = 'xxx'