Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > C/C++: Общие вопросы > Виртуальный и inline метод

Автор: SABROG 24.7.2009, 20:40

Есть у меня такая бяка. Код class Base { public:     Base()     {     }     void parse()     {         for (int i=0; i < 2; ++i) {             if (custom(i))                 break;         }     }     virtual bool custom(int i); }; class MyClass : public Base { public:     MyClass()     {     }     inline bool custom(int i)     {         switch (i)         {             case 0:                 qDebug() << i;                 return false;                 break;             case 1:                 qDebug() << i;                 return true;                 break;             default:                 break;         }         return true;     } }; Задача в том, чтобы сделать скажем 10-20 классов наследников от Base. И у всех этих классов будет единый код parse(), а вот метод custom() я хочу переопределить в каждом классе. Чтобы чуток убыстрить код я решил метод сделать inline. Вопрос заключается в том как поведет себя компилятор в этом случае. Ведь изначально код метода parse() - общий для всех экземляров, меняется только объект, но если идет inline подстановка кода внутрь метода каждого экземляра класса на базе Base, не получится ли так, что код блока for(){} будет продублирован 10-20 раз в исполнимом файле для каждого класса? Или компилятор просто проигнорирует ключевое слово inline

Автор: Alexeis 24.7.2009, 20:47

Inline нестрогая директива, а virtual строгая. Поскольку они взаимоисключающие, то сработает тока virtual.

Автор: SABROG 24.7.2009, 21:00

Спасибо. Жалко, что у компилятора (gcc) по этому поводу варнингов не выводится. Еще один вопрос. Как компилятор разрулит ситуацию, ведь указатель на метод custom() у каждого класса будет разным, не будет ли в этом случае весь код из parse() дублироваться в новые классы? Код     void parse()     {         for (int i=0; i < 2; ++i) {             if (custom(i))                 break;         }     }

Автор: azesmcar 24.7.2009, 21:22

Цитата(Alexeis @  24.7.2009,  20:47 )   Inline нестрогая директива, а virtual строгая. Поскольку они взаимоисключающие, то сработает тока virtual.  Они не взаимоисключающие, вызов виртуальной функции может быть встроен в некоторых случаях. Но ключевое слово inline для этого писать совершенно не обязательно, позволь компилятору самому решить. Функция определена в самом классе - этого достаточно. Цитата(SABROG @  24.7.2009,  21:00 ) Еще один вопрос. Как компилятор разрулит ситуацию, ведь указатель на метод custom() у каждого класса будет разным, не будет ли в этом случае весь код из parse() дублироваться в новые классы? Нет, функция parse одна, с чего ей дублироваться?

Автор: kamre 24.7.2009, 21:30

Цитата(SABROG @ 24.7.2009,  20:40) Задача в том, чтобы сделать скажем 10-20 классов наследников от Base. И у всех этих классов будет единый код parse(), а вот метод custom() я хочу переопределить в каждом классе. Чтобы чуток убыстрить код я решил метод сделать inline. В этом случае может подойти static polymorphism и http://en.wikipedia.org/wiki/Curiously_recurring_template_pattern. Компилятор может в принципе и заинлайнить все эти custom() функции.

Автор: Alexeis 24.7.2009, 22:18

Цитата(azesmcar @  24.7.2009,  20:22 ) Они не взаимоисключающие, вызов виртуальной функции может быть встроен в некоторых случаях.   Каким образом? Ведь суть позднего связывания в том, что во время компиляции неизвестно какой реально метод будет вызван, поэтому и вставляется код который ищет адрес функции в VMT. Внутри метода этого класса 100% будет вызван виртуально. Инлайн возможен только если объект создан статически и тут же вызван его метод "через точку". Я таких вещей не проверял, но из курса по ООП я помню то что виртуальная функция всегда должна вызываться как виртуальная.

Автор: azesmcar 24.7.2009, 22:21

Цитата(Alexeis @  24.7.2009,  22:18 )   Каким образом? Ведь суть позднего связывания в том, что во время компиляции неизвестно какой реально метод будет вызван, поэтому и вставляется код который ищет адрес функции в VMT. Внутри метода этого класса 100% будет вызван виртуально. Инлайн возможен только если объект создан статически и тут же вызван его метод "через точку". Я таких вещей не проверял, но из курса по ООП я помню то что виртуальная функция всегда должна вызываться как виртуальная.  Ну встроить он может только те вызовы, при которых ему заранее известен тип. В принципе все зависит от компилятора, но исключать возможность встраивания виртуальных функций не стоит. Я не о конкретно этом коде говорил, вообще, ну тут он может не встроится, а в другом месте встроится. Виртуальные функции ведь не всегда вызываются как виртуальные. Например в этом случае Код B b; b.f(); этот вызов вполне может быть встроен Код std::string name; std::cin >> name; base* b = factory.create(name); b->f(); а тут разумеется встроить не сможет даже самый гениальный компилятор (тут нужен дар предвидения   ) Цитата Инлайн возможен только если объект создан статически и тут же вызван его метод "через точку".  ну да, я как раз об этом.

