deploy: eb787cd

Author: archibate

functions/index.html

@@ -321,9 +321,15 @@ <h2 id="_4">函数的返回值</h2>
 }
 </code></pre>
 <blockquote>
-<p><img src="../img/warning.png" height="30px" width="auto" style="margin: 0; border: none"/> 对于返回类型不为 <code>void</code> 的函数，必须写 <code>return</code> 语句，如果漏写，会出现可怕的未定义行为 (undefined behaviour)。编译器不一定会报错，而是到运行时才出现崩溃等现象。建议 GCC 用户开启 <code>-Werror=return-type</code> 让编译器在编译时就检测此类错误，MSVC 则是开启 <code>/we4716</code>。更多未定义行为可以看我们的<a href="../undef/">未定义行为列表</a>章节。
-<img src="../img/question.png" height="30px" width="auto" style="margin: 0; border: none"/> 但有两个例外：1. main 函数是特殊的可以不写 return 语句，默认会自动帮你 <code>return 0;</code>。2. 具有 co_return 或 co_await 的协程函数可以不写 return 语句。</p>
+<p><img src="../img/warning.png" height="30px" width="auto" style="margin: 0; border: none"/> 对于返回类型不为 <code>void</code> 的函数，必须写 <code>return</code> 语句，如果漏写，会出现可怕的未定义行为 (undefined behaviour)。编译器不一定会报错，而是到运行时才出现崩溃等现象。建议 GCC 用户开启 <code>-Werror=return-type</code> 让编译器在编译时就检测此类错误，MSVC 则是开启 <code>/we4716</code>。更多未定义行为可以看我们的<a href="../undef/">未定义行为列表</a>章节。</p>
+<p><img src="../img/question.png" height="30px" width="auto" style="margin: 0; border: none"/> 但有两个例外：1. main 函数是特殊的可以不写 return 语句，默认会自动帮你 <code>return 0;</code>。2. 具有 co_return 或 co_await 的协程函数可以不写 return 语句。</p>
 </blockquote>
+<p><code>void</code>只是说明该函数没有返回值，返回还是能返回的。相当于你出门跑了一趟，但是没有带任何东西回家，并不代表你无法回家死外面了。也有一种真无法返回的函数，一旦调用了，就“无期徒刑”直到死亡都无法离开：</p>
+<pre><code class="language-cpp">[[noreturn]] void func() {
+    std::terminate();
+}
+</code></pre>
+<p><code>std::terminate()</code>的效果是终止当前进程。而我们的函数<code>func</code>所有可能的分支都会走向<code>std::terminate()</code>，一旦调用了<code>std::terminate()</code>，程序就退出了，不可能再执行下面的语句，这种函数叫做“无返回函数”。C语言可以用<code>noreturn</code>关键字修饰，而现代C++可以用<code>[[noreturn]]</code>修饰，提醒编译器这是一个不可能正常返回的函数，从而帮助它优化和诊断你的程序。例如：<code>std::exit</code>，<code>throw</code>、<code>std::terminate</code>、<code>std::abort</code>、<code>while (1)</code>都会让函数变成无返回函数（除非有其他能正常返回的分支）。</p>
 <h3 id="_5">接住返回值</h3>
 <h2 id="_6">函数的参数</h2>
 <h3 id="vs">形参 vs 实参</h3>

index.html

@@ -292,7 +292,7 @@ <h2 id="_1">前言</h2>
 <blockquote>
 <p><img src="./img/bulb.png" height="30px" width="auto" style="margin: 0; border: none"/> 本书还在持续更新中……要追番的话，可以在 <a href="https://github.com/parallel101/cppguidebook">GitHub</a> 点一下右上角的 “Watch” 按钮，每当小彭老师提交新 commit，GitHub 会向你发送一封电子邮件，提醒你小彭老师更新了。</p>
 </blockquote>
-<p>更新时间：2024年11月14日 18:11:41 (UTC+08:00)</p>
+<p>更新时间：2024年11月26日 12:26:35 (UTC+08:00)</p>
 <p><a href="https://parallel101.github.io/cppguidebook">在 GitHub Pages 浏览本书</a> | <a href="https://142857.red/book">在小彭老师自己维护的镜像上浏览本书</a></p>
 <h2 id="_2">格式约定</h2>
 <blockquote>

