Почему чисто виртуальная функция-член должна быть виртуальной? ⇐ C++

[Anonymous]

У меня вопрос относительно объявления чистых виртуальных функций в C++. Я имею опыт работы с Java, поэтому рассматриваю чистые виртуальные функции как способ определения абстрактных классов и идею интерфейсов. Мой вопрос прост: когда мы определяем чистую виртуальную функцию в C++, нам нужно написать что-то вроде этого:

виртуальная функция void() =0

Пустота может быть любого типа, но мы должны включить значение равное 0 и ключевое слово virtual. Я понимаю, что часть «равно 0» используется для определения чистой функции, но у меня вопрос: почему она должна быть виртуальной? Разве мы не можем просто определить это без ключевого слова virtual? Это просто часть C++, которая включена в определение чистых виртуальных функций, или есть логическая причина, почему «абстрактные методы» тоже должны быть виртуальными?