Web Analytics
yangyang

码农兼一个普普通通小青年

C++ C++ is best!!!


C++语言演化中的审慎原则

本文深入剖析了C++语言演化中所秉持的“审慎原则”,论证了标准委员会(WG21)通过有意识地拒绝或搁置某些语言特性,从而成功维护了C++的长期稳定性与核心设计哲学。报告通过四个关键案例展开论证:一、在处理多重继承的虚函数名冲突时,委员会选择推广设计模式(适配器模式)而非引入新“重命名”语法,以避免语言膨胀。二、面对双重分发的需求,它采纳了访问者模式,拒绝了可能导致对象模型过度复杂化的原生语言支持。三、它坚定地拒绝内置垃圾回收(GC)机制,以捍G卫RAII范式、零开销原则及性能的确定性,这些是C++的立身之本。四、在类型推导上,它没有直接采纳当时已有但存在瑕疵的typeof,而是精心设计了语义更精确的decltype,彰显了对语言基础工具正确性的极致追求。综上所述,这些决策共同揭示了C++标准化过程中的一种成熟智慧:通过审慎的“减法”来保证语言的健壮、高效与持久生命力 …

Visitor Pattern Double Dispatch RAII C++ Evolution Language Design Philosophy Prudence Principle Multiple Inheritance

CMake入门教程

CMake已经成为C++生态系统中事实上的标准构建系统生成器。它通过将复杂的构建逻辑抽象到一个统一的、跨平台的脚本语言中,极大地提高了项目的可维护性和可移植性。掌握现代CMake,特别是其基于目标的依赖管理思想,是每一位严肃的C++开发者必备的技能。本教程从CMake的基础工作流程和核心语法出发,深入探讨了作用域、库的构建与链接、条件编译以及高级模块化技术。我们强调了“源码外构建”的重要性,详细解析了PUBLIC、PRIVATE和INTERFACE关键字在传递依赖关系中的核心作用,并针对Linux平台特别讲解了RPATH和$ORIGIN在创建可重定位软件包中的应用。通过对比function与macro、target_sources与file(GLOB),我们阐明了现代CMake的最佳实践及其背后的设计哲学。最终,通过一个完整的实战项目,我们将所有理论知识融会贯通,展示了如何构建一个结构清晰 …

cmake Cross-Platform Out-of-Source Build RPATH Position-Independent Code Conditional Compilation target-link-libraries

C++中的shared_ptr、weak_ptr以及enable_shared_from_this

在《Linux多线程服务器编程:使用muduo C++网络库》这本书中,作者在第15页一针见血的指出C++可能出现的内存问题的几个方面: 缓冲区溢出(buffer overrun) 空悬指针(dangling pointer 指向已销毁的对象或已回收的地址)/野指针(wild pointer 指的是未经初始化的指针) 重复释放(double delete) 内存泄漏(memory leak) 不配对的new[]/delete 内存碎片(memory fragmentation) 正确的使用智能指针可以解决前5个问题: 缓冲区溢出:使用STL中的容器( std::vector 、 std::string )、使用安全的拷贝函数,或者自己编写buffer class来管理缓冲区,自动记住缓冲区的长度,并通过成员函数,而不是裸指针来修改缓冲区 空悬指针/野指针:用 std::share_ …

weak callback weak ptr shared ptr

C++编译器中最烦人的分析机制

Scott Meyers 在《Effective STL》一书的第六条提出了一个“当心C++最令人烦恼的解析"(the most vexing parse)的问题。“the most vexing parse” 这个术语来形容 C++ 标准对于 declaration 语句的消歧义(ambiguity resolution)约定与常人的认知相悖。最令人烦恼的解析 (most vexing parse)是C++中的一种反直觉的二义性解析形式。 在一些场景下,编译器无法区分某语句是初始化时某对象的参数,还是声明一个函数时指定参数类型。在这些情况下,编译器将该行解释为函数声明。简言之就是“调用构造函数被误认为是函数声明的问题”,即 形如 Type() 或 Type(name) 的表达在某些情况下具有歧义(syntax ambiguity)。 …

vexing parse

