From 504b49e244790e6bdccc6fdb9b37e73b104bfc62 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Fri, 13 Jun 2025 20:03:23 +0800
Subject: [PATCH] =?UTF-8?q?=E4=BF=AE=E5=A4=8D=E5=85=B3=E4=BA=8E=20`decltyp?=
 =?UTF-8?q?e(auto)`=20=E7=9A=84=E7=9B=B8=E5=85=B3=E6=8F=8F=E8=BF=B0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 docs/auto.md | 28 +++++++++++++++++++++++-----
 1 file changed, 23 insertions(+), 5 deletions(-)

diff --git a/docs/auto.md b/docs/auto.md
index a63fd9b..a1bb952 100644
--- a/docs/auto.md
+++ b/docs/auto.md
@@ -378,7 +378,7 @@ auto const &getConstRef() { // std::string const &
 
 ### 真正的万能 `decltype(auto)`
 
-返回类型声明为 `decltype(auto)` 的效果等价于把返回类型替换为 `decltype((返回表达式))`：
+返回类型声明为 `decltype(auto)` 的效果等价于把返回类型替换为 `decltype(返回操作数)`：
 
 ```cpp
 int i;
@@ -387,22 +387,40 @@ decltype(auto) func() {
     return i;
 }
 // 等价于：
-decltype((i)) func() {
+decltype(i) func() {
     return i;
 }
 // 等价于：
-int &func() {
+int func() {
     return i;
 }
 ```
 
-> {{ icon.warn }} 注意 `decltype(i)` 是 `int` 而 `decltype((i))` 是 `int &`。这是因为 `decltype` 实际上有两个版本！当 `decltype` 中的内容只是单独的一个标识符（变量名）时，会得到变量定义时的类型；而当 `decltype` 中的内容不是单纯的变量名，而是一个复杂的表达式时，就会进入 `decltype` 的第二个版本：表达式版，会求表达式的类型，例如当变量为 `int` 时，表达式 `(i)` 的类型是左值引用，`int &`，而变量本身 `i` 的类型则是 `int`。此处加上 `()` 就是为了让 `decltype` 被迫进入“表达式”的那个版本，`decltype(auto)` 遵循的也是“表达式”这个版本的结果。
+对于变量名，在 `return` 语句中加括号可以产生不同结果。
 
 ```cpp
 int i;
 
 decltype(auto) func() {
-    return i;
+    return (i);
+}
+// 等价于：
+decltype((i)) func() {
+    return (i);
+}
+// 等价于：
+int& func() {
+    return (i);
+}
+```
+
+> {{ icon.warn }} 注意 `decltype(i)` 是 `int` 而 `decltype((i))` 是 `int &`。这是因为 `decltype` 实际上有两个版本！当 `decltype` 中的内容只是单独的一个标识符（变量名）时，会得到变量定义时的类型；而当 `decltype` 中的内容不是单纯的变量名，而是一个复杂的表达式时，就会进入 `decltype` 的第二个版本：表达式版，会求表达式的类型，例如当变量为 `int` 时，表达式 `(i)` 的类型是左值引用，`int &`，而变量本身 `i` 的类型则是 `int`。此处加上 `()` 使得 `decltype` 进入“表达式”的那个版本，`decltype(auto)` 就会遵循“表达式”这个版本的结果。
+
+```cpp
+int i;
+
+decltype(auto) func() {
+    return i + 1;
 }
 // 等价于：
 decltype((i + 1)) func() {