Зачем нужна виртуальная функция?

Question

Я просто заметил это в какой-то код:

class Foo { 
[...] 
private: 
    virtual void Bar() = 0; 
[...] 
} 

ли это какой-либо цели?

(Я пытаюсь порта некоторый код из VS в G ++, и это привлекло мое внимание)

Answer 1

См this Herb Sutter article, почему вы хотели бы сделать такую ​​вещь

Answer 2

Это чисто виртуальная функция. Любая окончательная реализация, которая держится от «Foo», ДОЛЖНА реализовать функцию «Бар».

Answer 3

Это делает функцию чистой виртуальной, а не виртуальной.

По умолчанию не реализована реализация, и целью является то, что реализация функции должна быть задана наследующим классом. Однако это можно переоценить.

Иногда вы видите полные классы, где все функции-члены задаются как виртуальные таким образом.

Это абстрактные базовые классы, иногда называемые интерфейсами, и разработчик ABC говорит вам: «Теперь я знаю, как эта функциональность будет реализована для всех специализаций этого базового класса. должны иметь все из них, определенные для вашей специализации, чтобы работать, и вы знаете, как должен вести себя ваш объект ».

Редактировать: Ой, просто заметили, что чистая виртуальная функция элемента является частной. (Спасибо, Майкл) Это немного меняет ситуацию.

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

Так что некоторые публичные функции в Foo вызывают функцию Bar внутри Foo и полагаются на то, что вы предоставите специализированную реализацию функции Bar для вашего конкретного случая.

Скотт Майерс ссылается на это как «реализованный в терминах».

BTW Просто посмеиваясь о количестве ответов, которые были быстро удалены людьми, которые также не видели «мелкий шрифт» в вопросе! (-:.

НТН

веселит,

Answer 4

Единственная цель, кажется, служат, чтобы обеспечить общий интерфейс .

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

Тем не менее, подобные вещи обычно служат интерфейсом, но я этого не делаю.

Answer 5

Я собираюсь процитировать краткое объяснение от великого C++ FAQ Lite который суммирует это хорошо:

[23,4] Когда кто-то должен использовать частные виртуалов?

Практически никогда.

Защищенные виртуальные машины в порядке, но частные виртуальные машины обычно являются сетью потеря. Причина: частные виртуальные путают новых программистов на С ++, а путаница увеличивает стоимость, график задержек и снижает риск.

Новые программисты на С ++ путаются частными виртуальными машинами, потому что они считают, что приватный виртуальный не может быть переопределен. В конце концов, производный класс не может доступа к элементам доступа, которые являются частными в своем базовом классе , поэтому как, они спрашивают, может ли он переопределить личный виртуальный из своего базового класса ? Есть объяснения для выше, но это академический. Реальная проблема заключается в том, что почти все путают первый раз, когда они запускают в частные виртуальные машины, а путаница - это плохо.

Если нет веской причины для , наоборот, избегайте частных виртуальных машин.

---

C++ FAQ Lite был обновлен в то же время:

Кстати, это сбивает с толку большинство начинающих C++ программистов, что частные виртуалов могут быть переопределены, не говоря уже действуют на всех. Всех нас учили, что частные члены в базовом классе недоступны в классах, полученных из него, что является правильным. Однако эта недоступность по производному классу не имеет ничего общего с механизмом виртуального вызова, который относится к производному классу. Поскольку это может путать новичков, часто задаваемые вопросы по C++, которые ранее использовались с использованием защищенных виртуальных машин, а не частных виртуальных машин. Однако частный виртуальный подход в настоящее время достаточно распространен, что путаница новичков вызывает меньше беспокойства.

Answer 6

Обычный «академический» ответ: спецификаторы доступа и виртуальность ортогональны - одно не влияет на другое.

Немного более практичный ответ: частные виртуальные функции часто используются для реализации шаблона проектирования Template Method. В языках, которые не поддерживают частные виртуальные функции, метод шаблона должен быть общедоступным, хотя на самом деле он не должен быть частью интерфейса.

Answer 7

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

Я думаю, что вы можете быть смущены b/c, это делается для создания «интерфейсов» на C++, и много раз люди думают об этом как о публичном. Бывают случаи, когда вы можете определить интерфейс, который является приватным, когда открытый метод использует эти частные методы, чтобы обеспечить порядок их вызова.(Я считаю, что это называется метод шаблона)

За сравнительно плохой пример :)

 
class RecordFile 
{ 
    public: 
     RecordFile(const std::string &filename); 

     void process(const Record &rec) 
     { 
      // Call the derived class function to filter out 
      // records the derived instance of this class does 
      // not care about 
      if (filterRecord(rec))  
      { 
       writeRecordToFile(rec);   
      } 
     }; 

    private: 
     // Returns true if the record is of importance 
     // and should be kept 
     virtual bool filterRecord(const Record &rec) = 0; 

     void writeRecordToFile(const Record &rec); 
}; 

Answer 8

ISO C++ 2003 явно не позволяет это сделать:

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

[...] контроль доступа (пункт 11) является не учитывается при определении переопределение.

Код полностью законный.