Почему именно компиляторы не могут определить истинный тип переменной до времени выполнения?
Я часто слышу о том, что компиляторы не могут определить точную реализацию метода при определенных условиях. Пример Fox, мы можем представить сценарий (так говорят люди), где для родительского класса с методом foo (), который был переопределен в дочернем классе, компилятор не будет теперь, какую реализацию foo () вызывать до времени выполнения. Следовательно, у нас есть понятия динамической отправки, vtables и т. Д.
Мой вопрос точно Зачем может ли компилятор не определить точную реализацию для вызова? Я перестал думать об этом в последнее время, и я изо всех сил пытался оправдать это. Возможно, есть что-то действительно очевидное, что я упускаю (возможно, я пну себя, когда услышу ответ). Это только из-за внешних обстоятельств? Если так, то как бы это закончилось?
Это ограничение зависит от языка или есть что-то более фундаментальное?
Решение
Думать об этом:
class Base
{
public:
virtual void some_virtual_method(){...}
};
class Derived: public Base
{
public:
void some_virtual_method() override{...}
};
int choice;
cin >> choice; // cannot know the value at compile time
Base* foo;
if(choice)
{
foo = new Base;
}
else
{
foo = new Derived;
}
foo->some_virtual_method();
Компилятор не может знать, какой some_virtual_method() вызывать во время компиляции, так как выбор зависит исключительно от ввода пользователя. Диспетчеризация осуществляется через виртуальную таблицу функций и выполняется во время выполнения.
Другие решения
Компилятор не имеет ничего общего со временем выполнения, за исключением того, что он подготавливает машинный код, который фактически выполняется.
Когда объект создается динамически и имеет полиморфные свойства, а функция получает параметр типа суперкласса, этот тип не известен PROGRAM, пока он не будет передан.