与“operator”相关的TAG标签
priority_queue默认是大根堆,要小根堆需显式指定容器和比较器:priority_queuepq;自定义排序须用仿函数类,operator()返回true表示a优先级低于b。
拷贝构造函数仅在四种明确时机被调用:①显式或复制初始化新对象(如Aa(b)或Aa=b);②值传递参数;③返回局部对象(未被RVO优化时);④抛出或按值捕获异常。
operator==必须声明为const成员函数或非成员函数;前者支持const对象比较,后者支持隐式转换且语义更自然;需逐个比较所有成员(含基类、容器、智能指针所指内容),浮点数应使用误差比较。
std::optional明确表示“有值或无值”,用std::nullopt标识无值,不可用nullptr或零值模拟;须用has_value()或bool转换判断,直接解引用未检查对象将导致UB。
Concepts是C++20用于约束模板参数语义与能力的正式机制,比static_assert或SFINAE更早报错、更易诊断;命名应体现概念而非实现细节,约束须前置声明并聚焦行为而非类型,Concept设计需平衡粒度与实用性。
struct成员默认public,class默认private;struct继承默认public,class默认private;struct倾向POD类型和C兼容,class强调封装与资源管理。
map::emplace在键不存在时直接在容器内构造元素,避免临时对象拷贝/移动;需按pair构造顺序传键值参数,返回插入结果而非引用,适用于键值类型较重的场景。
vector::at()越界抛std::out_of_range异常,operator[]越界是未定义行为;Debug正常Release崩溃常因误用operator[];开发优先用at()调试,性能关键处确认安全后可用operator[]加assert。
operator[]必须是非静态成员函数,因需访问对象内部状态;应返回引用以支持赋值,并提供const版本;越界检查非强制但推荐用at()实现;多维访问需proxy对象,注意生命周期与校验分工。
deque底层是分段连续内存而非链表,由固定大小缓冲区和map数组组成,支持头尾均摊O(1)操作但中间插入为O(n),随机访问O(1)但常数较大,迭代器在增减缓冲区时全部失效。
