C++17中那些值得关注的特性

资讯频道 → 编程语言

1顶
0踩

2017-07-31 10:31 by 副主编 jihong10102006 评论(0) 有9112人浏览

c++

声明：ITeye资讯文章的版权属于ITeye网站所有，严禁任何网站转载本文，否则必将追究法律责任！

引用

作者：祁宇，《深入应用C++11》作者，C++开源社区purecpp.org创始人，致力于C++11/14的应用、研究和推广。乐于研究和分享技术，爱好C++，爱好开源。
本文为《程序员》原创文章，未经允许不得转载，更多精彩文章请订阅《程序员》

C++17标准在2017上半年已经讨论确定，正在形成ISO标准文档，今年晚些时候会正式发布。本文将介绍最新标准中值得开发者关注的新特新和基本用法。

总的来说C++17相比C++11的新特性来说新特性不算多，做了一些小幅改进。C++17增加了数十项新特性，值得关注的特性大概有下面这些：

constexpr if
constexpr lambda
fold expression
void_t
structured binding
std::apply, std::invoke
string_view
parallel STL
inline variable

剩下的有一些来自于boost库，比如variant,any、optional和filesystem等特性，string_view其实在boost里也有。还有一些是语法糖，比如if init、deduction guide、guaranteed copy Elision、template、nested namespace、single param static_assert等特性。我接下来会介绍C++17主要的一些特性，介绍它们的基本用法和作用，让读者对C++17的新特性有一个基本的了解。

fold expression

C++11增加了一个新特性可变模版参数（variadic template）,它可以接受任意个模版参数在参数包中，参数包是三个点…，它不能直接展开，需要通过一些特殊的方法才能展开，导致在使用的时候有点难度。现在C++17解决了这个问题，让参数包的展开变得容易了，Fold expression就是方便展开参数包的。

fold expression的语义
fold expression有4种语义：

unary right fold (pack op …)
unary left fold (… op pack)
binary right fold (pack op … op init)
binary left fold (init op … op pack)

其中pack代表变参，比如args，op代表操作符，fold expression支持32种操作符：

引用

+ - * / % ^ & | = < > << >> += -= *= /= %= ^= &= |= <<= >>= == != <= >= && || , .* ->*

unary right fold的含义

fold (E op …) 意味着 E1 op (… op (EN-1 op EN)).

顾名思义，从右边开始fold，看它是left fold还是right fold我们可以根据参数包…所在的位置来判断，当参数包…在操作符右边的时候就是right fold，在左边的时候就是left fold。我们来看一个具体的例子：

template<typename... Args>
auto add_val(Args&&... args) {
    return (args +  ...);
}

auto t = add_val(1,2,3,4); //10

right fold的过程是这样的：(1+(2+(3+4)))，从右边开始fold。

unary left fold的含义

fold (… op E) 意味着 ((E1 op E2) op …) op EN。

对于+这种满足交换律的操作符来说left fold和right fold是一样的，比如上面的例子你也可以写成left fold。

template<typename... Args>
auto add_val(Args&&... args) {
    return (... + args);
}

auto t = add_val(1,2,3,4); //10

对于不满足交换律的操作符来说就要注意了，比如减法。

template<typename... Args>
auto sub_val_right(Args&&... args) {
    return (args - ...);
}


template<typename... Args>
auto sub_val_left(Args&&... args) {
    return (... - args);
}

auto t = sub_val_right(2,3,4); //(2-(3-4)) = 3
auto t1 = sub_val_left(2,3,4); //((2-3)-4) = -5

这次right fold和left fold的结果就不一样。

binary fold的含义

Binary right fold (E op … op I) 意味着 E1 op (… op (EN-1 op (EN op I)))。

Binary left fold (I op … op E) 意味着 (((I op E1) op E2) op …) op E2。

其中E代表变参，比如args，op代表操作符，I代表一个初始变量。

二元fold的语义和一元fold的语义是相同的，看一个二元操作符的例子：

template<typename... Args>
auto sub_one_left(Args&&... args) {
    return (1 - ... - args);
}

