解决 C++运算符新的歧义（如何强制它）？

Question

我的代码（尚未发布，在文件 iaca.hh 中）位于 pastebin：Basile Iaca C++ new冲突 我在 Debian/Linux/Sid AMD64 上使用 GCC 4.6 和 C++11 方言。

g++  -std=c++0x -Wall -Wextra -g -O -flto -I/usr/local/include -o iaca.hh.gch iaca.hh 
iaca.hh:631:2: warning: #warning should implement the methods [-Wcpp]
iaca.hh: In static member function 'static IaDictionnaryItem* IaDictionnaryItem::make()':
iaca.hh:964:46: error: request for member 'operator new' is ambiguous
/usr/local/include/gc/gc_cpp.h:304:14: error: candidates are: static void* gc::operator new(size_t, void*)
/usr/local/include/gc/gc_cpp.h:296:14: error:                 static void* gc::operator new(size_t, GCPlacement)
/usr/local/include/gc/gc_cpp.h:293:14: error:                 static void* gc::operator new(size_t)
iaca.hh:675:7: error:                 static void* IaAnyValue::operator new(size_t, IaAnyValue::allocate_new_value_st)
iaca.hh:667:7: error:                 static void* IaAnyValue::operator new(size_t, size_t, IaAnyValue::allocate_new_value_st)

我不知道强制 operator new 的正确语法是什么。我希望在我的 iaca.hh 文件末尾的函数 IaDictionnaryItem::make 中调用我的类 IaAnyValue 中的一个函数

。我们引入了空的 allocate_new_value 来解决歧义，但没有成功。

我尝试没有成功

IaDictionnaryItem* IaDictionnaryItem::make() {
  return new(IaAnyValue::allocate_new_value) IaDictionnaryItem;
}

，

IaDictionnaryItem* IaDictionnaryItem::make() {
  return IaAnyValue::operator new(IaAnyValue::allocate_new_value) IaDictionnaryItem;
}

据我所知，运算符 new 总是以 sizeof (*this) 作为隐式第一个参数来调用，等等。

关于我的问题的一些动机位于 这个关于 Boehm 的 GC & 的问题C++。请不要告诉我我不应该使用 Boehm 的 GC。我需要使用它（否则我不会使用C++）。

强制调用良好的运算符 new 的正确语法是什么？

我希望使用 Boehm 的 GC 分配器。它可以通过 gc_cleanup 类获得，该类位于 class IaItemValue : public IaAnyValue, gc_cleanup 中，也可以作为我的 class 中的 new 来使用。 IaAnyValue （IaDictionnaryItem 的唯一超类）我同意存在歧义，我只是不猜测强制它的语法。

那么我应该如何在文件末尾编写我的简单 IaDictionnaryItem::make 才能成功编译它？

为了便于阅读，我更喜欢使用 sz=sizeof(*this) 调用 IaAnyValue::operator new ，即 sizeof(IaDictionnaryItem), gap=0 和 al=allocate_new_value。我只是无法弄清楚强制调用这个特定函数的语法（当然，我仍然希望在 IaDictionnaryItem::make 内部调用 IaDictionnaryItem 的构造函数）。

我尝试强制使用 gc::operator new(size_t size, GCPlacement gcp) （gc 类由  gc_cleanup 继承）来自 ），使用

IaDictionnaryItem* IaDictionnaryItem::make() {
  return new (UseGC) IaDictionnaryItem;
}

我的 make 函数是一个静态函数，返回我的对象​​的新实例。请记住，我使用的是 Beohm 的 GC，当没有指针指向它时，它最终会释放所使用的内存（并删除对象）。

但我仍然收到

iaca.hh: In static member function 'static IaDictionnaryItem* IaDictionnaryItem::make()':
iaca.hh:962:22: error: request for member 'operator new' is ambiguous
/usr/local/include/gc/gc_cpp.h:304:14: error: candidates are: static void* gc::operator new(size_t, void*)
/usr/local/include/gc/gc_cpp.h:296:14: error:                 static void* gc::operator new(size_t, GCPlacement)
/usr/local/include/gc/gc_cpp.h:293:14: error:                 static void* gc::operator new(size_t)
iaca.hh:675:7: error:                 static void* IaAnyValue::operator new(size_t, IaAnyValue::allocate_new_value_st)
iaca.hh:667:7: error:                 static void* IaAnyValue::operator new(size_t, size_t, IaAnyValue::allocate_new_value_st)

问候。

编辑：这是问题的简单示例：

#include <cstddef>
struct A {};
struct B { void* operator new(std::size_t, A); };

struct C {};
struct D { void* operator new(std::size_t, C); };

struct E : B, D {};

int main()
{
    //I want to use `void* D::operator new(std::size_t, C);` to allocate memory
    //but it will not compile because the call to operator new is ambiguous.
    new(C()) E;
}

Answer 1

您的问题是多重继承问题。请注意，类 IaItemValue 继承自 IaAnyValue 和 gc_cleanup（而 IaDictionnaryItem 继承自 IaItemValue code>)，两者都为 operator new 提供重载。为了解决此问题，您可以将以下行添加到 IaDictionnaryItem 的类定义中：

using IaAnyValue::operator new;

Answer 2

为了理解您的问题，我深入研究了您的代码，并可以做出以下断言：

• IaAnyValue::allocate_new_value 是一个 struct allocate_new_value_st {}
• GCPlacement< /code> 是一个enum { NoGC, PointerFreeGC }

您定义了三个新 运算符：

void* operator new(size_t);               
void* operator new(size_t, GCPlacement);  
void* operator new(size_t, void*);        

您需要具体说明您所调用的内容。

调用 new(size_t)：

new X;

调用 new(size_t, GCPlacement)：

new(NoGC) X;

调用 new(size_t, void*)：

allocate_new_value_st Y;
new(&Y) X;