What & How & Why

差别

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

到此差别页面的链接

两侧同时换到之前的修订记录前一修订版
后一修订版
前一修订版
cs:programming:cpp:courses:cpp_basic_deep:chpt_2 [2024/04/16 13:05] – [类型别名与指针和引用] codingharecs:programming:cpp:courses:cpp_basic_deep:chpt_2 [2024/04/16 15:09] (当前版本) – [对象生命周期] codinghare
行 399: 行 399:
 </code> </code>
 ==decltype== ==decltype==
-decltype 需要一个表达式,并返回表达式的类型。decltype 与 auto 的区别在于,decltype **不会产生类型退化**。+decltype 获取一个表达式,并返回表达式的类型。decltype 与 auto 的区别在于,decltype **不会产生类型退化**。 
 +  
 +   * decltype(val):''val'' 代表 entity(**变量名称**),那么 ''val'' 是什么类型,那么返回的就是什么类型 
 +<code cpp> 
 +//x is an variable name 
 +int x = 3; 
 +//int 
 +decltype(x); 
 +//注意加括号的形式,(x) 是表达式, x 是变量名 
 +//int& 
 +decltype((x)); 
 +</code> 
 +  * ''decltype(exp(r-value))'' :如果表达式是非变量名称的表达式,且为右值,那么返回的是表达式评估后的类型:
 <code cpp> <code cpp>
 int x = 3; int x = 3;
行 408: 行 420:
 decltype(y1) y3 = y1; decltype(y1) y3 = y1;
 </code> </code>
 +  * ''decltype(exp(l-vaule))'':如果表达式为非变量名称的左值(通常带运算符),返回的类型会自动加上一个**引用**
 +<code cpp>
 +int x = 3;
 +int* ptr = &x;
 +//*ptr 是包含了解引用操作符的表达式:此处是 l-value,此处得到的是 int& 
 +decltype(*ptr);
 +</code>
 +  * decltype(auto) [C++14]:用于简化 decltype 的使用
 +<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>
 +===对象生命周期===
 +生命周期指对象从被**初始化到被销毁**的区间。
 +  * 全局对象:生命周期为程序的运行期
 +  * 局部对象:起始于**初始化**,结束于域的执行完成
 +