template<typename... Args>
auto sub_one_right(Args&&... args) {
    return (args - ... - 1);
}

auto t = sub_one_left（2，3，4);// (((1-2)-3)-4) = -8
auto t1 = sub_one_right（2，3，4);//(2-(3-(4-1))) = 2

相信通过这个例子大家应该对C++17的fold expression有了基本的了解。

comma fold

在C++17之前，我们经常使用逗号表达式和std::initializer_list来将变参一个个传入一个函数。比如像下面这个例子：

template<typename T>
void print_arg(T t)
{
    std::cout << t << std::endl;
}

template<typename... Args>
void print2(Args... args)
{
    //int a[] = { (printarg(args), 0)... };
    std::initializer_list<int>{(print_arg(args), 0)...};
}

这种写法比较繁琐，用fold expression就会变得很简单了。

template<typename... Args>
void print3(Args... args)
{
    (print_arg(args), ...);
}

这是right fold，你也可以写成left fold，对于comma来说两种写法是一样的，参数都是从左至右传入print_arg函数。

template<typename... Args>
void print3(Args... args)
{
    (..., print_arg(args));
}

你也可以通过binary fold这样写：

template<typename ...Args>
void printer(Args&&... args) {
    (std::cout << ... << args) << '\n';
}

也许你会觉得能写成这样：

template<typename ...Args>
void printer(Args&&... args) {
    (std::cout << args << ...) << '\n';
}

但这样写是不合法的，根据binary fold的语法，参数包…必须在操作符中间，因此上面的这种写法不符合语法要求。

借助comma fold我们可以简化代码，假如我们希望实现tuple的for_each算法，像这样：

for_each(std::make_tuple(2.5, 10, 'a'),[](auto e) { std::cout << e<< '\n'; });

这个for_each将会遍历tuple的元素并打印出来。在C++17之前我们如果要实现这个算法的话，需要借助逗号表达式和std::initializer_list来实现，类似于这样：

template <typename... Args, typename Func, std::size_t... Idx>
void for_each(const std::tuple& t, Func&& f, std::index_sequence<Idx...>) {
    (void)std::initializer_list<int> { (f(std::get<Idx>(t)), void(), 0)...};
}

这样写比较繁琐不直观，现在借助fold expression我们可以简化代码了。

template <typename... Args, typename Func, std::size_t... Idx>
void for_each(const std::tuple<Args...>& t, Func&& f, std::index_sequence<Idx...>) {
    (f(std::get<Idx>(t)), ...);
}

借助coma fold我们可以写很简洁的代码了。

constexpr if

constexpr标记一个表达式或一个函数的返回结果是编译期常量，它保证函数会在编译期执行。相比模版来说，实现编译期循环或递归，C++17中的constexpr if会让代码变得更简洁易懂。比如实现一个编译期整数加法：

template<int N>
constexpr int sum()
{
    return N;
}

template <int N, int N2, int... Ns>
constexpr int sum()
{
    return N + sum<N2, Ns...>();
}

C++17之前你可能需要像上面这样写，但是现在你可以写更简洁的代码了。

template <int N, int... Ns>
constexpr auto sum17()
{
    if constexpr (sizeof...(Ns) == 0)
        return N;
    else
        return N + sum17<Ns...>();
}

当然，你也可以用C++17的fold expression：

template<typename ...Args>
constexpr int sum(Args... args) {
    return (0 + ... + args);
}

constexpr还可以用来消除enable_if了，对于讨厌写一长串enable_if的人来说会非常开心。比如我需要根据类型来选择函数的时候：

template<typename T>
std::enable_if_t<std::is_integral<T>::value, std::string> to_str(T t)
{
    return std::to_string(t);
}

template<typename T>
std::enable_if_t<!std::is_integral<T>::value, std::string> to_str(T t)
{
    return t;
}

经常不得不分开几个函数来写，还需要写长长的enable_if，比较繁琐，通过if constexpr可以消除enable_if了。

template<typename T>
auto to_str17(T t)
{
    if constexpr(std::is_integral<T>::value)
        return std::to_string(t);
    else
        return t;
}

