What & How & Why

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

两侧同时换到之前的修订记录前一修订版
后一修订版
前一修订版
cs:programming:cpp:courses:cpp_basic_deep:chpt_2 [2024/04/16 13:52] – [decltype] codingharecs:programming:cpp:courses:cpp_basic_deep:chpt_2 [2024/04/16 15:09] (当前版本) – [对象生命周期] codinghare
行 399: 行 399:
 </code> </code>
 ==decltype== ==decltype==
-  * ''decltype(exp(r-value))'' 需要一个表达式,并返回表达式的类型。decltype 与 auto 的区别在于,decltype **不会产生类型退化**。+decltype 获取一个表达式,并返回表达式的类型。decltype 与 auto 的区别在于,decltype **不会产生类型退化**。 
 +  
 +   * decltype(val):''val'' 代表 entity(**变量名称**),那么 ''val'' 是什么类型,那么返回的就是什么类型
 <code cpp> <code cpp>
 +//x is an variable name
 int x = 3; int x = 3;
-int& y1 = x; 
 //int //int
-auto y2 = y1;+decltype(x); 
 +//注意加括号的形式,(x) 是表达式, x 是变量名
 //int& //int&
-decltype(y1y3 = y1;+decltype((x));
 </code> </code>
- * decltype(val)''val''表 entity(**变量名称**)那么 ''val'' 是什么类型,那么返回的什么类型+  ''decltype(exp(r-value))'' :如果达式是非变量名称的表达式且为右值,那么返回的是表达式评估后的类型
 <code cpp> <code cpp>
-//x is an variable name 
 int x = 3; int x = 3;
 +int& y1 = x;
 //int //int
-decltype(x); +auto y2 = y1;
-//注意加括号的形式,(x) 是表达式, x 是变量名+
 //int& //int&
-decltype((x));+decltype(y1y3 = y1;
 </code> </code>
   * ''decltype(exp(l-vaule))'':如果表达式为非变量名称的左值(通常带运算符),返回的类型会自动加上一个**引用**   * ''decltype(exp(l-vaule))'':如果表达式为非变量名称的左值(通常带运算符),返回的类型会自动加上一个**引用**
行 425: 行 427:
 decltype(*ptr); decltype(*ptr);
 </code> </code>
-  +  * decltype(auto) [C++14]:用于简化 decltype 的使用 
-  * decltype(auto) [C++14]+<code cpp> 
 +//非常繁琐的写法 
 +decltype(3.5+15l) x  = 3.5 + 15l; 
 +//C++ 14 的写法 
 +// 用 auto 来代表繁琐的表达式,并不会导致退化 
 +// 编译器会将 auto 替换为赋值运算符右边的内容 
 +decltype(autol) x  = 3.5 + 15l; 
 +</code> 
 +  * concept auto [C++20]:任何 concept 都会包含一系列类型,这些类型的共同特征都可以用 concept 表示。比如 ''int'', ''long'' 都可以表示为 ''std::intergal'' 
 +    * concept auto 让自动推导受 concept 的范围限制,比如让 auto 只能推断出整数类型的类型: 
 +<code cpp> 
 +#include <concepts> 
 +int main() 
 +
 +    //int 
 +    std::integral auto z = 3; 
 +    //error, 3.5 is not an integral 
 +    std::integral auto z = 3.5; 
 +
 +</code> 
 +====域和对象生命周期==== 
 +===域 Scope=== 
 +域代表了程序的一部分,域中的 name 有**唯一的含义**: 
 +  * 全局域:程序最外部的域,全局对象 
 +  * 块域:大括号限定的域,局部对象 
 +  * 其他类型的域:Namespace, class 等等 
 +域可以进行嵌套,内部域中的 Name 会掩盖外部域中的 Name: 
 +<code cpp> 
 +int x = 3; 
 +int main() 
 +
 +   int x = 4; 
 +   //call local x 
 +   std::cout << x << '\n'; 
 +
 +</code> 
 +===对象生命周期=== 
 +生命周期指对象从被**初始化到被销毁**的区间。 
 +  * 全局对象:生命周期为程序的运行期 
 +  * 局部对象:起始于**初始化**,结束于域的执行完成