【新技术分享】C++17 最新进展

C++标准委员会最近在夏威夷的科纳召开了一次会议,大家可能关心最新的进展,但是按照以往的情况,某些文件需要很久才会公开。会议进行的时候,大家都在忙着修订自己的文件,会议之后,大会会收集改好的文件,在几周之后发布。但是这一次,委员会修改了他们的系统,所以得到早些版本的文件非常简单,这些邮件就是公开的。

我从官方收集与组织了这些信息,没有任何我个人的主观评论。如果你想知道这次会议的主要内容,请阅读下面的内容(我已经知道了绝大多数关于C++17库的内容,但是要将其全部写出来还是需要一定的时间)

C++17核心库文件

  • P0001R1 弃用register关键字
  • P0002R1 bool类型不再支持++运算符
  • P0012R1 异常成为类型系统的一部分,第五版
  • P0061R1 支持__has_include
  • P0134R0 引入非静态成员变量的拷贝构造函数//not sure
  • P0136R1 重写继承构造器(core issue 1941 et al)
  • P0160R0 删除一元运算符的预设值//Wording for removing defaults for unary folds

C++17库相关文件

  • P0004R1 弃用过时的iostreams的别名
  • P0006R0 采用基于标准库规范的类型特征变量模板
  • P0092R1 优化
  • P0007R1 Constant View:一个::as_const 的辅助函数模板
  • P0156R0 可变的lock_guard (Rev. 3)
  • P0074R0 使std::owner_less更加灵活
  • P0013R1 逻辑运算符类型特征 (revision 1)

库基本规范 第二版文件

  • N4531 替换std::rand,版本三
  • P0013R1 逻辑运算符类型特征 (revision 1)[C++17投票通过]
  • 这些文件将会应用于N4529草案,然后进行拟议草案技术规范的投票。

并发规范

  • P0159R0 将会作为并发技术规范发布,届时可能稍作改动。

并行规范 v2

  • N4505草案和P0155R0的”Task Block R5”负责这项工作。

网络规范

  • P0112R1草案负责这想工作。

范围规范

  • P0021R0草案负责这项工作。

核心主题

  • 1274.常见的非终结符表达式和内嵌初始化列表
  • 1391.非推导模板参数到参数类型的转化
  • 1722.lambda函数指针转换函数应该不例外吗?
  • 1847.部分排序时声明一致性
  • 1863.抛出对象的类型应该支持std::current_exception()
  • 1949.”sequenced after”代替”sequenced before”
  • 1975.允许声明异常类型
  • 1981.隐式和显式的上下文转换
  • 1990.decl-specifier-seq造成的歧义
  • 2000.#include之外的头文件名称
  • 2004.常量表达式中有可变成员的变量
  • 2006.Cv-qualified的void类型
  • 2015.虚函数的odr-use
  • 2016.类型转换函数的描述中可能存在的歧义
  • 2019.存储时间描述中成员引用的省略
  • 2024.依赖类型和未解包的参数包
  • 2026.Zero-initialization和constexpr
  • 2027.指定多个alignas的需求不明
  • 2031.&&的不兼容
  • 2052.模板参数推导vs重载操作符
  • 2075.传递短初始化列表给数组引用参数
  • 2101.对类型和值的依赖的错误说明
  • 2120.数组作为标准布局类的第一个非静态成员变量

库主题

  • 1169.num_get不能和strto*完全兼容
  • 2072.缓冲区容量定义不明确
  • 2101.一些类型转换可能产生非预期的类型
  • 2111.处理异常时可能调用那些已经删除的句柄?
  • 2119.扩展int类型缺少哈希函数
  • 2127.带raw_storage_iterator的Move-construction
  • 2133.重载逗号迭代器
  • 2156.无序容器的reserve(n)保存的是n-1个元素
  • 2218.容器如何使用allocator_traits::construct()不够明确
  • 2219.INVOKE-ing一个带有reference_wrapper的指针作为对象表达式
  • 2224.不活跃对象的状态问题
  • 2234.assert()应该允许在常亮表达式中使用
  • 2244.关于basic_istream::seekg的issue
  • 2250.Library Issue 2207中的Follow-up
  • 2259.17.6.5.5规则中有关成员函数的问题
  • 2273.regex_match的歧义
  • 2336.is_trivially_constructible/is_trivially_assignable结果永远是false
  • 2353.std::next限制过度
  • 2367.pair和tuple无参数时不兼容is_constructible
  • 2380.<cstdlib>应该提供long ::abs(long) 和long long ::abs(long long)吗?
  • 2384.分配器的解除函数需要更好的规范
  • 2385.function::assign分配器参数无意义
  • 2435.reference_wrapper::operator()的标记应该是被删除
  • 2447.分配器和volatile-qualified值类型
  • 2462.std::ios_base::failure 被过度规范
  • 2466.allocator_traits::max_size()默认表现是错误的
  • 2469.map的[]操作符和unordered_map规则错误
  • 2473.basic_filebuf对C文件的兼容
  • 2476.scoped_allocator_adaptor是不可分配的
  • 2477.std::vector::erase()std::deque::erase()的不一致
  • 2483.throw_with_nested()应该使用is_final
  • 2484.rethrow_if_nested()是不可实现的
  • 2485.常量tuple&&应该重载get()
  • 2486.mem_fn()应该提供向前兼容
  • 2487.bind()不应该是cv-overloaded, 而应该是const-overloaded
  • 2489.mem_fn()应该是noexcept的
  • 2492.明确comp的需求
  • 2495.没有类似异常安全元素的东西

