c++ - C++ placement new 'constructor' 的多个参数

Question

为了进行一些自定义内存跟踪(泄漏预防、损坏检测)，我不得不使用 placement new 来创建 C++ 对象，这工作正常 - 但我正在努力弄清楚如何将参数传递给构造函数，因为它是从宏调用的(因此可以自动提供文件 + 行)。

函数:

template <typename T>
T*
cpp_new(
    const char *file,
    size_t line
)
{
    T   *n = (T*)tracked_allocate(&memory_context, sizeof(T), file, line);

    if ( n )
    {
        construct(n);
    }
    else
    {
        throw std::bad_alloc();
    }

    return n;
}

这是通过宏调用的:

#define new_object(type)    cpp_new<type>(__FILE__, __LINE__)

放置新的:

template <typename T>
void
construct(
    T *obj
)
{
    obj = new (obj) T;
}

va_list 宏将涵盖可变数量参数的扩展，只是我不想提供构造函数具有的参数数量，删除 va_arg()，并且不能使用 va_start()，因为它期望一种格式。

这让我有点头疼:http://www.drdobbs.com/cpp/calling-constructors-with-placement-new/232901023?pgno=2

有什么方法可以使用 new_object 中的 __VA_ARGS__ 并将它们传递给构造函数吗？每个对象只有一个构造函数，但是有许多不同类型的对象采用不同的参数，所以我想尽可能地去除手动维护。

或者是否有更好的方法来完成我正在尝试的事情!

Answer 1

你不应该处理 construct-if-allocation-succeeded。这是 new 表达式的工作。它正确地做到了这一点，就像一个类似事务的操作:要么全部成功，要么在传播异常之前执行清理。

因此，从这个责任中解脱出来，宏的工作就是做只有宏才能做的事情，即获取文件名和行。

这些项目可以/应该传递给分配器函数，从技术上讲，它是一个“新的放置”，尽管在这里它不会就地构建:它是一个新的放置 仅仅因为它有额外的、用户定义的参数，像这样:

bool hopefully( bool const c ) { return c; }

template< class X >
bool throw_( X const& x ) { throw x; }

void* operator new( size_t const size, char const* const filename, int const linenum )
{
    void* const p = tracked_allocate( &memory_context, size, filename, linenum );
    hopefully( p != 0 )
        || throw_( std::bad_alloc() )
    return p;
}

您需要定义相应的放置释放函数，否则当构造函数抛出时，new 表达式将无法释放:

void operator delete( void* const p )
{
    // Your custom deallocation.
}

void operator delete( void* const p, char const*, int )
{
    ::operator delete( p );
}

现在您的宏只需要提供相关的放置参数，如下所示:

#define SOURCE_LINE_INFO __FILE__, __LINE__

然后你就可以说，喜欢，

new (SOURCE_LINE_INFO) MyType( arg1, arg2, arg3 )

要获得更可重用的解决方案，请考虑定义一个 struct 来保存文件名和行号。然后宏减少到构造该类型的实例，并且可以更普遍地使用。特别是，它可以用于记录调用。