C++与 C++/CLI：虚函数参数的 const 限定

Question

[以下所有内容均使用 Visual Studio 2008 SP1 进行测试]

在 C++ 中，参数类型的 const 限定不会影响函数的类型（8.3.5/3：“删除修改参数类型的任何 cv 限定符”）

因此，例如，在以下类层次结构中，Derived::Foo 覆盖 Base::Foo：

struct Base
{
    virtual void Foo(const int i) { }
};

struct Derived : Base
{
    virtual void Foo(int i) { }
};

考虑 C++/CLI 中的类似层次结构：

ref class Base abstract
{
public:
    virtual void Foo(const int) = 0;
};

ref class Derived : public Base
{
public:
    virtual void Foo(int i) override { }
};

如果我随后创建一个实例派生：

int main(array<System::String ^> ^args)
{
    Derived^ d = gcnew Derived;
}

编译时没有错误或警告。当我运行它时，它抛出以下异常然后终止：

ClrVirtualTest.exe 中发生“System.TypeLoadException”类型的未处理异常

其他信息：“Derived”类型中的方法“Foo”...没有实现。

该异常似乎表明参数的 const 限定确实影响 C++/CLI 中函数的类型（或者，至少它以某种方式影响重写）。但是，如果我注释掉包含 Derived::Foo 定义的行，编译器会报告以下错误（在 main 的行上，其中 的实例派生被实例化）：

错误 C2259：“派生”：无法实例化抽象类

如果我将 const 限定符添加到 Derived::Foo 的参数或从 Base::Foo 的参数中删除 const 限定符code>，它编译并运行没有错误。

我认为如果参数的 const 限定影响函数的类型，如果派生类虚函数中参数的 const 限定与基类 virtual 中参数的 const 限定不匹配，我应该得到此错误功能。

如果我将 Derived::Foo 的参数类型从 int 更改为 double，我会收到以下警告（除了上述错误，C2259）：

警告 C4490：“覆盖”：不正确使用覆盖说明符； “Derived::Foo”与基引用类方法不匹配

所以，我的问题是，函数参数的 const 限定实际上是否会影响 C++/CLI 中函数的类型？如果是这样，为什么会编译并且没有错误或警告？如果不是，为什么会抛出异常？

Answer 1

嗯，这是一个错误。 const 修饰符通过 modopt 自定义修饰符发送到元数据中。不幸的是，C++/CLI 语言规则与 CLI 规则不匹配。 CLI 规范第 7.1.1 章说：

自定义修饰符，使用 modreq 定义
（“必需的修饰符”）和 modopt
（“可选修饰符”），类似于
自定义属性（§21），除了
修饰符是签名的一部分
而不是被依附于
声明。每个修饰符关联
带有项目的类型引用
签名。

CLI 本身应处理所需的
和相同的可选修饰符
方式。两个不同的签名
仅通过添加自定义
修饰符（必需或可选）应
不被视为匹配。风俗
修饰符没有其他影响
VES 的操作。

因此，CLR 表示 Derived::Foo() 不是重写，而 C++/CLI 表示它是重写。 CLR 获胜。

您可以在 connect.microsoft.com 上报告该错误，但这可能会浪费时间。我认为这种不兼容是故意的。他们应该改变 C++/CLI 的语言规则，但肯定认为 C++ 兼容性更重要。 CV 修饰符无论如何都是一种痛苦，还有其他一些没有得到很好支持的场景，其中一个就是指向 const 的 const 指针。无论如何，这不能在运行时强制执行，CLR 不支持它。

Answer 2

这是一个错误，并且不是 C++/CLI 特有的。

https://connect.microsoft.com/VisualStudio/feedback/details/100917/argument-const-ness-is-part-of-member-function-type-signature

事实上，C++ 编译器应该去掉顶级 const/volatile。只有指针或引用的指向类型上的 const/volatile 才重要。如果编译器正确地做到了这一点，那么 CLR 将不会对正在发生的事情有发言权。

顺便说一句，这是编译器使用 /clr:pure 生成的 IL，

.class private abstract auto ansi beforefieldinit Base
    extends [mscorlib]System.Object
{
    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed
    {
        .maxstack 1
        L_0000: ldarg.0 
        L_0001: call instance void [mscorlib]System.Object::.ctor()
        L_0006: ret 
    }

    .method public hidebysig newslot abstract virtual instance void Foo(int32 modopt([mscorlib]System.Runtime.CompilerServices.IsConst)) cil managed
    {
    }

}

.class private auto ansi beforefieldinit Derived
    extends Base
{
    .method public hidebysig specialname rtspecialname instance void .ctor() cil managed
    {
        .maxstack 1
        L_0000: ldarg.0 
        L_0001: call instance void Base::.ctor()
        L_0006: ret 
    }

    .method public hidebysig virtual instance void Foo(int32 i) cil managed
    {
        .maxstack 0
        L_0000: ret 
    }

}

这绝对违反了 James 列出的有关删除顶级限定符的规则。

C++/CLI 规范的其他相关部分：

8.8.10.1 函数重写

[截图]

1. 派生类函数通过使用函数修饰符 override 显式重写具有相同名称、参数类型列表和 cv 限定的基类虚函数，如果没有此类基类虚函数，则程序格式错误函数存在

12.3 声明符类型

C++ 标准 (§8.3.5/3) 得到增强，如下：
转换后的参数类型的结果列表以及省略号是否存在是函数的参数类型列表。

因此，我相信删除 cv 限定符的规则也适用于 C++/CLI，因为该规范特别引用了 ISO 标准 C++ 的第 8.3.5/3 节。