c ++ 11 — Нарушающая конфиденциальность — как справляется стандарт C ++?

Рассмотрим приведенный ниже фрагмент кода.

Метод Sayhi () имеет открытый доступ в классе Base.

Sayhi () был переопределен как приватный метод классом Derived.

Таким образом, мы можем вторгаться в чью-то личную жизнь и C ++ не может обнаружить это, потому что все происходит во время выполнения.

Я понимаю, что это «чисто» проверка во время компиляции. Но при использовании некоторой иерархии наследования программисты могут неправильно изменять спецификаторы доступа. Разве стандарт не должен сказать, по крайней мере? какое-то предупреждающее сообщение.

Почему компилятор не выдает по крайней мере предупреждающее сообщение, когда спецификатор доступа переопределенных или виртуальных функций отличается?

Q1. Говорит ли стандарт C ++ о таких аномалиях во время выполнения?

Q2. Я хочу понять, с точки зрения стандарта C ++, почему бы стандарту не предписать разработчикам компилятора диагностику предупреждений?

#include <iostream>

class Base {
public:
virtual void Sayhi() { std::cout<<"hi from Base"<<std::endl; }
};

class Derived : public Base
{
private:
virtual void Sayhi() { std::cout<<"hi from Derived"<<std::endl; }
};int main() {
Base *pb = new Derived;
// private method Derived::Sayhi() invoked.
// May affect the object state!
pb->Sayhi();
return 0;
}