使用C++20 的协程创建通用的生成器 在上一篇中，我们通过拆解一个简单的例子描述了C++20 处理协程的过程。在此先简单的回顾一下各个部分的作用回顾promise_type主要提供一些与协程相关的接口：initial_suspend： 协程实例创建时执行，通过返回值来决定协程创建的同时执行还是等待final_suspend: 协程实例执行完之后是暂停还是继续，继续意味着会销毁这个实例yield_value/await_transform: 协程函数中执行 co_yield/co_await 时负责将后面的操作数转化为等待体awaiter 对象get_return_object: 返回协程对象return_void / return_value: 真正获取协程函数 co_return 的返回值unhandled_exception 协程函数发生异常时调用等待体是协程函数中调用 co_await/co_yield 时创建, 主要用来告诉编译器遇到这两个操作符时应该继续执行还是等待, 关于等待体 awaiter 它有如下几个接口:bool await_ready() : 根据返回值决定是继续还是等待await_suspend(coroutine_handle<>) : 协程被挂起时调用await_resume() : 协程被恢复时调用关于等待体，标准库有两个简单的实现: suspend_always 和 suspend_never改进生成器c++ 23 中存在一个标准的生成器 std::generator，我们利用这个生成器可以将整个程序修改为:#include <coroutine> #include <iostream> #include <generator> #include <ranges> std::generator<int> fibonacci() { int a = 0; int b = 1; for (;;) { co_yield a; int next = a + b; a = b; b = next; } } int main() { for (auto x : fibonacci() | std::views::take(10)) { std::cout << x << std::endl; } return 0; }本文的目标是最终完成一个简单的、可用的、贴近标准库的 std::generator，进一步理解协程的原理 我们还是按照上一篇的组织方式，先放出完整的源代码，然后依次说明重要的点:#include <coroutine> #include <iostream> #include <generator> #include <ranges> template<typename T> struct Generator { struct promise_type { std::suspend_always initial_suspend() { return std::suspend_always{}; } std::suspend_always final_suspend() noexcept { return std::suspend_always{}; } void unhandled_exception() noexcept { _exp = std::current_exception(); } Generator get_return_object() { return Generator(std::coroutine_handle<promise_type>::from_promise(*this)); } void return_void() {} std::suspend_always yield_value(T value) { _value = std::move(value); return std::suspend_always{}; } void rethrow_if_exception() { if (_exp) throw _exp; } T _value = {}; std::exception_ptr _exp = nullptr; }; Generator(std::coroutine_handle<promise_type> h) : _handle(h) {} ~Generator() { if (_handle) _handle.destroy(); } Generator(const Generator&) = delete; Generator& operator=(const Generator&) = delete; Generator(Generator&& other) noexcept : _handle(std::exchange(other._handle, nullptr)) { } Generator& operator=(Generator&& other) { if (this != &other) { if (_handle) _handle.destroy(); //删除当前的协程，管理新协程 _handle = std::exchange(other._handle, nullptr); } return *this; } bool is_done() noexcept { return !_handle || _handle.done(); } T next() { if (is_done()) throw std::runtime_error("Generator exhausted"); _handle.resume(); _handle.promise().rethrow_if_exception(); return _handle.promise()._value; } std::coroutine_handle<promise_type> _handle; // 迭代器 struct Iterator { Generator& _gen; bool _is_end; Iterator(Generator& gen, bool is_end = false) : _gen(gen), _is_end(is_end) {} void move_next() { if (!_gen.is_done()) { _gen._handle.resume(); _gen._handle.promise().rethrow_if_exception(); } else { _is_end = true; } } T operator*() const { return _gen._handle.promise()._value; } Iterator& operator++() { move_next(); return *this; } bool operator!=(const Iterator& other) const { return other._is_end != _is_end; } }; Iterator begin() { Iterator it{ *this }; it.move_next(); return it; } Iterator end() { return Iterator{ *this, true }; } }; Generator<int> fibonacci() { int a = 0; int b = 1; for (;;) { co_yield a; int next = a + b; a = b; b = next; } } int main() { Generator<int> generator = fibonacci(); for (auto x : fibonacci()) { std::cout << x << std::endl; } // std::generator 示例 //for (auto x : fibonacci() | std::views::take(10)) //{ // std::cout << x << std::endl; //} return 0; }泛型与移动语义的优化之前我们在 yield_value 函数中传入的参数是int类型，所以在函数中直接采用赋值运算符没有任何问题，但是考虑到泛化之后它可以生成任意类型的数据，在处理大结构的数据时，采用赋值运算将会产生多余的拷贝。因为函数参数中已经进行了拷贝，同时值传递不影响外部真实的数据，我们直接对参数执行移动操作可以节省一次拷贝。异常处理的支持上一篇，我们简单的将将 unhandled_exception 设置为空函数，这次我们在 promise_type 中保存了一个 std::exception_ptr 异常类型的指针用来捕获协程函数中的异常。这个函数的实现也比较简单，我们说在协程函数发生异常时会调用 promise_type 结构中的 unhandled_exception 接口函数。这个函数中通过 _exp = std::current_exception(); 获取最新的异常信息并保存。在获取下一次的数据的时候，我们直接判断当前是否保存了异常信息，如果有则直接抛出。外界在调用next等函数获取值的时候可以直接捕获Generator 禁止拷贝、仅支持移动操作协程句柄 coroutine_handle 独占一段堆上分配的协程栈与 promise 对象，资源唯一不可共享。所以理论上只能有一个对象管理整个协程。如果允许拷贝，则会出现多个结构同时指向一个协程对象。这些结构在析构时多次调用destroy 造成重复销毁的问题。或者某个对象没有及时更新造成访问无效内存。而移动语义是所有权的转移，在同一时间有且只有一个对象真正的控制协程、拥有 coroutine_handle 句柄。配合最后的析构释放操作，能防止内存泄漏move_next 实现这里我们在迭代器中单独又写了一些与 Generator::next 相同的代码。这里主要出于两点考虑：Generator 支持通过next 来获取下一个数据，但是该函数返回T类型的下一个数据。外界实际上没有途经判断生成器是否已经无法生成多余的数据。所以我通过抛出异常，外界可以通过异常来判断是否还能生成数据，当然这里也可以使用 std::optional 来判断数据是否合理。既然会抛出异常，那么迭代器中的 move_next 就无法直接调用，谁也不希望范围for最后是靠异常退出的。迭代器需要一个end函数，end一般是返回一个越界的迭代器，在协程中我们实际上不需要构建一个额外的Generator 来判断是否越界。所以我在里面额外维护了一个 _is_end。利用该变量来判断迭代器是否越界了。基于以上理由，我没有复用 Generator::next 的代码另外在 Generator::begin 函数中，我们首先调用了一次 move_next ，然后才返回迭代器。这是因为我们的 initial_suspend 函数返回 suspend_always，在生成器对象被创建的时候协程还没有开始运行，此时生成器中的值是无效值。begin函数是用来获取它的起始值，此时值应该是有效的，所以提前调用一次 move_next 让它获取第一个值。小结当然标准库的 std::generator 实现比上述代码要复杂的多，特别是它支持 ranges 组件来设置范围，而我们的简单的生成器的退出完全依赖协程函数自身的退出条件，无法做到自主退出。希望通过本节各位读者能对协程的原理有一个更深入的理解。也希望这个简陋的实现可以做到抛砖引玉的作用。

