so ） • cmake -B build -DCMAKE_BUILD_TYPE=Release • ↑ 设置构建模式为发布模式（开启全部优化） • cmake -B build ← 第二次配置时没有 -D 参数，但是之前的 -D 设置的变量都会被保留 • （此时缓存里仍有你之前定义的 CMAKE_BUILD_TYPE 和 CMAKE_INSTALL_PREFIX ） -G 选项：指定要用的生成器 目录下，要么要求使用者不要把 build 放到和源码同一个目录里，我个人的建议是把源码放到 src 目录下 。 第 2 章：项目配置变量 CMAKE_BUILD_TYPE 构建的类型，调试模式还是发布模式 • CMAKE_BUILD_TYPE 是 CMake 中一个特殊的变量，用于控制构建类型，他的值可以 是： • Debug 调试模式，完全不优化，生成调试信息，方便调试程序 • Release Release 更小，不完全优化，减少二进制体积 • RelWithDebInfo 带调试信息发布，生成的文件比 Release 更大，因为带有调试的符号信 息 • 默认情况下 CMAKE_BUILD_TYPE 为空字符串，这时相当于 Debug 。 各种构建模式在编译器选项上的区别 • 在 Release 模式下，追求的是程序的最佳性能表现，在此情况下，编译器会对程序做最大 的代码优化以达到最快

- Rust 的形式化语义模型 Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic (Iris) Type System of λRust (selective) Rust Semantics λRust Type Rust Type bool | int bool | BigInt own Box | &’a mut T | &’a T | (T1, T2) | () | | enum Type { A(T1), B(T2) B(T2) } | enum Type {} or ! | Option Abstract machine! Lft ∋ ::= | static Mod ∋ ::= mut | shr Type ∋ ::= | bool | int | own | | | ̄ | ⋯ The own Predict Rust Semantics ⟦bool⟧.own(v̄)

std::atomic_ref  Designated Initializers  Spaceship Operator <=>  Range-based for Loop Initializer  Non-Type Template Parameters  [[likely]] and [[unlikely]]  Calendars & Timezones  std::span  Feature C++20): [](const auto& vec) { using V = std::decay_t; using T = typename V::value_type; T x { }; T::static_function(); // ... };  With C++20: [](const vector& vec) (auto data { GetData() }; auto& value : data.values) { // Use 'data' } }56 Non-Type Template Parameters  Non-type template parameters had limitations, e.g. no string literals  C++20 relaxes these

Apr 13 May 11 Jun 08 Jul 13 Aug 10 Sep 14 Oct 12 Nov 09 Dec 1416 Why calendrical types? Type Safety The “simple” calendrical types (e.g., day, month, year) are very straightforward – what’s implementation! Have these “simple” types improves type safety as we can make sure we are interpreting these values as the appropriate type.17 Why calendrical types? Abstraction The “simple” calendrical static_assert(is_clock_v); For a type T to qualify as a Clock, it must satisfy each of the following conditions: • The following qualified-ids must be valid and denote a type • T::rep • T::period • T::duration

ULL  New:  uz or UZ: creates a std::size_t integer literal  z or Z: creates a signed integer type corresponding to std::size_t22 Literal Suffix for size_t  Use case: std::vector data{ 11, 22, Ranges Library  Converts container to container  E.g.: // Convert vector to set with same element type. std::vector vec{ 33, 11, 22 }; auto set1{ std::ranges::to(vec) }; // Convert vector in  std::expected contains either  A value of type T, the expected value type  A value of type E, an error type  Guaranteed to never be empty  std::unexpected() is used to create

val = m.__getitem__(key) 。 • C++ 的 [] 就不论读取还是写入都是同一个运算符重载，他只是返回引用，无法区分你是读是写： • value_type &operator[](key_type key); // [] 返回引用，你 = val 写入的是这个引用， [] 是不知道的 • [] 被调用的时候根本不知道他外面是想写入还是读取。找不到键值时，为了能兼容写入的情况， “default”; 找不到时，自动采用默认值 • template • typename M::mapped_type map_get(M &m, typename M::key_type const &key, typename M::mapped_type const &defl) { • if (auto it = m.find(key); it == m.end()) erase(key) 第四章：迭代与遍历 物理格式 逻辑格式 面壁者罗辑监督你鞋习 ! 面壁者罗辑监督你鞋习 ! map 的元素类型是…… • set::value_type 是 V 。 • map::value_type 是 pair 。 • 这很合理，虽然只针对 K 排序，但实际上 K 和 V 是捆绑在一起的。 • pair 就是这样一个结构，前

synchronization is required.44 SENDERS AS AWAITABLES Most senders can be made awaitable in a coroutine type trivially. // This is a coroutine: unifex::task read_socket_async(socket, span); task type: template< class T > struct task { struct promise_type : std::execution::with_awaitable_senderstype> { /*...*/ To make senders awaitable within a coroutine type, derive derive its promise type from with_awaitable_senders.46 COROUTINES AND CANCELLATION • If an awaited sender completes by calling set_done(), it behaves as though an uncatchable “exception” has been

r1 = ratio<1, 60>; // 1/60 using r2 = ratio<1, 30>; // 1/30 using result = ratio_add::type; cout << format("sum = {}/{}", result::num, result::den);// 1/20  Comparisons with ratio_equal cout << format("r2 < r1: {}", res::value); // false8 Compile-Time Rational Numbers  Predefined SI type aliases: using atto = ratio<1, 1'000'000'000'000'000'000>; using femto = ratio<1, 1'000'000'000'000'000>; = rational constant  template > class duration {...}  Rep = type to represent number of ticks11 Durations – Examples  Duration with ticks of 1 second: duration

0 码力 | 43 页 | 551.60 KB | 5 月前

3

ML & AI. Обработка графов • Batch jobs • Data Hub Support For Semistructured Data 27 JSO data type: CREATE TABLE games (data JSON) ENGINE = MergeTree; • You can insert arbitrary nested JSONs • Types 0.015 sec. Support For Semistructured Data <-- inferred type DESCRIBE TABLE games SETTINGS describe_extend_object_types = 1 name: data type: Tuple( `_id.$oid` String, `date.$date` String, `teams.abbreviation`

的前一个字节被填满了 0 ，根据补码的 规则他是一个正数 128 。 实验：自动类型提升（ type promotion ） • 一个较小类型的 short 和较大类型的 int 相加会得到什么类型？会得到 int 类型。 • 结论：小类型和大类型做数学运算（ +-*/% ）会得到两个类型中的大类型。 实验：自动类型提升（ type promotion ） • 对 unsigned 类型也是同理的。 • int + unsigned short = unsigned int 实验：自动类型提升（ type promotion ） • 如果两边有一边是 unsigned 的但是大小不等，则还是选择较大类型。 • unsigned short + int = int 实验：自动类型提升（ type promotion ） • 如果两边有一边是 unsigned 的但是大小相等，则结果是 unsigned