《探索现代化C++》泛读笔记摘要6

Chapter 3 通用编程

命名空间和函数查找

在头文件中建议不要引入名字或在函数外引入命名空间。

命名空间也可以有别名

1 2	`namespace lname` `=` `long_namespace_name;` `namespace dvector` `=` `algebra::vector::dense;`

C++17 支持打开嵌套的命名空间

namespace algebra::vector::dense{
    class vector3 {/* */};
}

ADL 依赖于参数的查询。

类模板

对于像指针一样的对象，C++提供了像指针一样的接口，从而巧妙地构思出来了迭代器。

类型推导和定义

C++11 自动变量类型 auto

1	`auto a` `=` `f(g(x,y,z)+3*x);`

C++11 表达式的类型 decltype

1	`decltype(f(g(x,y,z)+3x)) a` `=` `f(g(x,y,z)+3x);`

C++11 decltype(auto)

1 2	`decltype(expr) v` `=` `expr;` `//` `当表达式很长时，写这种语句就显得比较冗余` `decltype(auto) v` `=` `expr;` `//` `这种形式简化了书写`

例子

int main()
{
    using Vec = vector<double>;
    Vec v = {2.3,8.1,9.2};
 
    value_range_vector<Vec> w{v,1.0,10.0};
    decltype(auto) val = w[1];
}

C++17 推导类模板参数

1 2	`tuple<int,float,string> t1(3,3.2f,"text"s);` `//` `C++17` `以前的写法` `tuple` `t2(3,3.2f,"text"s);` `//` `c++17` `自动完成了类模板的推导`

有些时候我们可以提供默认类型

1 2	`template<typename Value` `=` `double>` `struct vec;`

或者提供推导指南帮助编译器

1	`vec(unsigned s)` `-> vec<double>;`

C++17 推导多种类型, 使得函数能返回多个值。

当函数返回值是多个结果，比如说pair,tuple,或者用户定义的类时，就会出现这种情况。

auto lu(const matrix& A)
{
    // ... some computations
    return tuple<matrix,vector>(LU,p);
}
 
auto [Lu, p] = lu(A);

第二个例子 map

map<string,int> numbers = {{"Zeros",0},{"One",1},{"Two",2}};
for( const auto&[key,value] : numbers)
    cout<<key<<"->"<<value<<endl;
 
for(auto& [key,values]:numbers)
    cout<<key<<"->"<<value<<endl;

第三个例子用户自定义的类

struct lu_result 
{
    matrix LU;
    vector p;
};
 
auto lu(const matrix& A)
{
    // ...
    return lu_result{LU,p};
}
 
matrix A; // set A ...
auto [Lu,p] = lu(A);