C++模板类addTo成员函数参数设计：直接传构造参数创建对象

这个需求完全可以通过C++的可变参数模板结合std::unordered_map的原地构造方法来实现，完美解决你提到的拷贝和内存管理问题，直接上代码和解释：

首先定义你的TempClass模板类，利用C11及以后的可变参数模板和std::unordered_map的try_emplace方法（C17引入，兼容更早版本可以用emplace，但try_emplace更安全）：

#include <unordered_map>
#include <utility> // 用于std::forward

template<typename T>
class TempClass {
private:
    std::unordered_map<int, T> inserted; // 假设Key是int类型，可根据需求修改为任意类型

public:
    // 可变参数模板的addTo函数，完美转发构造参数
    template<typename... Args>
    void addTo(int key, Args&&... args) {
        // try_emplace会检查key是否存在：不存在则原地构造T对象，存在则无操作
        // std::forward完美转发参数，保证左值/右值参数都能正确传递给构造函数
        inserted.try_emplace(key, std::forward<Args>(args)...);
    }

    // 若需要覆盖已有key的对象，可替换为emplace（C++11+支持）：
    // template<typename... Args>
    // void addTo(int key, Args&&... args) {
    //     inserted.emplace(key, std::forward<Args>(args)...);
    // }
};

• 无需外部传入对象：直接传递T的构造参数即可，try_emplace会在unordered_map内部原地构造T对象，完全不需要在外部创建临时实例。
• 无额外拷贝开销：对象直接在容器的内存空间中创建，没有多余的拷贝或移动操作（除非T自身的构造逻辑包含拷贝，这属于对象本身的特性）。
• 自动管理生命周期：unordered_map会全权负责所有T对象的内存管理，容器销毁或元素被移除时，对象会自动析构，完全不需要手动释放内存或使用智能指针。

假设你有自定义的Vector3f类：

struct Vector3f {
    float x, y, z;
    Vector3f(float a, float b, float c) : x(a), y(b), z(c) {}
};

调用TempClass的addTo方法：

#include <string>

int main() {
    // 处理std::string的场景
    TempClass<std::string> strClass;
    strClass.addTo(1, "Hello World"); // 直接传字符串字面量，原地构造std::string

    // 处理Vector3f的场景
    TempClass<Vector3f> vecClass;
    vecClass.addTo(2, 1.0f, 2.0f, 3.0f); // 直接传三个float，原地构造Vector3f

    return 0;
}

• 如果需要支持任意Key类型，可以把TempClass改成双模板参数：template<typename Key, typename T>，进一步提升通用性。
• try_emplace和emplace的区别：try_emplace仅在Key不存在时构造对象，避免了Key已存在时的无效构造开销；emplace则会尝试构造对象，若Key已存在则丢弃临时对象，所以优先推荐try_emplace（需C++17及以上）。
• 完美转发std::forward<Args>(args)...确保了无论是左值还是右值参数，都能以正确的形式传递给T的构造函数，最大化效率。

内容的提问来源于stack exchange，提问作者MoustacheSpy