constexpr if让C++的模版具备if-else if-else功能了，是不是很酷，C++程序员的好日子来了。

不过需要注意的是下面这种写法是有问题的。

template<typename T>
auto to_str17(T t)
{
    if constexpr(std::is_integral<T>::value)
        return std::to_string(t);

        return t;
}

这个代码把else去掉了，当输入如果是非数字类型时代码可以编译过，以为if constexpr在模版实例化的时候会丢弃不满足条件的部分，因此函数体中的前两行代码将失效，只有最后一句有效。当输入的为数字的时候就会产生编译错误了，因为if constexpr满足条件了，这时候就会有两个return了，就会导致编译错误。

constexpr if还可以用来替换#ifdef宏，看下面的例子

enum class OS { Linux, Mac, Windows };

//Translate the macros to C++ at a single point in the application
#ifdef __linux__
constexpr OS the_os = OS::Linux;
#elif __APPLE__
constexpr OS the_os = OS::Mac;
#elif __WIN32
constexpr OS the_os = OS::Windows;
#endif

void do_something() {
     //do something general

     if constexpr (the_os == OS::Linux) {
         //do something Linuxy
     }
     else if constexpr (the_os == OS::Mac) {
         //do something Appley
     }
     else if constexpr (the_os == OS::Windows) {
         //do something Windowsy
     }

     //do something general
}
//备注：这个例子摘自https://blog.tartanllama.xyz/c++/2016/12/12/if-constexpr/

代码变得更清爽了，再也不需要像以前一样写#ifdef那样难看的代码块了。

constexpr lambda

constexpr lambda其实很简单，它的意思就是可以在constexpr 函数中用lambda表达式了，这在C++17之前是不允许的。这样使用constexpr函数和普通函数没多大区别了，使用起来非常舒服。下面是constexpr lambda的例子：

template <typename I>
constexpr auto func(I i) {
  //use a lambda in constexpr context
  return [i](auto j){ return i + j; }; 
}

constexpr if和constexpr lambda是C++17提供的非常棒的特性，enjoy it.

string_view

string_view的基本用法

C++17中的string_view是一个char数据的视图或者说引用，它并不拥有该数据，是为了避免拷贝，因此使用string_view可以用来做性能优化。你应该用string_view来代替const char和const string了。string_view的方法和string类似，用法很简单：

const char* data = "test";
std::string_view str1(data, 4);
std::cout<<str1.length()<<'\n'; //4
if(data==str1)
    std::cout<<"ok"<<'\n';

const std::string str2 = "test";
std::string_view str3(str2, str2.size());

构造string_view的时候用char*和长度来构造，这个长度可以自由确定，它表示string_view希望引用的字符串的长度。因为它只是引用其他字符串，所以它不会分配内存，不会像string那样容易产生临时变量。我们通过一个测试程序来看看string_view如何来帮我们优化性能的。

using namespace std::literals;

constexpr auto s = "it is a test"sv;
auto str = "it is a test"s;

constexpr int LEN = 1000000;
boost::timer t;
for (int i = 0; i < LEN; ++i) {
    constexpr auto s1 = s.substr(3);
}
std::cout<<t.elapsed()<<'\n';
t.restart();
for (int i = 0; i < LEN; ++i) {
    auto s2 = str.substr(3);
}
std::cout<<t.elapsed()<<'\n';

//output
0.004197
0.231505

我们可以通过字面量””sv来初始化string_view。string_view的substr和string的substr相比，快了50多倍，根本原因是它不会分配内存。

string_view的生命周期

由于string_vew并不拥有锁引用的字符串，所以它也不会去关注被引用字符串的生命周期，用户在使用的时候需要注意，不要将一个临时变量给一个string_view，那样会导致string_view引用的内容也失效。

std::string_view str_v;
{
    std::string temp = "test";
    str_v = {temp};
}

这样的代码是有问题的，因为出了作用域之后，string_view引用的内容已经失效了。

总结