Library Fundamentals TS v2 Issues

  • 2494.[fund.ts.v2] ostream_joiner应该是noexcept的
  • 2500.[fund.ts.v2] fundts.memory.smartptr.shared.obs/6 应该适用于cv-unqualified void
  • 2515.[fund.ts.v2]observer_ptr的确定操作符不能匹配任何简介
  • 2517.[fund.ts.v2] 两个propagate_const assignment 操作符返回不正确的类型
  • 2526.[fund.ts]experimental::function::swap 条件不正确

更多信息

以上只是投票通过的部分记录。每次的会议都会涉及很多工作,不会全都反映在文件上,比如,有关modules的热烈讨论文件中就没有。虽然我几乎花了所有的时间在库工作组中,但是还是不能跟进所有的内容。最终版文件我会在Reddit分享各个模块的进展。

原文链接:https://linux.cn/article-6563-1.html

原文发布于微信公众号 - 程序员互动联盟(coder_online)

原文发表时间:2016-01-16

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏Linyb极客之路

十个面向对象设计原则

追求高内聚highly cohesive 和松耦合 loosely couple 的解决方案是面向对象设计基本核心原则。这里列出OO设计中十大原则:

19410
来自专栏小詹同学

为什么你的Python代码质量如此不堪……

作者:笑虎(Python爱好者,关注爬虫、数据分析、数据挖掘、数据可视化等) 原文链接:http://codebay.cn/post/7953.html

20640
来自专栏惨绿少年

Python入门篇

43440
来自专栏技术专栏

慕课网Flask高级编程实战-5.书籍详情页面的构建

大多时候,我们从数据库,或者外部网络获取到的原始数据,并不能满足复杂的业务需求。业务的直观体现就是页面。

16830
来自专栏牛客网

金山WPS,C++研发工程师,一面

【每日一语】人们常常会欺骗你,是为了让你明白,有时候,你唯一应该相信的人就是你自己。——《千与千寻》

9720
来自专栏java工会

编写高质量代码的思考

最近在看《代码大全》,可以说是一本软件开发的百科全书,特别厚,但是干货也很多。平时写代码,代码规范是一个最低的要求(很多老代码连最低要求都达不到),为什么要这样...

9600
来自专栏hrscy

202 - Swift 的核心是什么?

不知道大家有没有看过 WWDC 2015 的视频,其中有一个编号为 408 的视频解释了这个问题,下面是视频链接:Protocol-Oriented Progr...

14720
来自专栏生信技能树

生物信息Python从入门到精通

编者注:本文来自生信编程直播课程讲师投稿,点击阅读原文可以跳转到大神的博客,欢迎点击! 以下为文章全文: Python开发的方向太多了,有机器学习,数据挖掘,...

674120
来自专栏程序员互动联盟

【编程入门】C语言堆栈入门——堆和栈的区别

在计算机领域,堆栈是一个不容忽视的概念,我们编写的C语言程序基本上都要用到。但对于很多的初学着来说,堆栈是一个很模糊的概念。堆栈:一种数据结构、一个在程序运行时...

53160
来自专栏java学习

Java每日一题_关于变量的使用

答:在【类里面】声明的变量叫全局变量,全局变量也叫成员变量,全局变量,在全局作用域下申明的变量没有被手动赋值的却在程序中被使用的情况下,将被赋予初值:

10130

扫码关注云+社区

领取腾讯云代金券