面试题：C++ 类模板元编程与类型萃取在实际场景中的应用

实际场景：通用容器的优化

在开发通用容器时，我们常常需要针对不同类型的数据进行优化。例如，对于内置类型（如 int、float）和用户自定义类型，在内存管理、初始化等方面可能有不同的最优策略。我们可以利用类模板元编程和类型萃取技术来实现这种优化。

类型萃取

类型萃取是从类型中提取相关信息的技术。在C++标准库中，<type_traits>头文件提供了丰富的类型萃取工具。例如，std::is_fundamental 可以判断一个类型是否为基本类型（内置类型）。

类模板元编程

类模板元编程是在编译期进行计算的技术。通过类模板的特化，可以在编译期根据不同的类型做出不同的决策。

代码示例

#include <iostream>
#include <type_traits>

// 通用的内存分配器类模板
template <typename T>
class MemoryAllocator {
public:
    static T* allocate(size_t count) {
        return new T[count];
    }

    static void deallocate(T* ptr) {
        delete[] ptr;
    }
};

// 针对基本类型的特化内存分配器
template <typename T>
class MemoryAllocator<T, std::enable_if_t<std::is_fundamental_v<T>>> {
public:
    static T* allocate(size_t count) {
        // 可以使用更高效的内存分配策略，比如内存池
        std::cout << "Using optimized allocation for fundamental type " << typeid(T).name() << std::endl;
        return new T[count];
    }

    static void deallocate(T* ptr) {
        std::cout << "Using optimized deallocation for fundamental type " << typeid(T).name() << std::endl;
        delete[] ptr;
    }
};

// 通用容器类模板
template <typename T>
class MyContainer {
private:
    T* data;
    size_t size_;
public:
    MyContainer(size_t size) : size_(size) {
        data = MemoryAllocator<T>::allocate(size);
    }

    ~MyContainer() {
        MemoryAllocator<T>::deallocate(data);
    }
};

int main() {
    MyContainer<int> intContainer(10);
    MyContainer<std::string> stringContainer(5);

    return 0;
}

代码解释

MemoryAllocator类模板：这是一个通用的内存分配器类模板，提供了 allocate 和 deallocate 方法用于内存的分配和释放。
MemoryAllocator特化：使用 std::enable_if_t 和 std::is_fundamental_v 对基本类型进行特化。当类型为基本类型时，allocate 和 deallocate 方法会打印出使用优化策略的信息，这里可以替换为实际的优化内存分配策略，比如内存池技术。
MyContainer类模板：这是一个简单的通用容器类模板。在构造函数中，通过 MemoryAllocator<T>::allocate 分配内存，在析构函数中，通过 MemoryAllocator<T>::deallocate 释放内存。这样，对于不同类型，会自动选择通用的或特化的内存分配器。
main函数：创建了 MyContainer<int> 和 MyContainer<std::string> 的实例，分别演示了基本类型和用户自定义类型在内存分配和释放时的不同行为。

星途面试题库