Автор: mes 24.7.2009, 22:27

Цитата(azesmcar @  24.7.2009,  20:22 ) Они не взаимоисключающие, вызов виртуальной функции может быть встроен в некоторых случаях.   , в тех случаях, когда компилятор может определить отсутствие полиморфного вызова. Цитата(kamre @  24.7.2009,  20:30 ) В этом случае может подойти static polymorphism и Curiously recurring template pattern.   , но только с потерей преимуществ динамического полиморфизма, т.е  нельзя будет в рантайме пользовать объект через интерфейс базового класса. Добавлено через 1 минуту и 15 секунд Цитата(Alexeis @  24.7.2009,  21:18 ) Инлайн возможен только если объект создан статически и тут же вызван его метод "через точку".

Автор: SABROG 25.7.2009, 18:03

А вообще возможно завести контейнер, который содержал бы указатели на базовый класс и получая указатель через этот контейнер использовать методы производного класса (upcast?), без RTTI? Просто я не совсем понимаю как это работает на Java: Базовый класс Код public interface ComponentParser {      /**    * Parse some XML data using the supplied stax reader.    * @param staxXmlReader STAX reader.    * @throws XMLStreamException    */   public void parse(XMLStreamReader staxXmlReader) throws XMLStreamException;   } Производный класс: Код public class AuthorParser implements ComponentParser{      public void parse(XMLStreamReader staxXmlReader) throws XMLStreamException{            // read name       StaxUtil.moveReaderToElement("name",staxXmlReader);       String name = staxXmlReader.getElementText();              // read email       StaxUtil.moveReaderToElement("email",staxXmlReader);       String email = staxXmlReader.getElementText();              // Do something with author data...   }      } Вызов переопределенного метода parse() через базовый класс, как такое возможно? Код           if (delegates.containsKey(element)) {             ComponentParser parser = (ComponentParser) delegates.get(element);             parser.parse(staxXmlReader);           }  delegates - контейнер map.

Автор: mes 25.7.2009, 18:12

Цитата(SABROG @  25.7.2009,  17:03 ) А вообще возможно завести контейнер, который содержал бы указатели на базовый класс и получая указатель через этот контейнер использовать методы производного класса (upcast?), без RTTI? нет.. но можно постораться сократить кол-во виртуальных вызовов. Добавлено через 2 минуты и 20 секунд Цитата(SABROG @  25.7.2009,  17:03 ) Просто я не совсем понимаю как это работает на Java: так на Яве по умолчанию вроде ж все методы виртуальные

Автор: SABROG 25.7.2009, 18:35

Цитата(mes @  25.7.2009,  18:12 ) так на Яве по умолчанию вроде ж все методы виртуальные Если я сделаю базовый класс полностью виртуальным мне это поможет?  Цитата(mes @  25.7.2009,  18:12 ) нет.. но можно постораться сократить кол-во виртуальных вызовов. Тут я не уловил мысли. В принципе у меня один метод виртуальный, который переопределен в производном классе. Если я вызову не виртуальный метод parse() базового класса, в котором используется переопределенный виртуальный метод производного класса это будет работать?

Автор: mes 25.7.2009, 18:40

Цитата(SABROG @  25.7.2009,  17:35 ) Тут я не уловил мысли. Цитата(SABROG @  24.7.2009,  19:40 ) . И у всех этих классов будет единый код parse(), а вот метод custom() я хочу переопределить в каждом классе Цитата(SABROG @  24.7.2009,  19:40 )     void parse()     {         for (int i=0; i < 2; ++i) {             if (custom(i))                 break;         }     }   virtual bool custom(int i); вот тут многоразовый вызов виртуального метода custom. Хотя достаточно сделать виртуальным parse (), а чтоб не повторять код в теле  функции применить шаблоны, возможно CRT Pattern. Вообщем мысль в том, чтоб правильно организовать архитектуру, избежав лишних виртуальных вызовов.

Автор: SABROG 25.7.2009, 18:55

Цитата(mes @  25.7.2009,  18:40 ) вот тут многоразовый вызов виртуального метода custom. Хотя достаточно сделать виртуальным parse (), Я на это пойтить не могу, смысл всего в том, чтобы избежать дублирования кода. Если я сделаю parse() виртуальным, то мне придется в 20 классах дублировать цикл for(). Ладно, может быть тогда посоветуете какой-нибудь другой способ, чтобы избежать такого: Код void Tag1() {     while(!atEnd) {         ...     } } void Tag2() {     while(!atEnd) {         ...     } } void Tag3() {     while(!atEnd) {         ...     } } void Tag4() {     while(!atEnd) {         ...     } } Пытаюсь написать класс, который было бы удобно использовать с StAX xml парсером, но если брать во внимание саму технологию, то отпарсить сложный xml файл с большой глубиной уровней задача не из легких. Ссылка для ознакомления:  http://www.devx.com/Java/Article/30298/0/page/2 - статья про StAX в Java А это то, как выглядит парсинг xml'я простой структуры, всего 3 вложенных цикла while. У меня же этих циклов намного больше. Код         QXmlStreamReader xml(data);         while (!xml.atEnd()) {             xml.readNext();             if (xml.tokenType() == QXmlStreamReader::StartElement) {                 if (xml.name() == "city") {                     city = GET_DATA_ATTR;                     setWindowTitle(city);                 }                 if (xml.name() == "unit_system")                     unitSystem = xml.attributes().value("data").toString();                 // Parse current weather conditions                 if (xml.name() == "current_conditions") {                     while (!xml.atEnd()) {                         xml.readNext();                         if (xml.name() == "current_conditions")                             break;                         if (xml.tokenType() == QXmlStreamReader::StartElement) {                             if (xml.name() == "condition") {                                 m_conditionItem->setPlainText(GET_DATA_ATTR);                             }                             if (xml.name() == "icon") {                                 QString name = extractIcon(GET_DATA_ATTR);                                 if (!name.isEmpty()) {                                     delete m_iconItem;                                     m_iconItem = new QGraphicsSvgItem(name);                                     m_scene.addItem(m_iconItem);                                     m_iconItem->setParentItem(m_statusItem);                                 }                             }                             if (xml.name() == "temp_c") {                                 QString s = GET_DATA_ATTR + QChar(176);                                 m_temperatureItem->setPlainText(s);                             }                         }                     }                 }                 // Parse and collect the forecast conditions                 if (xml.name() == "forecast_conditions") {                     QGraphicsTextItem *dayItem  = 0;                     QGraphicsSvgItem *statusItem = 0;                     QString lowT, highT;                     while (!xml.atEnd()) {                         xml.readNext();                         if (xml.name() == "forecast_conditions") {                             if (dayItem && statusItem &&                                 !lowT.isEmpty() && !highT.isEmpty()) {                                 m_dayItems << dayItem;                                 m_conditionItems << statusItem;                                 QString txt = highT + '/' + lowT;                                 QGraphicsTextItem* rangeItem;                                 rangeItem = m_scene.addText(txt);                                 rangeItem->setDefaultTextColor(textColor);                                 m_rangeItems << rangeItem;                                 QGraphicsRectItem *box;                                 box = m_scene.addRect(0, 0, 10, 10);                                 box->setPen(Qt::NoPen);                                 box->setBrush(Qt::NoBrush);                                 m_forecastItems << box;                                 dayItem->setParentItem(box);                                 statusItem->setParentItem(box);                                 rangeItem->setParentItem(box);                             } else {                                 delete dayItem;                                 delete statusItem;                             }                             break;                         }                         if (xml.tokenType() == QXmlStreamReader::StartElement) {                             if (xml.name() == "day_of_week") {                                 QString s = GET_DATA_ATTR;                                 dayItem = m_scene.addText(s.left(3));                                 dayItem->setDefaultTextColor(textColor);                             }                             if (xml.name() == "icon") {                                 QString name = extractIcon(GET_DATA_ATTR);                                 if (!name.isEmpty()) {                                     statusItem = new QGraphicsSvgItem(name);                                     m_scene.addItem(statusItem);                                 }                             }                             if (xml.name() == "low")                                 lowT = toCelcius(GET_DATA_ATTR, unitSystem);                             if (xml.name() == "high")                                 highT = toCelcius(GET_DATA_ATTR, unitSystem);                         }                     }                 }             }         }

Автор: mes 25.7.2009, 19:19

Цитата(SABROG @  25.7.2009,  17:55 ) Если я сделаю parse() виртуальным, то мне придется в 20 классах дублировать цикл for(). А если сделать две Parse  ? одна для вызова виртуальная, другая шаблонная для имплементации ? Вот в упрощенном виде : Код struct IBase {    virtual void Parse ()=0; }; template <class T> void doParse (T& obj) {            for (int i=0; i < 2; ++i)               if (obj.custom(i))  break;          } struct Der : IBase {     virtual void Parse ()     { doParse(*this); }             bool Custom (int) { ... } };

Автор: Любитель 28.7.2009, 14:36

Цитата(mes @  25.7.2009,  19:19 ) А если сделать две Parse  ? одна для вызова виртуальная, другая шаблонная для имплементации ? Именно так обычно и делается. У Саттера вроде была фраза о том, чтобы делать виртуальными только прайват-методы. А паблик/проектед обёртки проверяют аргументы и выполняют некий общий, ненастраиваемый код (это правда специфика С++ - не во всех ОО-моделях прайват-методы вообще могут работать как виртуальные).

Автор: mes 28.7.2009, 14:58

Цитата(Любитель @  28.7.2009,  13:36 ) У Саттера вроде была фраза о том, чтобы делать виртуальными только прайват-методы. Это несколько другая задача (можно сказать обратная нашей)- паттерн невиртуальный интерфейс.  у нас "проблема" - лишние виртуальные вызовы. Данный паттерн ничем в данном вопросе помочь не может

Автор: Любитель 28.7.2009, 15:16

Сорри, я невнимательно прочитал твой прошлый пост :( Я думал речь о том, как обеспечить настраиваемость без дублирования кода, а не о минимизации виртуальных вызовов. Тогда речь о другом - а стоит ли это делать вообще? Ведь parse (пусть и маленький) всё равно придётся писать везде в этом случае. Как я понимаю, речь о прикладном приложении, причём на Qt - там найдётся куча гораздо более узких мест..

Автор: mes 28.7.2009, 16:57

Цитата(Любитель @  28.7.2009,  14:16 ) Ведь parse (пусть и маленький) всё равно придётся писать везде в этом случае. не обязательно.. вот пример, заодно и тс. будет легче  Код #include <iostream> struct IParser { virtual void Parse () =0; }; template <class T, class Base> class CParserOneTemplate : public Base {      public:            void Parse ()  { crtBegin(); for (unsigned i=0; i<crtCount(); ++i) crtBody(i); crtEnd(); } // вспомогательные функции статического виртуального вызова     private:            void crtBegin ()           { static_cast<T*>(this)->Begin();  }            void crtBody  (unsigned i) { static_cast<T*>(this)->Body(i);  }            void crtEnd   ()           { static_cast<T*>(this)->End();    }            unsigned crtCount  ()      { static_cast<T*>(this)->Count();  } // заготовки могут отсутствовать в шаблоне, но тогда обязательно должны быть реализованы       public:            void Begin ()           { std::cout << "[template-begin] "; }            void Body  (unsigned i) { std::cout << "[template-body " << i << " ] ";  }            void End  ()            { std::cout << "[template-end] ";   }            unsigned Count  ()      { return 3; } }; class CParserOneA : public CParserOneTemplate<CParserOneA, IParser> {     public:        void Begin ()           { std::cout << "[A begin] "; }        void Body  (unsigned i) { std::cout << "[A body " << i << " ] ";  }        void End  ()            { std::cout << "[A end] ";   }        unsigned Count  ()      { return 5; } }; // если нам для каких то функций подходит базовая реализация, то нам ее реализовывать не надо  class CParserOneB : public CParserOneTemplate<CParserOneB, IParser>   {     public:        void Body  (unsigned i) { std::cout << "[B body " << i << " ] ";  }        unsigned Count  ()      { return 2; } }; int main(int argc, char* argv[]) {   std::auto_ptr<IParser> p1 ( new CParserOneA() );   std::auto_ptr<IParser> p2 ( new CParserOneB() );   p1->Parse();   std::cout << std::endl;   p2->Parse();   std::cout << std::endl;     return 0; } как видите, никаких  лишних повторений исходного кода

Автор: Любитель 28.7.2009, 16:59

Да, красиво  Единственное - всё-таки увлекаться таким не стоит. Пусть код писать не будем, но для каждого цикла ведь весь цикл будет дублироваться (придесятке классов это несущественно, конечно).

Автор: mes 28.7.2009, 17:09

Цитата(Любитель @  28.7.2009,  15:59 ) Пусть код писать не будем, но для каждого цикла ведь весь цикл будет дублироваться (придесятке классов это несущественно, конечно). ну это естественно, ради одного приходится жертвовать другим. Тут уж пусть тс. решает что ему важней: избежать лишних виртуальных вызовов или сэкономить на объеме машинного кода (излишки которого в общем случае для данной задачи минимальны)

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)