c++ - 具有 const 引用的可变参数模板

Question

我的项目使用自定义分配器以下列方式构造对象:

template <typename T, typename... Args>
T* create(Args... args)
{
    T* object = // request "bare" memory
    // call object constructor
    return new(reinterpret_cast<void*>(object)) T(args...);
}

有一个类，包含常量引用作为字段:

struct A {
  A(const string& s) : str_(s) {
    cout << &s << '\n';
  }

  const string& str_;
};

但是当我试图创建一个对象时，我得到了错误的结果:

string* str = new string("some string");
cout << str << '\n';
A* a = create<A>(*str);

输出:

0x7fffc8004db4
0x7fffd5436050

我认为 const 引用字段 (str_) 应该包含相同的地址，已提供给建筑机械，但显然这不是真的。

为什么会发生，如何避免？

Ofc，我不能不使用自定义分配器，这是强制性的，我不会问。

Answer 1

template <typename T, typename... Args>
T* create(Args... args)
{
    T* object = // request "bare" memory
    // call object constructor
    return new(reinterpret_cast<void*>(object)) T(args...);
}

所有可变参数都将按值传递。因此正在制作拷贝。您可能想使用转发引用:

template <typename T, typename... Args>
T* create(Args&&... args)
{
    auto memory =  // request "bare" memory
    // call object constructor
    return new(memory) T(std::forward<Args>(args)...);
}

打印:

0x111ac20
0x111ac20

Demo

---

每当您想使用 placement-new 时，再次考虑数据对齐。