本文介绍了C++17的fold expression、constexpr if、constexpr lambda和string_view。fold expression为了简化可变模板参数的展开，让可以模板参数的使用变得更简单直观；constexpr if让模板具备if-else功能，非常强大。它也避免了写冗长的enable_if代码，让代码变得简洁易懂了；string_view则是用来做性能优化的，应该用它来代替const char*和const string。

这些特性对之前的C++14和C++11做了改进和增强，非常酷，欢迎订阅《程序员》，后续系列文章会接着介绍其他C++17中值得关注的新特性。

订阅程序员（含iOS、Android及印刷版）请访问 http://dingyue.programmer.com.cn

分享到：

1
顶

0
踩

评论共 0 条请登录后发表评论

发表评论

您还没有登录,请您登录后再发表评论

相关推荐

C++17中那些值得关注的特性（上）

作者：祁宇，《深入应用C++11》作者，C++开源社区purecpp.org创始人，致力于C++11/14的应用、研究和推广。乐于研究和分享技术，爱好C++，爱好开源。...本文将介绍最新标准中值得开发者关注的新特新和基本用法...

C++11\14\17\20 特性介绍

C++11 新特性 #01 auto 与 decltype auto: 对于变量，指定要从其初始化器⾃动推导出其类型。⽰例： auto a = 10; // 自动推导 a 为 int auto b = 10.2; // 自动推导 b 为 double auto c = &a; // 自动推导 c...

呕心沥血梳理C++新标准超好用的新特性(实战必备)

但是事实上是很多人对C++的掌握还停留在C++98上,连11的很多新特性都没有用到。C++新标准引入的新特性能提高编程的效率和代码的鲁棒性,学习一下对程序员的编程实战大有裨益,这里我结合一下自己的学习笔记和理解,总结...

C++11 中值得关注的几大变化（详解）

源文章来自前C++标准委员会的 Danny Kalev 的 The Biggest Changes in C++11 (and Why You Should Care)，赖勇浩做了一个中文翻译在这里。所以，我就不翻译了，我在这里仅对文中提到的这些变化“追问为什么要...

C++面向对象（OOP）编程-C++11新特性详解

C++11作为一个重要的版本，引入了很多新的特性，解决了C++语言本身很多遗留的内存泄露问题，并且提供了很多比较灵活的用法。引入的auto，智能指针、线程机制都使得C++语言的灵活性、安全性、并发性有了很大的提升。...

C++11新特性之decltype类型推导

C++新特性之decltype类型推导

现代C++新特性 lambda表达式

文字版PDF文档链接：现代C++新特性(文字版)-C++文档类资源-CSDN下载 1.lambda表达式语法 lambda表达式是现代编程语言的一个基础特性，比如LISP、Python、C#等具备该特性。但是遗憾的是，直到C++11标准之前，C++都...

VS2010-2015对C++11/14/17特性的支持

VS2010-2015对C++11/14/17特性的支持 C++11 功能列表 Visual C++ 实现了C++11 核心语言规范中的绝大多数功能、许多 C++14 库功能和某些为 C++17 建议的功能。下表列出了 C++11/14/17 核心语言功能及其在 Visual...

C++11新特性：类型推导

2011年C++11的标准发布，广大C++开发者开始关注新标准中的C++特性；而这些新特性给这门历史悠久的语言带来了生机和活力，用C++之父 Bjarne Stroustrup 的话：“这次更新已经让C++看起来像一门新的语言了” auto...

C++七大新特性，程序员们纷纷喜极而泣！

来源商业新知网，原标题：不知道C++这七大特性，绝对枉为圈中人作为一种计算机语言，C++经历了许多发展变化。当然，这些改变并不是一蹴而就的。C++曾经缺乏活力与创新，因此很不受欢迎。但是在C++标准委员会...

C++17 fold expression

C++11增加了一个新特性变参模板（variadic template）,它可以接受任意个模版参数，参数包不能直接展开，需要通过一些特殊的方法，比如函数参数包的展开可以使用递归方式或者逗号表达式，在使用的时候有点难度。C++17...

C++11中值得关注的几大变化

