std::function 是通用可调用对象包装器，能统一存储函数指针、lambda、函数对象和成员函数，常用于回调；std::bind 用于绑定可调用对象与参数，支持占位符实现偏函数应用；两者结合可灵活处理延迟调用与策略模式。 在C++中，std::function 和 std::bind 是处理可调用对象（callable objects）的重…

答案：C++模板通过类模板实现泛型数据结构，如MyVector支持多种类型，需定义拷贝控制与移动语义，结合函数模板和特化提升灵活性与性能。 在C++中，使用模板实现通用的数据结构是泛型编程的核心。通过模板，可以编写与数据类型无关的代码，让同一个数据结构支持int、double、string甚至自定义类等类型。 模板基础：理解类模板语法 要实现一个泛…

CRTP通过派生类继承自身作为模板参数的基类实现编译期多态，例如Derived : Base<Derived>，使Base中调用Derived::implementation()无虚函数开销；它用于表达式模板、静态接口检查和Mixin设计，如InstanceCounter<MyType>独立计数；但存在无法动态切换、模板膨胀…

答案：using和typedef均可定义类型别名，但using支持模板别名且语法更清晰。两者在基本类型别名中功能相同，如typedef int MyInt;与using MyInt = int;等效；处理复杂类型时，using的声明方式更直观，如using FuncPtr = void (*)(int);比typedef更易读；关键区别在于usin…

std::reference_wrapper允许将引用作为可拷贝对象存储和传递，解决容器不能直接存储引用的问题。通过std::ref和std::cref创建，可安全包装左值或const引用，用于vector存引用、std::bind传参、函数模板保留引用语义等场景，其内部通过指针实现并重载解包操作，但需避免绑定临时或已销毁对象以防悬空引用。 在C+…

SFINAE 是“替换失败不是错误”的原则，指模板实例化时若参数替换导致错误，只要存在其他合法候选，编译器不报错而是继续重载决议。它用于条件启用模板、类型检测等场景，如通过 decltype 或 enable_if 控制函数重载，实现类型特征判断。尽管 C++20 引入 Concepts 简化了部分用法，SFINAE 仍是元编程核心机制之一。 SF…

SFINAE指模板参数替换失败时不报错而是移除该候选，std::enable_if利用此机制根据类型特征有条件启用函数或类模板，实现泛型编程中的条件编译与重载控制。 在C++模板编程中，std::enable_if 是实现SFINAE（Substitution Failure Is Not An Error）机制的关键工具之一。它允许我们根据类型特…

模板元编程通过递归和特化在编译期计算阶乘、判断类型、展开循环，实现零成本抽象，核心是利用模板参数进行编译期逻辑与数值运算。 模板元编程（Template Metaprogramming，简称TMP）是C++中一种在编译期进行计算和类型生成的技术。它利用模板机制，在不运行程序的情况下完成逻辑判断、数值计算甚至类型构造。虽然听起来复杂，但通过几个基础示…

答案：std::shared_from_this用于在已由std::shared_ptr管理的对象内部安全获取共享指针，避免因直接使用this构造shared_ptr导致的控制块不一致问题。通过继承std::enable_shared_from_this并调用shared_from_this()，可返回与现有shared_ptr共享所有权的新指针，…

C++20的Concepts通过定义类型约束提升模板编程的安全性与可读性。1. Concepts是编译期布尔表达式，用于限定模板参数，如concept Integral = std::is_integral_v<T>;限制类型为整型。2. 可用requires表达式检查操作合法性，如requires(T a, T b) { a + b;…