C++及系统软件技术大会演讲稿合辑_部分23.pdfVIP

• Open source SYCL projects: • ComputeCpp SDK - Collection of sample code and integration tools • SYCL ParallelSTL – SYCL based implementation of the parallel algorithms • VisionCpp – Compile-time embedded DSL for image processing • Eigen C++ Template Library – Compile-time library for machine learning All of this and more at: http://sycl.tech Questions ? @codeplaysoft /codeplaysoft C++ Concept 的前世今生 吴咏炜 一个例子 template typename N bool odd(N n) { return bool(n 0x1); } std::cout odd(1) std::endl; std::cout odd(1.0) std::endl; // Does not compile std::cout odd(a) std::endl; // This compiles! 一个例子 template typename N bool odd(N n) { return bool(n 0x1); } template Integer N bool odd(N n) { return bool(n 0x1); } 等价形式 template typename N inline bool odd(Integer n) inline bool odd(N n) requires(IntegerN) { { return bool(n 0x1); return bool(n 0x1); } } 为什么需要 Concept ？ • To make requirement on types used as template arguments explicit • Precise documentation • Better error messages • Overloading C++11 之前的标准化努力 • Bjarne Stroustrup and Gabriel Dos Reis: Concepts — Design choices for template argument checking. October 2003. An early discussion of design criteria for concepts for C++. • Bjarne Stroustrup: Concept checking — A more abstract complement to type checking. October 2003. A discussion of models of concept checking. • Bjarne Stroustrup and