Почему можно не указывать virtual в файле реализации?

Question

[Qubc]

A.h :

#pragma once 
class A{
public:
    virtual void function1 ();
    virtual ~A ();
};

A.cpp :

#include "A.h"
void A::function1 (){ } // virtual void A::function1 (){ }
A::~A(){  } // virtual  A::~A(){  }

Answer 1

[jcmvbkbc]

Почему можно не указывать virtual в файле реализации?

Не то чтобы "можно не указывать". Нужно не указывать. Потому что так говорит стандарт.
И потому что виртуальность функции -- это не свойство функции, а свойство класса которому она принадлежит. Код функции не зависит от того, виртуальная она или нет.

Comments

[Qubc]

Идеальный ответ, спасибо большое!

[Qubc]

Скажите пожалуйста, верно ли я понимаю, что поэтому до появления override было сложно понять, что производный класс предоставляет виртуальные методы?

[jcmvbkbc]

поэтому до появления override было сложно понять, что производный класс предоставляет виртуальные методы?

Qubc, непонятно, "поэтому" -- это почему.
override гарантирует, что если в базовом классе функция не виртуальная, то код не соберётся. Как я понимаю, эта фича нацелена на поддержку случая, когда может потребоваться менять определения виртуальных функций базового класса: с использованием override наследники которые не обновлены вслед за базовым классом не скомпилируются, а без использования функциональность наследников будет просто молча поломана.

[Qubc]

jcmvbkbc, я к чему это всё спрашивал - допустим, я читаю чужой код и вижу какой-то класс. Я не знаю, являются ли его методы виртуальными, а чтобы узнать - нужно добраться до базового класса. Если же в объявлении написан virtual или тем более override, то сразу понятно - данный класс использует виртуальные функции.

p.s.

когда может потребоваться менять определения виртуальных функций базового класса:

И ещё, я так понимаю, для безопасности, чтобы гарантировать что пользователь обязательно сделал override метода вместо непреднамеренного redefine.