声明：本文源自 Danny Kalev 在 2011 年 6 月 21 日发表的《The Biggest Changes in C++11(and Why You Should Care)》一文，几乎所有内容都搬了过来，但不是全文照译，有困惑之处，请参详原文...

C++语言特性

确实有一些操作或者C++的一些语言特性比其他因素更容易成为程序的瓶颈，一般公认的有如下因素。（1）缺页：如第四章中所述，缺页往往意味着需要访问外部存储。因为外部存储访问相对于访问内存或者代码执行，有数量...

基于Matlab/Simulink的变压器饱和与励磁涌流仿真模型构建及应用

内容概要：本文详细介绍了如何利用Matlab/Simulink搭建变压器的饱和和励磁涌流仿真模型。首先阐述了铁芯非线性特性（如磁滞和饱和）对变压器性能的影响，强调了这些特性在仿真中的重要性。接着具体讲解了如何通过设置Saturable Transformer模块的磁化曲线参数来模拟铁芯的饱和行为，并通过Lookup Table实现自定义磁滞回线。对于励磁涌流的仿真，则着重讨论了剩磁设置和合闸瞬间相位角的选择，以及如何通过FFT分析涌流波形中的谐波成分。此外，文中还提供了参数转换模块的实现方法，用于将铭牌参数转化为仿真所需的格式。最后提醒了一些常见的仿真陷阱及其应对措施。适合人群：从事电力系统仿真研究的技术人员，尤其是对变压器建模感兴趣的工程师。使用场景及目标：适用于需要精确模拟变压器动态行为的研究项目，如故障重现、保护装置测试等。目标是帮助用户掌握变压器饱和特性和励磁涌流的仿真技巧，提高仿真的准确性和实用性。其他说明：文中提供的模型和代码主要用于教学和技术交流目的，不应用于商业产品开发。同时建议读者在实践中根据实际情况调整相关参数，确保仿真结果符合预期。

S7-200与MCGS在热加工机械手气动控制系统中的设计与实现

内容概要：本文详细介绍了用于热加工机械手的气动控制系统设计与实现。系统由传感器、气动执行机构、控制器、PLC和工控机等硬件设备构成，结合PID控制算法和人机界面（HMI），实现了机械手的高效、精准控制。文中具体阐述了系统的硬件组成、控制算法、PLC程序设计、人机界面的功能及其代码实现。此外，还讨论了高温环境下的温度补偿、故障诊断、手动调试技巧等实际应用中的注意事项。适合人群：从事工业自动化领域的工程师和技术人员，特别是熟悉PLC编程和气动控制系统的专业人士。使用场景及目标：①帮助工程师理解和掌握S7-200 PLC与MCGS组态软件在气动控制系统中的应用；②提供详细的代码实例和调试技巧，便于实际项目的开发和维护；③提高机械手在高温环境下的稳定性和可靠性。其他说明：文章不仅涵盖了理论知识，还包括大量实用的操作经验和代码片段，有助于读者更好地应用于实际工程中。

直流无刷电机参数解析及其Python模拟：41mm外径、6000rpm、200W功率的应用与优化

内容概要：本文详细介绍了41mm外径、6000rpm转速、200W功率的直流无刷电机的技术参数及其背后的物理原理。文章首先概述了电机的基本参数，如外径、转速、功率、效率、气息长度和槽满率等。接着，通过Python代码展示了如何模拟电机的转速与功率关系、气息长度对磁通量的影响以及槽满率的合理性检查。此外，还探讨了电机的效率与最大输出功率的关系，并提出了针对散热管理和控制策略的具体建议。最后，文章通过一系列简化的Python代码和伪代码，进一步解释了电机的设计细节和技术难点。适合人群：对电机设计和控制有一定兴趣的工程师、研究人员及学生。使用场景及目标：适用于希望深入了解直流无刷电机工作原理和优化方法的人群，帮助他们掌握电机参数的实际意义及其在不同应用场景中的表现。其他说明：文中提供的Python代码和伪代码仅为概念性演示，实际应用中需要考虑更多复杂因素。同时，文章强调了电机设计中的关键技术和注意事项，如散热管理、气隙长度的选择、槽满率的控制等。

