2

为了进行一些自定义内存跟踪（泄漏预防、损坏检测），我不得不使用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

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

还是有更好的方法来做我正在尝试的事情！

4

1 回答 1

4

如果分配成功，则不应处理构造。这就是 - 表达式的工作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 )

对于更可重用的解决方案，请考虑定义 astruct来保存文件名和行号。然后宏简化为构造该类型的实例，并且可以更普遍地使用。特别是，它可以用于记录呼叫。

于 2012-10-01T04:13:14.083 回答