blog of peter

C++20引入的concept是C++模板编程的一项重大特性，用于定义对模板参数的约束，提高模板代码的可读性、错误诊断和维护性。以下是对C++20 concept的详细讲解，包括其背景、语法、用途、设计理念以及实际应用。 1. 背景和动机在C++20之前，模板编程虽然强大，但存在以下问题： 缺乏明确的约束：模板参数的类型要求通常通过文档或代码中的隐式假设来表达。如果模板的使用不符合要求，编译器会在实例化时产生难以理解的错误信息。 错误信息复杂：模板实例化失败时，编译器通常会输出冗长且晦涩的错误信息，难以快速定位问题。 代码可读性差：开发者需要通过模板元编程或SFINAE（Substitution Failure Is Not An Error）等技术间接约束模板参数，这增加了代码复杂度和学习成本。 concept的引入解决了这些问题，它允许开发者显式地定义模板参数的语义要求，使代码更清晰、错误信息更友好，同时提高编译器的诊断能力。 2. 什么是Concept？concept是一个命名的约束集合，用于描述模板参数必须满足的条件。它可以看作是对类型或值的语义要求的一种形式化表达。...

Rust 是一门注重内存安全、性能和并发性的系统编程语言。以下是其核心语法的扩展介绍，涵盖更多细节和实用特性，适合初学者快速了解并深入掌握。 1. 变量与常量 变量：使用 let 声明，默认不可变。使用 mut 允许修改。变量可以被遮蔽（重新声明）。 let x = 5; let x = x + 1; // 遮蔽，创建新变量 let mut y = 10; y = 15; 常见场景与注意事项： 配置常量与全局值：不可变配置信息用 const 或 static，但如果需要延迟初始化或线程安全的可变全局，优先使用 once_cell::sync::Lazy 或 lazy_static + Mutex。 遮蔽（shadowing）用于按步骤转换值（例如 let s = s.trim();），可以减少可变性并限定作用域。 谨慎使用 static mut —— 这是不安全的；如需全局可变状态请使用 Atomic* 类型或加锁封装。 类型推断与转换：Rust 编译器能自动推断大多数类型，但在复杂情况下需要显式声明。let x = 5; // 推断为 i32 let y: ...

在 Go（Golang）中，context 是一个标准库提供的重要机制，用于控制协程（goroutine）之间的取消、超时、截止时间传递，以及上下文数据传递。它是并发编程中管理协程生命周期和避免资源泄漏的核心工具之一。 一、context 的主要用途 取消协程（Cancellation） 设置超时时间或截止时间（Timeout / Deadline） 跨 API 传递请求范围的数据（如认证信息、trace id） 防止资源泄露（确保任务完成或及时退出） 二、context 的基本接口和实现接口定义（简化）type Context interface { Deadline() (deadline time.Time, ok bool) Done() <-chan struct{} Err() error Value(key any) any } 四个常用的 context 构造函数 函数 说明 context.Background() 最基础的 context，通常用于 main ...

1. 问题 何为分布式，何为微服务？ 为什么需要分布式？ 分布式核心理论基础，节点、网络、时间、顺序，一致性？ 分布式系统有哪些设计模式？ 分布式有哪些类型？ 如何实现分布式？ 2. 关键词节点，时间，一致性，CAP，ACID，BASE，P2P，机器伸缩，网络变更，负载均衡，限流，鉴权，服务发现，服务编排，降级，熔断，幂等，分库分表，分片分区，自动运维，容错处理，全栈监控，故障恢复，性能调优 3. 全文概要随着移动互联网的发展和智能终端的普及，计算机系统从单机独立工作过渡到多机器协作工作。计算机以集群的方式存在，按照分布式理论的指导构建出庞大复杂的应用服务。本文从分布式基础理论、架构设计模式、工程应用、部署运维、业界方案这几大方面，介绍基于 MSA（微服务架构）的分布式知识体系大纲，从而对 SOA 到 MSA 的进化有立体的认识，从概念和工具应用上更进一步了解微服务分布式的本质。 4. 基础理论4.1 SOA 到 MSA 的进化SOA 面向服务架构由于业务发展到一定程度后，需要对服务进行解耦，将单一的大系统按逻辑拆分成不同子系统，通过服务接口通讯。SOA 通常需要总线集成服务，...

浅谈分布式存储的发展和演进 注：本文来源于组内的一次分享，属于综述性质，内容由互联网资料整理所得，感谢阅读。 发展历史Google、Amazon、Alibaba等互联网公司的发展催生了大数据和云计算两大热门领域。今天我们使用的各种互联网产品，其底层的基础存储设施都是建立在低成本、高性能、高可靠、高可用、可扩展的分布式存储系统之上。分布式系统从最早的数据共享需求，发展到现在的 serverless 架构。它伴随着技术的发展与公司实际需求变化而演进。现在的云服务提供商简化了分布式系统开发的复杂性，让应用开发者只需关注开发，而把基础设施管理交给大型的云服务提供商。分布式存储发挥在那历史大致分为5个阶段： 1980s 网络文件系统研究重点：网络环境下的文件共享，解决客户端与文件服务器交互问题。 代表成果：CMU/IBM 的 AFS 文件系统、SUN 的 NFS 文件系统。 1990s 共享 SAN 文件系统研究重点：存储系统可扩展性及面向 SAN（Storage Area Network）的共享文件系统。 代表产品：IBM 的 GPFS、Redhat 支持的...