C++中的bind、function以及lambda表达式

在C++98中就有了函数对象(function object),为了方便从二元函数得到一元函数,引入了bind1st和bind2nd,这种场景在C++ STL中应用的很常见。随后C++11从boost库中引入了功能更强大的bind (以替代bind1st和bind2nd) 以及function函数对象机制。由于函数对象仍然需要额外定义,且有时很不方便,所以又引入了lambda表达式。 本文逐一介绍这些概念,以及背后的实现原理。 …

Lambda Expression bind function

C++中的智能指针

C++中堆上的动态资源管理是一个容易出错的地方,借助RAII(Resource Acquisition Is Initialization,资源获取即初始化),能够简化资源管理,依此思想产生的智能指针极大的简化了编程。 本文先简要介绍C++中资源管理,然后介绍RAII,最后在这些概念上实现一个简单的不带引用计数的智能指针和带引用计数的智能指针,以加深对这些知识的理解。 C++中的栈、堆及资源管理 与C#中的概念相似,在C#中,值类型的对象大多数情况下是在栈上分配的,而引用类型的对象,则默认在堆上分配,这些都是默认行为,不需要手动指定,栈上的内存在出作用域后会被回收,而堆上的内存,则由垃圾回收器负责回收。 在C++中则复杂的多,它有三块内存区域: 静态内存,用来保存局部static对象、类的static数据成员,以及任何定义在函数之外的变量,分配在静态内存中的对象由编译器自动创建和销毁。 …

RAII reference count

C++中的Copy-And-Swap惯用法

在C++中,有个著名的The Big Three,即:如果要显示声明析构函数、拷贝构造函数和拷贝赋值操作符,那么需要显示声明所有的这三者。拷贝构造函数和析构函数实现起来比较容易,但是拷贝赋值操作符则要复杂很多。因为与拷贝构造不同,拷贝赋值需要先把当前的资源释放,然后重新构造。这与之前单例模式中的某些场景一样,有许多需要注意的问题。copy-and-swap就是完美的解决方案。它可以很好地帮助拷贝赋值操作符达到两个目标:避免代码重复、提供强烈的异常安全保证。 …

move semantics copy and swap move assignment cplusplus idiom

C++中的移动语义和完美转发

在C++中,对象默认都是值语义,比如在对象A里面定义了成员变量B和C,那么B和C会被直接放在A的内存空间里,这样做的优点是保证了内存访问的局部性,这在现代处理器架构上具有绝对的性能优势。但缺点是,在对象复制时,具有很大的开销。而在Java或者C#里面,默认存储的是引用或者说是指针。因为C++存储完整对象这个特性会导致大的复制开销,所以C++需要移动语义这一优化,而在Java或者C#中则根本不需要这一概念。一句话总结就是,移动语义使得C++里返回大对象(比如容器)的函数和运算符的性能得到极大提高。 …

perfect forwarding rvalue lvalue move semantics

C++中的容器空间分配器

在C++中,对象可以粗略的分为两大类,一类是基础对象,它不包含对外部堆上对象的引用,比如普通的编译器内置类型,这类对象的构造函数和析构函数系统可以默认生成且满足要求,拷贝构造函数和拷贝赋值运算符都是默认的对内存的拷贝,这些也大都满足要求。另外一大类是对象包含指针,即包含有指向堆内存对象的引用。所以在涉及到容器的时候,就有必要将对象的内存分配和构造,内存释放和析构分开来,这就是容器的空间分配器的作用,更进一步容器的空间分配器还可以对内存分配进行池化管理从而提升内存使用效率。本文就简单介绍以下为什么容器需要空间分配器,以及一个简单的空间分配器的实现。 …

allocator

实现端口转发的几种方法

端口转发在有些时候还是比较有用的,它能够在数据传输的过程中增加一个“路由”,提供了某种程度的灵活。本文简单介绍了工作中遇到的一个可能使用端口转发能解决的例子,以及如何使用端口转发,包括介绍了在Windows上的内置的端口转发工具,以及一些开源的端口转发程序,最后再简单介绍了如何使用C#实现一个端口转发工具。 …

socket IP Helper port forwarding