永磁同步电机(PMSM)模糊PI控制：MATLAB/Simulink实现与性能提升

内容概要：本文详细介绍了永磁同步电机(PMSM)采用模糊PI控制的方法，通过MATLAB/Simulink进行建模和仿真。首先解释了传统PI控制的局限性，特别是在负载突变情况下的表现不佳。接着展示了如何利用模糊逻辑动态调整PI参数，提高系统的鲁棒性和响应速度。文中提供了具体的MATLAB代码示例，包括模糊控制器的设计、隶属度函数的设定以及模糊规则库的建立。并通过突加负载测试验证了模糊PI控制相较于传统PI控制的优势，如更快的恢复时间和更低的转速波动。此外，还分享了一些实用的调参技巧和注意事项，例如模糊集划分、输出增益系数的选择等。适合人群：从事电机控制研究的技术人员、自动化领域的工程师、高校相关专业师生。使用场景及目标：适用于需要改进现有PI控制系统性能的应用场合，特别是那些存在较大负载变动或非线性因素影响的环境。主要目的是通过引入模糊控制理论来增强系统的自适应能力和稳定性。其他说明：随文提供的完整工程文件可以帮助读者快速上手实践，同时附带的参考资料有助于深入理解背后的原理和技术细节。

基于西门子S7-200PLC与MCGS的自动洗衣机控制系统仿真设计

内容概要：本文详细介绍了利用西门子S7-200PLC和MCGS组态软件构建自动洗衣机仿真的全过程。首先阐述了PLC程序的设计思路，包括水位检测、电机正反转控制、排水阀管理等关键环节，并通过梯形图展示了具体实现方法。针对可能出现的问题，如传感器抖动、通信配置错误等进行了优化处理。随后讲解了MCGS组态王的人机交互界面制作，涵盖动态水位显示、故障模拟等功能模块。最后探讨了两者之间的数据交互方式，采用PPI协议确保稳定通信。适用人群：适用于具有一定PLC编程基础和技术背景的自动化工程师、高校相关专业师生以及从事工业自动化领域的技术人员。使用场景及目标：①帮助读者掌握S7-200PLC的基本编程技能；②熟悉MCGS组态软件的操作流程；③理解PLC与HMI（人机界面）协同工作的原理；④为实际工程项目提供参考案例。其他说明：文中还分享了一些实践经验，如如何避免定时器冲突、正确设置通信参数等，有助于提高项目成功率。此外，作者提到可以通过扩展MODBUS接口将数据传输至上位机进行进一步的数据分析，增加了系统的实用性。

【机器学习领域】机器学习全流程解析：从数据准备到模型部署与监控的技术指南

内容概要：本文详细介绍了机器学习的基础知识、流程及应用。首先概述了机器学习的定义、分类（监督学习、无监督学习、强化学习）及其在金融、医疗、自动驾驶等领域的应用实例。接着阐述了数据准备和预处理阶段的关键步骤，包括数据采集、清洗和转换。然后探讨了如何选择合适的机器学习模型，如决策树、支持向量机、神经网络等，并强调了根据问题类型、数据特性、模型复杂度和计算资源等因素选择模型的重要性。此外，文章还讲解了模型训练和评估的方法，包括训练集和测试集的划分、参数调整和优化策略、常用评估指标等。最后讨论了模型优化和调参的技术，如超参数调整、模型融合、特征选择，以及模型部署到生产环境的方法和监控模型表现的策略。适合人群：对机器学习感兴趣的学习者、初学者以及有一定经验的数据科学家和技术人员。使用场景及目标：①帮助读者理解机器学习的基本概念、流程和应用场景；②指导读者完成从数据准备到模型部署的整个机器学习项目；③提高读者在实践中选择、训练、评估和优化机器学习模型的能力。阅读建议：本文内容全面覆盖了机器学习的各个关键环节，适合系统性学习。读者应结合实际案例进行练习，特别是在数据处理、模型选择和调参方面，多动手实践以加深理解和掌握技能。

1顶0踩