C++ по сравнению с C++ / CLI: квалификация Константы параметров виртуальной функции

[Все следующее было протестировано с помощью Visual Studio 2008 SP1]

В C++ квалификация константы типов параметра не влияет на тип функции (8.3.5/3: "Любой спецификатор условной цены, изменяющий тип параметра, удален"),

Так, например, в следующей иерархии классов, 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 { }
};

Если я затем создаю экземпляр Derived:

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

это компилирует без ошибок или предупреждений. Когда я выполняю его, это выдает следующее исключение и затем завершается:

Необработанное исключение типа 'Система. TypeLoadException' произошел в ClrVirtualTest.exe

Дополнительная информация: Метод 'Нечто' в типе, 'Полученном'..., не имеет реализации.

То исключение, кажется, указывает, что квалификация константы параметра действительно влияет на тип функции в C++ / CLI (или, по крайней мере, это влияет на переопределение в некотором роде). Однако, если я комментирую строку, содержащую определение Derived::Foo, компилятор сообщает о следующей ошибке (на строке в main где экземпляр Derived инстанцирован):

ошибка C2259: 'Полученный': не может инстанцировать абстрактного класса

Если я добавляю спецификатор константы к параметру Derived::Foo или удалите спецификатор константы из параметра Base::Foo, это компилирует и работает без ошибок.

Я думал бы, что, если квалификация константы параметра влияет на тип функции, я должен получить эту ошибку, если квалификация константы параметра в виртуальной функции производного класса не соответствует квалификации константы параметра в виртуальной функции базового класса.

Если я изменяю тип Derived::Fooпараметр от int к a double, Я получаю соблюдающее предупреждение (в дополнение к вышеупомянутой ошибке, C2259):

предупреждение C4490: 'переопределение': неправильное использование спецификатора переопределения; 'Полученный:: Нечто' не соответствует основе касательно метода класса

Так, мой вопрос, эффективно, делает квалификацию константы влияния параметров функции тип функции в C++ / CLI? Если так, почему это компилирует и почему не там никакие ошибки или предупреждения? В противном случае, почему исключение выдается?