c新特性总结二 第1篇

过去当我们编写一个获取目标值的函数时，如果这个函数在某些情况下不能返回目标值，那么我们就必须通过两个参数去获得目标值：一个参数来表明是否存在目标值，另一个参数返回目标值；或者是在函数无返回值时抛出异常。下面以FindUserName函数来展示C++17之前的几种实现途径。

引入C++17的std::optional，我们可以更优雅更安全的编写FindUserName函数。

c新特性总结二 第2篇

当遇到需要使用只读字符串，尤其是传入只读字符串作为函数参数时，优先使用std::string_view。在以下两个场景使用string_view比使用 const string&更好。

C风格字符串是指： const char* str = _C风格字符串_

char* str = _C风格字符串_

char[] str_array = _C风格字符串_

以一个字符串打印函数StringDisplay为例，下面的代码是常规的编写方法。

如果我们在函数中使用const std::string&类型的输入参数，当我们传入C风格字符串时，那么首先要生成一个string对象，此时带来了额外的拷贝操作。如果我们要避免这样的情况发生，那么我们就必须把入参设置为const char*类型，但是这是C风格字符串类型，调用此类函数是很麻烦的，如下所示：

但如果我们使用std::string_view，那么这些问题都可以解决，如下面的代码所示：

对字符串进行处理是一个很常见的业务场景，如果我们需要从字符串中提取某些字段，使用std::string_view是一个非常好的选择。

以一个字符串分割函数StringSplit为例，下面代码是常规编写方法：

在上述代码中，每分割完一次字符串，都需要把已经分割完的部分去掉，但是我们不能改变原字符串，因此只能拷贝一个新的字符串传入下一次递归中。但是如果使用字符串视图：std::string_view，那么可以改变字符串视图然后传入下一次递归中，因为改变字符串视图是不会改变原字符串的，从而避免一次了字符串拷贝，代码示例如下:

std::string_view 并不是完美的，大部分时候，我们都可以使用std::string_view 替代const std::string&，我们可以把std::string_view理解成，一种同时拥有C语言的const char*的指针拷贝成本和 C++语言中std::string类大部分api的类型。但与std::string相比，std::string_view不提供c_str()函数，因为std::string_view具有以下缺点：

c新特性总结二 第3篇

用于编写需要进行编译期判断的函数，简化模版函数的书写。

编写模版函数时，有时需要对某些类型进行特殊处理，此时就需要写模板偏特化函数。比如下列代码展示的Convert函数的例子：

在C++17里面，可以直接简化成一个函数：

在C++17之前，如果要编写一个变参模板函数，那么必须额外写一个函数处理入参数量最少时候的特例，下面以Sum函数为例：

在C++17中，可以这样编写：

编写模板函数时，经常要使用enable_if语句来进行静态类型检查，保证模板输入的类型满足某种要求，例如在下列的判断一个数是奇数还是偶数的IsOdd函数中，该函数通过enable_if语句限定了输入类型只能是整数。

使用C++17可以使用更易懂的方法实现编译期类型检查：

if constexpr语句中，不能将else分支移到判断语句外面，例如下列的判断是不是整数的Convert函数的编写方法就是错误的。

c新特性总结二 第4篇

在C++17之前，模版类的构造函数在调用时必须指明类型，不能进行隐式类型推导；但是调用普通模版函数时是可以不显式指明类型的，这是因为普通模板函数可以进行隐式类型推导，下面代码以pair、tuple和vector为例展示了这一现象：

在C++17之后，模板类的构造函数也可以进行隐式类型推导：

个人观点：构造函数中进行隐式类型推导，这会让人担忧可能存在难以发现的类型推导错误。下面的例子里，程序员原意是新建一个std::pair类型，但是编译器自动推导出的是std::pair类型。