Emacs折腾日记(七)——布尔变量、逻辑运算符与位运算 通过前面的几节内容我们已经对elisp中基本类型有所了解了。emacs lisp 简明教程 中下一节开始就是讲相关容器。所以这一篇我将它作为基础类型的一个结尾，将平时会用到，但是之前没有涉及到的内容都包含进来。bool类型本篇首先要提到的就是bool类型，我们已经在前面几章中用到过它，但是没有具体提到它。像if，cond、while 中都有它的声影。有其他编程语言相关经验的读者对它应该不会陌生，而且使用起来应该也是手到擒来。elisp中bool变量的真和假分别用 t 和 nil 来表示。它只有 nil 表示假，其余都是真。在其他编程语言中，0表示假，但是elisp中0也是真，我们可以使用下列代码来验证(if 0 (message "0 is t") (message "0 is nil")) ;; ⇒ "0 is t"包括0、空字符串都是真，elisp中只有 nil 本身是假，其余都是真。与其他编程语言类似，bool变量主要使用逻辑运算符来进行运算。elisp中的逻辑运算符也是与或非，对应的操作符为 and、or、not ，它们中间也有短路性质，即and 语句中如果一条语句已经为假，则不执行后一条，而or 中一条语句为真，则不判断后一条语句。elisp中经常利用短路性质来执行一些特殊的操作，例如常常用 or 来设置函数参数的缺省值。例如(defun say-hello (&optional name) (or name (setq name "Emacs")) (message "Hello, %s" name)) (say-hello) ;; ⇒ "Hello, Emacs" (say-hello "Lisp") ;; ⇒ "Hello, Lisp"位运算当初在学习C、C++的时候就觉得它对二进制位的操作实在是比较精妙，例如TCP/IP协议中使用位域来定义相关结构体。或者Win32 API中关于flag的设计就是典型的位运算设计。利用位运算的相关内容，一个字节的数据就能存储8位的标志。虽然教程中没有提及位运算的内容，但是我实在是比较好奇elisp中的位运算，所以我加了这一部分的内容。内容也比较简单，位运算基本也就是那些操作，主要是 and、or、xor、not。以及左移右移的操作。elisp中提供了支持这些操作的一些函数，下面是一些位的逻辑运算的函数logand: 按位与运算logior: 按位或logxor: 按位异或lognot: 按位非;; 3 ⇒ 011 5⇒ 101 (logand 3 5) ;; ⇒ 1 (logior 3 5) ;; ⇒ 7 (logxor 3 5) ;; ⇒ 6 (lognot 5) ;; ⇒ -6下面是位移运算的函数ash: 位移操作elisp 中没有单独提供左移和右移的操作，上面的函数根据第二个参数来决定左移或者右移，正数代表左移，负数代表右移，例如(ash 3 1) ;; ⇒ 6 (ash 3 -1) ;; ⇒ 2本节到此就结束了。本节算是一个针对原来教程的补充，内容不多。