print_page/index.html

@@ -421,7 +421,7 @@ <h2 id="index-_1">前言</h2>
 <blockquote>
 <p><img src="../img/bulb.png" height="30px" width="auto" style="margin: 0; border: none"/> 本书还在持续更新中……要追番的话，可以在 <a href="https://github.com/parallel101/cppguidebook">GitHub</a> 点一下右上角的 “Watch” 按钮，每当小彭老师提交新 commit，GitHub 会向你发送一封电子邮件，提醒你小彭老师更新了。</p>
 </blockquote>
-<p>更新时间：2024年11月14日 18:11:41 (UTC+08:00)</p>
+<p>更新时间：2024年11月26日 12:26:35 (UTC+08:00)</p>
 <p><a href="https://parallel101.github.io/cppguidebook">在 GitHub Pages 浏览本书</a> | <a href="https://142857.red/book">在小彭老师自己维护的镜像上浏览本书</a></p>
 <h2 id="index-_2">格式约定</h2>
 <blockquote>
@@ -917,9 +917,15 @@ <h2 id="functions-_4">函数的返回值</h2>
 }
 </code></pre>
 <blockquote>
-<p><img src="../img/warning.png" height="30px" width="auto" style="margin: 0; border: none"/> 对于返回类型不为 <code>void</code> 的函数，必须写 <code>return</code> 语句，如果漏写，会出现可怕的未定义行为 (undefined behaviour)。编译器不一定会报错，而是到运行时才出现崩溃等现象。建议 GCC 用户开启 <code>-Werror=return-type</code> 让编译器在编译时就检测此类错误，MSVC 则是开启 <code>/we4716</code>。更多未定义行为可以看我们的<a href="#undef">未定义行为列表</a>章节。
-<img src="../img/question.png" height="30px" width="auto" style="margin: 0; border: none"/> 但有两个例外：1. main 函数是特殊的可以不写 return 语句，默认会自动帮你 <code>return 0;</code>。2. 具有 co_return 或 co_await 的协程函数可以不写 return 语句。</p>
+<p><img src="../img/warning.png" height="30px" width="auto" style="margin: 0; border: none"/> 对于返回类型不为 <code>void</code> 的函数，必须写 <code>return</code> 语句，如果漏写，会出现可怕的未定义行为 (undefined behaviour)。编译器不一定会报错，而是到运行时才出现崩溃等现象。建议 GCC 用户开启 <code>-Werror=return-type</code> 让编译器在编译时就检测此类错误，MSVC 则是开启 <code>/we4716</code>。更多未定义行为可以看我们的<a href="#undef">未定义行为列表</a>章节。</p>
+<p><img src="../img/question.png" height="30px" width="auto" style="margin: 0; border: none"/> 但有两个例外：1. main 函数是特殊的可以不写 return 语句，默认会自动帮你 <code>return 0;</code>。2. 具有 co_return 或 co_await 的协程函数可以不写 return 语句。</p>
 </blockquote>
+<p><code>void</code>只是说明该函数没有返回值，返回还是能返回的。相当于你出门跑了一趟，但是没有带任何东西回家，并不代表你无法回家死外面了。也有一种真无法返回的函数，一旦调用了，就“无期徒刑”直到死亡都无法离开：</p>
+<pre><code class="language-cpp">[[noreturn]] void func() {
+    std::terminate();
+}
+</code></pre>
+<p><code>std::terminate()</code>的效果是终止当前进程。而我们的函数<code>func</code>所有可能的分支都会走向<code>std::terminate()</code>，一旦调用了<code>std::terminate()</code>，程序就退出了，不可能再执行下面的语句，这种函数叫做“无返回函数”。C语言可以用<code>noreturn</code>关键字修饰，而现代C++可以用<code>[[noreturn]]</code>修饰，提醒编译器这是一个不可能正常返回的函数，从而帮助它优化和诊断你的程序。例如：<code>std::exit</code>，<code>throw</code>、<code>std::terminate</code>、<code>std::abort</code>、<code>while (1)</code>都会让函数变成无返回函数（除非有其他能正常返回的分支）。</p>
 <h3 id="functions-_5">接住返回值</h3>
 <h2 id="functions-_6">函数的参数</h2>
 <h3 id="functions-vs">形参 vs 实参</h3>