在C++代码生成器中模拟 C#"new"(隐藏虚拟方法)

我正在开发一个系统，该系统采用一组已编译的.NET程序集并发出C++代码，然后可以将这些代码编译到任何具有C++编译器的平台上。当然，这涉及到一些广泛的技巧，因为.NET做了很多C++没有做的事情。

其中一种情况是隐藏虚拟方法的能力，例如C#中的以下方法：

class A
{
    virtual void MyMethod()
    { ... }
}
class B : A
{
    override void MyMethod()
    { ... }
}
class C : B
{
    new virtual void MyMethod()
    { ... }
}
class D : C
{
    override void MyMethod()
    { ... }
}

我想出了一个解决方案，看起来很聪明，而且确实有效，比如下面的例子：

namespace impdetails
{
template<class by_type>
struct redef {};
}
struct A
{
    virtual void MyMethod( void );
};
struct B : A
{
    virtual void MyMethod( void );
};
struct C : B
{
    virtual void MyMethod( impdetails::redef<C> );
};
struct D : C
{
    virtual void MyMethod( impdetails::redef<D> );
};

这当然需要C::MyMethod和D::MyMethod的所有调用站点构造并传递伪对象，如本例所示：

C *c_d = &d;
c_d->MyMethod( impdetails::redef<C>() );

我不担心这个额外的源代码开销；该系统的输出主要不用于人类消费。

不幸的是，事实证明这实际上会导致运行时开销。直观地说，由于impdetails::redef<>是空的，它将不占用空间，并且传递它将不涉及任何代码。

然而，由于我理解但不完全同意的原因，C++标准要求对象不能为零。这给我们留下了一种情况，编译器实际上会发出代码来创建和传递对象。

事实上，至少在VC2008上，我发现它甚至遇到了将伪字节归零的麻烦，即使在发布版本中也是如此！我不知道为什么是必要的，但这让我更不想这样做。

如果所有其他操作都失败了，我总是可以更改函数的实际名称，比如可能有MyMethod、MyMethod$1和MyMethod$2。然而，这会导致更多的问题。例如，$在C++标识符中实际上是不合法的(尽管我测试过的编译器会允许它。(输出程序中完全可接受的标识符也可能是输入程序中的标识符，这表明需要一种更复杂的方法，使其不那么有吸引力。

事实证明，在这个项目中还有其他情况，能够使用任意类型参数修改方法签名会很好，类似于我将类型传递给impdetails::redef<>的方式。

有没有其他聪明的方法来解决这个问题，或者我在每个呼叫站点增加开销或篡改名称之间左右为难？