Emacs折腾日记(六)——elisp字符与字符串类型 本文相关的知识点主要来自 elisp 简明教程 后续内容可以直接查看这个教程上一节我们了解了elisp中基础数据类型之一的数字类型，相比于C/C++ 来说elisp的数字类型更少，学习起来可能也更加简单。那么这篇我们来学习另一个数据类型——字符串字符串的基本介绍回忆以下在C/C++中学到的关于字符的知识，字符采用char 来表示，它占一个字节，里面存储的是各个字符的编码。当然针对汉字或者其他东亚文字，一个char 可能表达不了，它会用 2个或者3个字节来表示一个汉字。后来又有unicode字符，和wchar_t 类型。而字符串则是以0结尾的字符数组。C/C++中经常会出现这样的经典考题char* pszStr = "Hello, World"; char szBuf[] = "Hello, World";它们分别占几个字节，它的考点主要有两个，第一就是指针类型存储的就是地址，它与具体的机器结构有关x86机器上占4个字节。第二个考点就是字符串里面藏了一个0作为字符串的结尾char szBuf[] = "Hello\0Word";这样的字符串虽然可以表达出来，但是我们通过 strlen 之类的函数，得到的结果却是5。因为遇到0就结束了。elisp中的字符串与C/C++中最大的不同就是elisp中字符串可以有 0。另外一个不同就是elisp中没有字符类型，字符串中每一个字符都是字符的unicode形式，用C/C++类比就是字符串通过GetAt 之类的函数返回的是字符的unicode整数值。当然严格意义上来说C/C++中的字符类型也是一个整数值。elisp中可以使用?A 这样的形式来表示一个A字符。最终得到的结果就是A的ASCII码 65，我们可以使用之前学到的数字类型检测函数来判断它得到的是不是整数类型(integerp ?A) ; ⇒ t对于一些标点符号或者有歧义的字符，可以使用 \ 进行转义，例如?\' ?\" ?\\对于一些没有歧义的标点符号加不加转义字符没有影响，但是为了美观或者同一或者说为了不增加记忆的负担，标点符号统一使用转义字符。另外，我们可以在字符串中使用10进制、八进制、16进制的形式来表示字符，例如(setq msg "\x68\x65\x6C\x6C\x6F\x2C\x20\x77\x6F\x72\x6C\x64") ; ⇒ "hello, world"使用其他进制的写法如下：十进制：使用 \d + 数字（不常用，主要用十六进制和八进制）。十六进制：使用 \x + 两位十六进制数字。八进制：使用 \0 + 三位八进制数字。字符串函数首先我们可以使用 length 来获取长度，它有点类似与 Python中的len 函数，它不光可以获取字符串类型的长度，还可以获取列表、向量等类型的长度例如(setq msg "hello, world") (length msg) ;; ⇒ 12我们在前面说过，字符串可以带上0，我们来测试一下有0的情况下，得到的长度如何(setq msg "hello\x00world") (length msg); ;; ==> 11因为elisp并不以0作为字符串的结尾，实际上elisp字符串是以向量的形式存储的，向量中每个元素都是一个整数，所以这里返回的仍然是字符向量的大小。我们可以使用 stringp 来测试一个变量是否为字符串。例如(setq msg "hello") (stringp msg) ; ⇒ t (stringp ?A) ; ⇒ nil我们也可以使用 string-or-null-p 函数来检测，顾名思义，它主要用来判断当前变量是否为字符串或者是一个nil(char-or-string-p msg) ; ⇒ t (char-or-string-p ?A) ; ⇒ t (char-or-string-p nil) ; ⇒ nil (char-or-string-p "") ; ⇒ t但是遗憾的是 elisp 中没有判断字符串是否为空的方法，我们只能自己写代码来实现(defun string-emptyp (str) (and (stringp str) (zerop (length str))))这个函数判断当前传入对象是否是字符串，并且字符串长度为0。构造函数可以使用make-string 函数来构造一个字符串，它构造一个里面都是同样字符的字符串，例如(make-string 5 ?A) ; ⇒ "AAAAA"如果想要构造一个不同字符构成的字符串，可以使用 string(string ?A ?B ?C) ; ⇒ "ABC"也可以使用 substring 和 concat 来产生一个新的字符串，前者从字符串中取子串，后者连接两个字符串。substring 接受一个字符串和两个整数，表示一个范围，是一个前开后闭的区间，也就是包含前面的范围不包含后面的范围。字符串的索引也是从0开始。(substring "Hello, World" 3 5) ; ⇒ "lo"也可以只包含一个起始位置，表示从这个位置开始往后的字符(substring "Hello, World" 3) ; ⇒ "lo, World"也可以传入负数，与Python中的索引类似，负数表示从右往左数，但是注意，最右边的字符是-1，因为0表示最左边的数(substring "Hello, World" -5 -3) ; ⇒ "Wo"concat 就相对比较容易理解一些，它就是将两个字符串合并成一个新串(concat "hello" ", world") ; ⇒ "hello, world"与C/C++类似的是，字符串定义之后无法更改，需要更改的话，它的做法是创建一个新的字符串，并且舍弃掉原来的字符串。所以这里将 substring、concat 这种取子串和连接字符串的函数也归类到构造函数中，因为它们的的确确构造了一个新的字符串。字符串比较在C/C++中，比较字符串时使用 strcmp 函数。我们根据它的返回值来决定字符串是大于小于或者等于。在比较的时候从左往右，依次比较它们的编码值，直到遇到不一样的值。它仅仅比较编码值，而不关心字符串长度，只有在前面的字符都相等的时候才会根据长度判断。相信各位在学习C/C++的时候都亲手实现过strcmp函数，这里就不展开了。elisp中字符串的比较函数就比较多了。char-equal 比较两个字符是否相等，默认情况下它会忽略大小写，例如(char-equal ?A ?a) ; ⇒ t如果要大小写敏感的话就不能用这个函数了，那么大小写敏感的时候该怎么比较呢？这个时候千万别犯迷糊，字符本身就是一个整数，完全可以使用 = 或者 eql直接判断(eql ?A 65) ; ⇒ t (= ?A 65); ⇒ t判断字符串是否相等我们可以使用 string= 或者 string-equal 。它们二者是等价的，是同一个函数的不同叫法而已。(setq foo "hello") (setq bar "hello") (string= foo bar) ; ⇒ t使用字典顺序来比较字符串大小使用的是 string< 或者 string-lessp 。与前面类似，它们也是等价的。它的判断逻辑与 strcmp 函数相同。(setq foo "Hello") (setq bar "hello world") (string-lessp foo bar) ; ⇒ t (setq foo "Hello") (setq bar "Hello") (string-lessp foo bar) ; ⇒ nil比较遗憾的是没有 string> 这样的比较。如果想要判断是否大于的话，需要判断不相等并且不小于。根据 string< 的比较逻辑来看，空串是最小的字符串，也就是任意非空字符串都比空串大，因此上面判断是否是空串的代码可以使用这一特性实现(defun string-emptyp (str) (and (stringp str) (not (string< "" str))))不知道各位是否还记得Java String类中有 Equal 函数和 == 来比较字符串。其中Equal来比较字符串内容是否相等，而 == 仅仅比较对象的地址是否相等。elisp中同样有这样的操作，我们使用 eq 来代替 == 判断对象本身是否相等，对于简单类型也就是数字类型，我们使用它来判断数字是否相等，而对于字符串、列表、向量这种复杂类型时，判断它们的地址是否相等。(setq foo ?A) (setq bar ?A) (eq foo bar) ; ⇒ t (setq foo "A") (setq bar "A") (eq foo bar) ; ⇒ nil字符串转化下面来介绍一些字符串和数字类型相互转换的函数我们可以使用 char-to-string 来将一个整数转换成字符串，或者使用 string-to-char 来将字符串转化为整数，当然这个函数只会返回第一个字符的整数值。例如(char-to-string 65) ;; ⇒ "A" (string-to-char "Hello world") ;; ⇒ 72使用string-to-char 只能获取字符串中第一个字符的值，如果我们要取字符串中任意位置的字符该怎么办呢？我们可以使用substring 来获取以对应位置开始的一个子串，然后获取这个子串的第一个字符(defun get-string-char (str index) (string-to-char (substring str index))) (get-string-char "Hello World" 5) ; ⇒ 32或者我们可以也使用 aref 函数，该函数用来取数组中任意位置的值，因为字符串也是一个数组，因此我们可以使用该函数来取字符串中任意位置的字符。例如(aref "Hello World" 5) ;; ==> 32另外我们可以将数字转化为对应的字符串或者将数字字符串转化为对应的整数。它们的功能类似于C/C++ 中的 atoi 和 itoa 函数。string-to-number 用来将字符串转化为数字，它可以支持从2到16进制的转化，例如(string-to-number "ff" 16) ;; ⇒ 255 (string-to-number "A1") ;; ⇒ 0, 默认以10进制进行转化 (string-to-number "10" 2) ;; ⇒ 2number-to-string 用于将数字转化为字符串，它只支持以10进制的形式转化(number-to-string 256) ; ⇒ "256" (number-to-string ?A) ;; ⇒ "65"如果想以任意进制来将数字转化为字符串，那么可以使用 format 函数，它类似于C/C++中sprintf。用来格式化字符串，但是它只支持8进制10进制和16进制的转换(format "%d" 256) ;; ⇒ "256" (format "%#o" 256) ;; => "0400" (format "%#x" 256) ;; ⇒ "0x100"要转化成二进制的话，没有现成的函数可以用，不过我们可以自己实现，相信学过C/C++的应该写过类似的算法，不过我记得当初我学的算法是先入栈再出栈，下面的代码也是采用类似的方式。通过取模最先算出来的在最低位，所以我们在连接字符串的时候将计算的结果放到前面，连接上之前计算的结果(defun number-to-binary (num) (if (= num 0) "0" (let ((binary "")) (while (> num 0) (setq binary (concat (number-to-string (mod num 2)) binary)) (setq num (/ num 2))) binary))) (number-to-binary 256) ;; ⇒ 100000000emacs-lisp 简明教程 中还介绍了其他类型的数据结构与字符串互相转化的函数，这里就不介绍了，等后面学到了再说。另外字符串还有一些大小写转换的函数。使用 downcase 将字符串中的字母都转换为小写字母，使用 upcase 转换为大写字母。例如(downcase "Hello World") ;; ⇒ "hello world" (upcase "Hello World") ;; ⇒ "HELLO WORLD" (downcase "你好,世界") ;; ⇒ "你好,世界" (upcase "αβγ") ;; ⇒ ""ΑΒΓ""这种字母文字它可以进行大小写转换，但是对于中文这种没有大小写字母的就不存在转化了。使用 upcase-initials 来将字符串中每个单词的第一个字符大写，其余的字符它会忽略它。(upcase-initials "hellO woRld") ;; ⇒ "HellO WoRd"函数 captialize 会将字符串每个单词首字母大写，其余的转化成小写(capitalize "hellO wORLD") ;; ⇒ "Hello World"查找与替换字符串最重要的操作还是查找和替换。elisp 中查找主要使用 string-match 。它使用正则表达式来进行查找。elisp中没有C/C++中find 那样查询子串的缩进的函数。查询子串其实也可以利用正则表达式来处理(string-match "Emacs Lisp" "This is Emacs Lisp Program") ;; ⇒ 8该函数的第一个参数是一个正则表达式，上面代码中我们直接使用字符串进行匹配，就是在精准的匹配子串。它返回子串开始的索引。它还可以接收一个数字，表示从字符串的第几个字符开始往后进行查找，这个参数的作用有点像 String.Find(int index) 这个重载函数中 index 的含义。(string-match "Emacs Lisp" "This is Emacs Lisp Program" 10) ;; ⇒ nil但是如果查找的子串中有特殊符号的话，就不能这么使用(string-match "2*" "232*3=696") ;; ⇒ 0这里因为 * 被当成正则表达式的模糊匹配符号，它表示任意一个字符。如果想要它单纯的作为普通符号，可以使用regexp-quote 来处理一下，它的作用是将字符串中的所有特殊字符转义，使其可以安全地作为正则表达式使用。这样可以确保字符串的内容被视为字面量，而不是正则表达式中的元字符。(string-match (regexp-quote "2*") "232*3=696") ; => 2不知道各位读者使用过 C/C++ 中的正则表达式没有，正则表达式匹配之后会产生一个结果对象，它包含了所有匹配上的位置。我们可以通过循环或者其他方式来得到这个位置，并且得到具体匹配上的结果。在elisp中，结果被保存在 match-data 中。它允许你获取最近一次正则表达式匹配的位置信息，包括匹配的起始和结束位置。我个人的感觉它有点像Win32 API中的GetLastError 一样，每次调用其他API结果都会被覆盖，每次调用只能得到上一次的错误码。(progn (string-match "3\\(4\\)" "01234567890123456789") (match-data)) ;; ⇒ (3 5 4 5)我们使用 3(4) 这样的正则表达式来进行匹配。这里括号表示一个捕获组，它匹配34或者单独匹配4。match-data中每对数组表示一个匹配组的起始和结束位置，它是一个前闭后开区间。也就是包括前面的，不包括后面的。上面的代码先匹配 34，发现它在第3个字符处出现，所以它返回第一组数据 (3 5)，然后匹配4，它出现在第4个字符，所以产生第二组数据 (4 5)。按照这个思路，如果将正则表达式修改一下改为 3\\(4\\)\\(5\\) 将会产生3组数据，第一组匹配 345 ，第二组匹配 4 ，第三组匹配 5。最后的结果就是 (3 6 4 5 5 6)在上面说到 match-data 中每对数组表示一个匹配组的起始和结束位置。我们可以使用 match-beginning 和 match-end 来获取这两个数据，它需要一个整数作为参数，用来表示取第几组的数据，例如下面的代码(progn (string-match "3\\(4\\)" "01234567890123456789") (message "%d" (match-beginning 0)) ;; => 3 (message "%d" (match-end 0)) ;; ⇒ 5 (message "%d" (match-beginning 1)) ;; ⇒ 4 (message "%d" (match-end 1))) ;; ⇒ 5如果我们给出的参数超过了匹配组的大小，那么它们将会返回 nil ，例如如果上述匹配我们使用 (match-beginning 2) 来取第三组的结果的话，将会得到nil每一个匹配组都是一个半开半闭区间，因为 match-end 是匹配到的字符位置的下一个位置，所以使用它很容易进行循环。上述的代码在匹配的时候，只要是匹配到就停止了，我们可以写一个循环用来继续匹配后面的字符串(let ((start 0)) (while (string-match "34" "01234567890123456789" start) (message "find at %d\n" (match-beginning 0)) (setq start (match-end 0))))掌握了查找的相关操作之后，我们继续来学习有关替换的操作。我们可以使用 replace-match 来将匹配到的字符串替换成指定的字符串，它的函数原型如下(replace-match NEWTEXT &optional FIXEDCASE LITERAL STRING SUBEXP)我们主要需要关注的是 NEWTEXT 它代表的是我们希望用哪个字符串来替换匹配上的字符串，STRING 表示希望进行匹配的字符串,例如(let ((str "hello world 123")) (string-match "\\([0-9]\\)" str) (replace-match "#" nil nil str)) ;; ⇒ "hello world #23"我们也可以使用循环来将所有数字都替换成 #(let ((str "hello world 123") (start 0)) (while (string-match "\\([0-9]\\)" str start) (setq str (replace-match "#" nil nil str)) (setq start (match-end 0))) str) ;; ⇒ "hello world ###"需要注意的是，这里每次执行 replace-match 后都返回一个新的字符串，原来老的字符串保持不变，所以我们这里每次替换之后都手动的使用 setq 来对老的字符串进行赋值，然后再重新匹配。这样才能保证最后的结果是我们想要的结果。我们可以使用下面的代码来验证这一点(let* ((str "hello world 123") (start 0) (final-str str)) (while (string-match "\\([0-9]\\)" str start) (setq final-str (replace-match "#" nil nil str)) (setq start (match-end 0))) final-str) ;; ⇒ "hello world 12#"这里只替换了最后一个数字，这是因为执行 replace-match 之后的str 变量并没有被改变，每次都是之前的再进行匹配，唯一变化的只有 start 的值。最后一次我们仍然在使用原始的 str 字符串在进行匹配，它匹配到 3。所以最后一次替换只将3替换成了 #。我们也可以使用捕获组进行替换，例如我们想将 "hello world 123" 替换成 "123 hello world"，那么可以使用如下代码(let ((str "hello world 123")) (string-match "\\(hello world\\) \\([0-9]+\\)" str) (replace-match "\\2 \\1" nil nil str)) ;; ⇒ "123 hello world"这里使用 \\2 \\1 来表示替换的新字符串，它表示的含义是匹配组里面的第二组结果+空格+第一组结果。它们组成了一个新串用来替换原来的字符串。replace-match 的最后一个参数表示替换哪一个捕获组，默认是0，例如上述的代码中，第0个捕获组就是整个字符串，所以它替换了整个字符串，我们可以将上述代码做一下修改(let ((str "hello world 123")) (string-match "\\(hello world\\) \\([0-9]+\\)" str) (replace-match "\\2 \\1" nil nil str 1)) ;; ⇒ "123 hello world 123"它将第一匹配组也就是 hello world 使用新字符串 123 hello world 来替换，然后加上原来剩下的字符串，最终也就得到结果 123 hello world 123到这里，已经将字符串替换的常见操作都做了一些说明。本节的内容也就到此结束了。后面将继续按照 教程来学习。敬请期待！当然了，如果各位读者觉得我的这一系列教程有抄袭的嫌疑，或者质量不如原版，又或者更新缓慢，请按照对应的链接来学习相关内容。