diff --git a/book/zh-cn/10-cpp20.md b/book/zh-cn/10-cpp20.md index c50958fb..513db7c2 100644 --- a/book/zh-cn/10-cpp20.md +++ b/book/zh-cn/10-cpp20.md @@ -6,17 +6,19 @@ order: 10 # 第 10 章 展望：C++20 简介 -> 内容修订中 - [TOC] -本章对即将到来的 C++17 进行介绍，几个月前（2016 年），目前为止，还没有一个正式发布的编译器来编译 C++17 特性的代码，本节作为扩展主题，供对 C++ 的历史进程及其未来发展感兴趣的读者阅读。 - -C++ 组委会在讨论投票最终确定 C++17 有很多提案，诸如 **Concepts**/**Ranges**/**Module** 等等，其中最受关注的就是 **Concepts**，可惜这一提案最终被拒，作为技术规范(Technical Specifications, TS) 将其发布。 +C++20 如同 C++17 一样，似乎能够成为一个振奋人心的更新。例如，早在 C++11 时期就跃跃欲试呼声极高却最终落选的 `Concept`，如今已经箭在弦上。 +C++ 组委会在讨论投票最终确定 C++20 有很多提案，诸如 **Concepts**/**Module**/**Coroutine**/**Ranges**/ 等等。 +本章我们就来一览 C++20 即将引入的那些重要特性。 -## Concepts TS +## 概念与约束 -**Concepts** 是对 C++ 模板编程的进一步增强扩展。简单来说，**Concepts** 是一种编译期的特性，它能够让编译器在编译期时对模板参数进行判断，从而大幅度增强我们在 C++ 中模板编程的体验。使用模板进行编程时候我们经常会遇到各种令人发指的错误，这是因为到目前为止我们始终不能够对模板参数进行检查与限制，例如下面简单的两行代码会造成大量的几乎不可读的编译错误： +概念（Concepts）是对 C++ 模板编程的进一步增强扩展。简单来说，概念是一种编译期的特性， +它能够让编译器在编译期时对模板参数进行判断，从而大幅度增强我们在 C++ 中模板编程的体验。 +使用模板进行编程时候我们经常会遇到各种令人发指的错误， +这是因为到目前为止我们始终不能够对模板参数进行检查与限制。 +举例而言，下面简单的两行代码会造成大量的几乎不可读的编译错误： ```cpp #include @@ -28,11 +30,13 @@ int main() { } ``` -而这段代码出现错误的根本原因在于，`std::sort` 对排序容器必须提供随机迭代器，否则就不能使用，而我们知道 `std::list` 是不支持随机访问的。用 **Concepts** 的话来说就是：`std::list`中的迭代器不满足`std::sort`中随机迭代器这个 **Concepts**（概念） 的 **requirements**（要求）。有了 **Concepts**，我们就可以这样： +而这段代码出现错误的根本原因在于，`std::sort` 对排序容器必须提供随机迭代器，否则就不能使用，而我们知道 `std::list` 是不支持随机访问的。 +用概念的语言来说就是：`std::list` 中的迭代器不满足 `std::sort` 中随机迭代器这个概念的约束（Constraint）。 +在引入概念后，我们就可以这样对模板参数进行约束： ```cpp template -requires Sortable // Sortable 是一个 concept +requires Sortable // Sortable 是一个概念 void sort(T& c); ``` @@ -49,23 +53,41 @@ void sort(T& c) void sort(Sortable& c); // c 是一个 Sortable 类型的对象 ``` -遗憾的是，C++组委会没有将 **Concetps** 纳入新标准，而是将其作为TS正式发布（其实早在 C++11 最终定案之前就已经有 **Concepts** 的呼声了，但 Concepts TS 是2015年才完整正式发布），也就是我们现在看到的 Concepts TS。C++组委会拒绝将 Concepts 纳入新标准的原因其实很简单，并不是技术层面上的原因，纯粹是觉得它还不够成熟。 +我们现在来看一个实际的例子。 + +TODO + +## 模块 + +TODO + +## 合约 + +TODO + +## 范围 + +TODO + +## 协程 -Concepts TS 的发布到最后一次 C++17 的讨论会只相隔了不到四个月的时间，**Concepts** 的（唯一）实现只存在于一个未发布的 gcc 版本中。而 gcc 中关于 **Concepts** 的实现就是由撰写 Concepts TS 的人开发的，虽然它能够进行相关测试，但还没有认真讨论过这份 TS 会产生哪些不良后果，更何况这份 TS 都没有被测试过。此外，已知的 **Concepts** 的一个明显的作用就是去辅助实现 Ranges TS 等提案，但实际上它们也没有被选入 C++17，所以可以把 **Concepts** 继续延后。 +TODO ## 总结 -总的来说，类似于 Concepts/Ranges/Modules 这些令人兴奋的特性并没有入选至 C++17，这注定了 C++17 某种意义上来说相较于 C++11/14 依然只是小幅度更新，但我们有望在 C++2x 中看到这些东西的出现，这些内容对于一门已经三十多岁『高龄』的编程语言，依然是充满魅力的。 +总的来说，终于在 C++2a 中看到 Concepts/Ranges/Modules 这些令人兴奋的特性， +这对于一门已经三十多岁『高龄』的编程语言，依然是充满魅力的。 -[返回目录](./toc.md) | [上一章](./09-others.md) | [下一章 附录：进一步阅读的学习材料](./appendix1.md) +[返回目录](./toc.md) | [上一章](./09-others.md) | [下一章 进一步阅读的学习材料](./appendix1.md) ## 进一步阅读的参考资料 -1. [Final features of C++17](https://meetingcpp.com/index.php/br/items/final-features-of-c17.html) -2. [C++17: will it be great or just ok?](https://codeplay.com/public/uploaded/filehost/0cbdaf_c++17post-oulu2016.pdf) -3. [Why Concepts didn't make C++17？](http://honermann.net/blog/2016/03/06/why-concepts-didnt-make-cxx17/) -4. [C++11/14/17/20 编译器支持情况](http://en.cppreference.com/w/cpp/compiler_support) +- [Final features of C++17](https://meetingcpp.com/index.php/br/items/final-features-of-c17.html) +- [C++17: will it be great or just ok?](https://codeplay.com/public/uploaded/filehost/0cbdaf_c++17post-oulu2016.pdf) +- [Why Concepts didn't make C++17？](http://honermann.net/blog/2016/03/06/why-concepts-didnt-make-cxx17/) +- [C++11/14/17/20 编译器支持情况](http://en.cppreference.com/w/cpp/compiler_support) +- [C++ 历史](https://en.cppreference.com/w/cpp/language/history) ## 许可 diff --git a/book/zh-cn/appendix1.md b/book/zh-cn/appendix1.md index 90225fcd..fbc6a2f1 100644 --- a/book/zh-cn/appendix1.md +++ b/book/zh-cn/appendix1.md @@ -15,7 +15,7 @@ order: 11 - [Ulrich Drepper. 每位程序员都需要知道的内存知识. 2007](https://people.freebsd.org/~lstewart/articles/cpumemory.pdf) - 待补充 -[返回目录](./toc.md) | [上一章](./10-cpp20.md) | [下一章](./12-appendix2.md) +[返回目录](./toc.md) | [上一章](./10-cpp20.md) | [下一章 现代 C++ 的最佳实践](./appendix2.md) ## 许可 diff --git a/code/10/10.1.without.concepts.cpp b/code/10/10.1.without.concepts.cpp new file mode 100644 index 00000000..13a5e9f7 --- /dev/null +++ b/code/10/10.1.without.concepts.cpp @@ -0,0 +1,8 @@ +#include +#include + +int main() { + std::list l = {1, 2, 3}; + // std::sort(l.begin(), l.end()); // tons of compile error + return 0; +} \ No newline at end of file diff --git a/code/10/10.2.concepts.cpp b/code/10/10.2.concepts.cpp new file mode 100644 index 00000000..d1752d97 --- /dev/null +++ b/code/10/10.2.concepts.cpp @@ -0,0 +1,66 @@ +#include +#include +#include +#include + +using namespace std; + + template +concept bool Stringable = requires(T a){ + {a.to_string()} -> string; +}; + + template +concept bool HasStringFunc = requires(T a){ + { to_string(a) } -> string; +}; + +struct Person { + double height, weight; + Person(double a, double b) : height(a), weight(b) {} + string to_string(){ + return "weight: "+ std::to_string(weight) + ", height: "+ std::to_string(height); + } +}; + + +namespace std { + +string to_string(list l){ + string s = ""; + for(int a : l ){ + s+=(" " + to_string(a) + " "); + } + return s; +} + +} + +string to_string(std::vector v){ + string s = ""; + for(int a : v ){ + s += (" " + to_string(a) + " "); + } + return s; +} + + + void print(Stringable a){ + std::cout << a.to_string() << std::endl; +} + + void print(HasStringFunc a){ + std::cout << to_string(a) << std::endl; +} + + int main() { + std::list l {1, 2, 3}; + Person p(57, 170.0); + std::vector v { 34, 23, 34, 56, 78}; + + print(p); // uses concept Stringable + print(l); + print(3); // uses concept HasStringFunc + // print(v); // error + return 0; +} \ No newline at end of file diff --git a/code/10/Makefile b/code/10/Makefile new file mode 100644 index 00000000..4477d7cd --- /dev/null +++ b/code/10/Makefile @@ -0,0 +1,7 @@ +all: $(patsubst %.cpp, %.out, $(wildcard *.cpp)) + +%.out: %.cpp Makefile + clang++ $< -o $@ -std=c++2a -Xclang -fconcepts-ts -pedantic + +clean: + rm *.out \ No newline at end of file