在 Go 语言（Golang）中，Channel 是一种强大的并发原语，用于在不同的 Goroutine 之间进行安全的通信和同步。它是 Go 语言并发模型（CSP，Communicating Sequential Processes）的核心组成部分之一，旨在通过消息传递实现并发，而不是通过共享内存来实现并发。以下是对 Channel 的详细讲解，包括其概念、用法、特性、以及一些高级用法和注意事项。 一、Channel 的基本概念 什么是 Channel？ Channel 是一种类型安全的数据管道，允许 Goroutine 之间通过发送和接收数据进行通信。 Channel 可以看作是一个先进先出（FIFO）的队列，发送到 Channel 的数据会被接收端按顺序读取。 Channel 提供了同步机制，确保发送和接收操作在适当的时机发生，避免了显式的锁机制。 Channel 的核心特性 类型安全：Channel 是强类型的，只能传递特定类型的数据。例如，chan int 只能传递整数。 阻塞行为：发送和接收操作默认是阻塞的，发送者在接收者准备好之前会等待，接收者在有数据可接收...

在C++中，std::move_only_function 是C++23引入的标准库功能，用于表示仅支持移动语义的函数对象（callable object）。它是std::function的变种，但与std::function不同的是，std::move_only_function不要求存储的函数对象是可拷贝的，仅要求可移动，从而支持更广泛的用例，例如存储只支持移动语义的对象（如std::unique_ptr或lambda表达式中的非可拷贝对象）。以下是对std::move_only_function的详细说明，包括其设计、用法、实现规则和注意事项。 1. 什么是 std::move_only_function？std::move_only_function 是一个类模板，定义在 <functional> 头文件中，用于包装可调用对象（如函数指针、lambda表达式、仿函数等），并提供类型擦除（type erasure），使其可以存储不同类型的可调用对象，同时只要求这些对象支持移动构造和移动赋值，而不需要支持拷贝。它是C++23标准的一部分，旨在解决std::func...

Java 21 是继 Java 17 之后的又一个长期支持（LTS）版本，于 2023 年 9 月 19 日发布，相较于 Java 17 引入了许多新特性和改进，涵盖语言特性、性能优化、并发模型、API 增强等方面。以下是对 Java 21 相比 Java 17 的主要新特性的详细总结，重点突出其提升，并尽量简洁： 1. 语言特性改进 虚拟线程（Virtual Threads，JEP 444，Java 21 正式化） 项目 Loom 的核心成果，引入轻量级线程，极大降低并发编程的开销，适合高吞吐量应用（如 Web 服务）。 与 Java 17 的平台线程相比，虚拟线程无需直接绑定到 OS 线程，创建和管理成本低，可支持百万级并发。 示例： try (var executor = Executors.newVirtualThreadPerTaskExecutor()) { IntStream.range(0, 10000).forEach(i -> executor.submit(() -> { Thread.sleep(1000...

Java 17 相对于 Java 8 的提升主要体现在语言特性、性能、API 增强、安全性以及生态系统的改进上。以下是详细对比，涵盖主要方面的提升： 1. 语言特性的改进Java 17 引入了多项新特性，许多是 Java 8 之后逐步引入并在 Java 17（长期支持版本，LTS）中稳定或正式化的功能： 密封类（Sealed Classes，JEP 409，Java 17 正式化） 允许限制类的继承，明确指定哪些子类可以继承某个类或接口，增强代码的可维护性和安全性。 示例： public sealed class Shape permits Circle, Rectangle, Triangle { ... } Java 8 无此功能，继承控制依赖开发者手动约束。 记录类（Records，JEP 395，Java 16 引入，Java 17 完善） 用于快速定义不可变数据类，减少样板代码（如 getters、equals、hashCode 等）。 示例： public record Point(int x, int y) {&#...

Java 11 是继 Java 8 之后的另一个长期支持（LTS）版本，于 2018 年 9 月 25 日发布，相对于 Java 8 引入了多项重要的语言特性、性能优化、API 改进和模块化支持。以下是对 Java 11 相比 Java 8 的主要新特性和提升的简洁总结，涵盖核心变化： 1. 语言特性改进 局部变量类型推断（var，JEP 323，Java 10 引入） 使用 var 关键字简化局部变量声明，编译器自动推断类型。 示例： var list = new ArrayList<String>(); *// 推断为 ArrayList<String>* var stream = list.stream(); *// 推断为 Stream<String>* Java 8 无此功能，需显式声明类型，代码较冗长。 Lambda 参数的局部变量语法（JEP 323，Java 11 扩展） 允许在 Lambda 表达式中使用 var。 (var x, var y) -> x + y Java 8 的 Lambda 表达式不支持 var，需显式指...