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

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

Автор: mrgloom 17.5.2013, 15:26

Почему нельзя создать объект абстрактного класса? но можно создать на него указатель. (непонятно именно с логической точки зрения). потому что создав указатель всё равно можно навредить Код Ptr<AbstractClass> cl; //cl= new ClassWithMethod(); // если не сделать этого cl->domethod(); // падает

Автор: mes 17.5.2013, 15:36

Цитата(mrgloom @  17.5.2013,  14:26 ) но можно создать на него указатель mrgloom, указатель не создают...  Цитата(mrgloom @  17.5.2013,  14:26 ) всё равно можно навредить навредить можно еше тысячей разных способов.. при этом, что указанный вред никак не связан с абстрактным классом.. и.. "не навреди" единным жив программист....

Автор: Arantir 17.5.2013, 15:53

Цитата(mrgloom @  17.5.2013,  14:26 ) но можно создать на него указатель. Можно создать указатель, в который можно поместить объект, наследующий этот класс. Это просто будет значить, что объект в указателе (точнее, на который этот указатель указывает) обязательно должен быть наследником этого абстрактного класса. В других языках для этого существуют еще и интерфейсы. Цитата(mrgloom @  17.5.2013,  14:26 ) всё равно можно навредить Код Ptr<AbstractClass> cl; //cl= new ClassWithMethod(); // если не сделать этого vgj$#!#^^@%T(@*#& // падает  Программиста от собственного ума ничего не спасет.

Автор: NoviceF 17.5.2013, 16:54

Цитата(mrgloom @  17.5.2013,  16:26 ) Почему нельзя создать объект абстрактного класса? но можно создать на него указатель. как уже в общем написали выше, через указатель на базовый класс можно обращаться к наследникам этого базового класса, это называется динамический полиморфизм. Цитата(mrgloom @  17.5.2013,  16:26 ) потому что создав указатель всё равно можно навредить вот тебе ещё на тему  Код class ABC{ public:         int a;         void print(){cout<<"hello"<<endl;} }; int main(){         ABC *ptr = NULL:         ptr->print();         return 0; } http://stackoverflow.com/questions/2505328/calling-class-method-through-null-class-pointer тоже всё будет работать, пока нет обращения к членам данным. То есть можно забыть создать или проинициализировать член данное в классе (если обращение к нему происхоодит через указатель), а потом появятся загадочные падения в конструкторе копирования, например  Код class ABC{ public:     int a;     void print(){cout<<"hello"<<endl;}     int GetX() { return *x; } private:     int* x; };       int main()  {     ABC *ptr = NULL;      ptr->print();           // ok (ну как ок.. вообще-то это уб, но программа не упадёт)     ptr->GetX();           // а вот тут упадёт     return 0;  } про указатель это так.. из практики  а в данном премере достаточно попробовать обратиться к Код int a;

Автор: mrgloom 20.5.2013, 12:40

Цитата mrgloom, указатель не создают...  объявляют?  т.е. как бы создание класса предполагает собой создание чего(выделение памяти), а указатель просто указатель на такой то тип? но так же можно было бы и создать "пустой" класс, где какое то поле не опеределено или какой то метод. так что непонятно такое ограничение.  Цитата class ABC{ public:         int a;         void print(){cout<<"hello"<<endl;} }; int main(){         ABC *ptr = NULL:         ptr->print();         return 0; } ну имхо это интуитивно\логически неправильно, хотя понятно что это "фича" языка. Добавлено через 2 минуты и 41 секунду хотя опять же есть static функции которыми можно пользоваться без создания класса. Добавлено через 5 минут и 43 секунды но вопрос то не в этом, а в том почему нельзя определить класс с абстрактным методом. Добавлено через 7 минут и 14 секунд Код AbstractClass cl; cl.domethod(); // путь тут так же и упадёт

Автор: Guinness 20.5.2013, 12:52

Цитата(mrgloom @  20.5.2013,  12:40 ) ну имхо это интуитивно\логически неправильно, хотя понятно что это "фича" языка. Если я ничего не путаю, то это не фича языка. При компиляции обычные функции класса компилируются в определенный раздел exe-шника. И для любового экзепляра класса будут вызываться функции хранящиеся в одной области памяти. (Может быть ошибаюсь, но мне когда-то так объясняли работу вышеуказанного кода). К слову этот код должен ломаться, если сделать данную функцию объявить виртуальной. Т.к. для каждого экземпляра класса создается своя таблица виртульных функций.

Автор: xvr 20.5.2013, 13:08

Цитата(mrgloom @  20.5.2013,  12:40 ) но вопрос то не в этом, а в том почему нельзя определить класс с абстрактным методом. Потому и нельзя - метода то нет   Есть только заглушка, которая никогда не должна вызываться, поэтому и экземпляр такого класса создать нельзя.

Автор: Arantir 20.5.2013, 13:17

Цитата(mrgloom @  20.5.2013,  11:40 ) но так же можно было бы и создать "пустой" класс Ага, называется NULL. Дело в том, что это логическая бомба. Если метод имеет тип возвращаемого значения, то программа ожидает это значение в 100% вызовов этого метода. Вызывать абстрактный метод априори не имеет смысла. Если вам нужно создавать экземпляр класса, зачем его вообще делать абстрактным? То, что вам нужно, можно и нужно реализовывать своими руками. Если вам нужны пустые методы для переопределения в наследниках, то для этого существуют виртуальные методы: Код class Base { public:     virtual const char* GetName() { throw new NotImplementedException(); } } переопределенные в дочернем классе, они заменят родительский метод даже, если указатель будет иметь тип родительского. В то же время можно создать экземпляр родительского класса. А при потребности можно выбросить исключение при вызове не переопределенного метода. Абстрактный класс предназначен именно для случая, когда его экземпляр не должен создаваться по замыслу разработчика. Кроме того, в C++ абстрактный класс так же может являться и интерфейсом. Это значит, что разработчик требует, чтобы в задуманных местах объекты в любом случае имели предусмотренные поля и методы. При этом класс, описывающих набор этих методов, является лишь шаблоном (такой себе инструкцией) и заведомо не нуждается в создании своих экземпляров.

Автор: volatile 20.5.2013, 13:48

Цитата(mrgloom @  20.5.2013,  12:40 ) но вопрос то не в этом, а в том почему нельзя определить класс с абстрактным методом. AbstractClass cl; cl.domethod(); // путь тут так же и упадёт Нельзя и всё! Воспринимайте как данность.  Вообще, сделано для удобства программиста. Например, если в наследнике вы забудете определить какой-то абстрактный метод, то компилятор вам об этом ненавязчиво напомнит.

Автор: mrgloom 20.5.2013, 16:31

Так получается я всегда предполагается использовать только производный класс? т.е. не Код Ptr<AbstractClass> cl; cl= new ClassWithMethod();  cl->domethod();  а  Код ClassWithMethod cl;  cl.domethod();  Цитата You cannot use an abstract class as a parameter type, a function return type, or the type of an explicit conversion, nor can you declare an object of an abstract class. You can, however, declare pointers and references to an abstract class. http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8l.doc%2Flanguage%2Fref%2Fcplr142.htm так зачем мне может понадобиться ссылка на базовый класс?или в 1 месте я могу унаследовать 1 метод, в другом другой типа Код Ptr<AbstractClass> cl; if() cl= new ClassWithMethod1();  else cl= new ClassWithMethod2();  cl->domethod();  еще вопрос с примером Код class CV_EXPORTS FeaturesMatcher { public:     virtual ~FeaturesMatcher() {}     void operator ()(const ImageFeatures &features1, const ImageFeatures &features2,                      MatchesInfo& matches_info) { match(features1, features2, matches_info); }     void operator ()(const std::vector<ImageFeatures> &features, std::vector<MatchesInfo> &pairwise_matches,                      const cv::Mat &mask = cv::Mat());     bool isThreadSafe() const { return is_thread_safe_; }     virtual void collectGarbage() {} protected:     FeaturesMatcher(bool is_thread_safe = false) : is_thread_safe_(is_thread_safe) {}     virtual void match(const ImageFeatures &features1, const ImageFeatures &features2,                        MatchesInfo& matches_info) = 0;     bool is_thread_safe_; }; class CV_EXPORTS BestOf2NearestMatcher : public FeaturesMatcher { public:     BestOf2NearestMatcher(bool try_use_gpu = false, float match_conf = 0.3f, int num_matches_thresh1 = 6,                           int num_matches_thresh2 = 6);     void collectGarbage(); protected:     void match(const ImageFeatures &features1, const ImageFeatures &features2, MatchesInfo &matches_info);     int num_matches_thresh1_;     int num_matches_thresh2_;     Ptr<FeaturesMatcher> impl_; }; void BestOf2NearestMatcher::match(const ImageFeatures &features1, const ImageFeatures &features2,                                   MatchesInfo &matches_info) {     (*impl_)(features1, features2, matches_info); //... зачем нужна ссылка на базовый клас в производном классе? Код Ptr<FeaturesMatcher> impl_; в BestOf2NearestMatcher::match первой строчкой вызывается оператор () Код (*impl_)(features1, features2, matches_info); в переопределенном операторе Код void operator ()(const ImageFeatures &features1, const ImageFeatures &features2,                      MatchesInfo& matches_info) { match(features1, features2, matches_info); } и match используется уже от BestOf2NearestMatcher? причем мы нигде не указали, что impl_ должен использовать BestOf2NearestMatcher::match. + получается что BestOf2NearestMatcher::match внутри BestOf2NearestMatcher::match и рекурсия?(вообщем этот момент непонятен) и что делает ? Код void operator ()(const std::vector<ImageFeatures> &features, std::vector<MatchesInfo> &pairwise_matches,                      const cv::Mat &mask = cv::Mat());

Автор: Arantir 20.5.2013, 18:16

mrgloom, Ваша проблема в том, что Вы рассматриваете программу, как http://ru.wikipedia.org/wiki/%D0%A7%D1%91%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D1%89%D0%B8%D0%BA. Попробуйте начать рассматривать ее как http://en.wikipedia.org/wiki/White_box_(software_engineering). Цитата(mrgloom @  20.5.2013,  15:31 ) Так получается я всегда предполагается использовать только производный класс? Вы сами решаете, что предполагается использовать. И на основе этого создаете структуру программы. если предполагается любой класс с неким методом, то вы делаете указатель на абстрактный класс с этим методом. если предполагается конкретный Вами же написанный класс, то абстрактный класс для него не нужен. Почитайте про фреймворки... Абстрактные классы весьма полезны, если предполагается, что ваш код — только каркас, и тот, кто его использует, часть функционала будет реализовать самостоятельно в виде собственных классов. Чтобы фреймворк мог эти классы использовать, то и используются указатели с типом абстрактного класса. В такой указатель может быть помещен объект класса, созданного пользователем фреймворка.

Автор: bsa 21.5.2013, 11:13

mrgloom, очень сложные программы пишутся в виде модулей. Так удобнее писать и проще обслуживать. Возьмем для примера ядро Linux. Оно хоть и на С написано, но ООП там используется в полный рост. Есть в нем некая подсистема. Устройств этого типа может быть куча, поэтому сразу же делается интерфейс для драйвера. Допустим, у драйвера должно быть 3 метода (ioctl, read, write). Вот разработчик подсистемы и делает класс с 3-мя чисто виртуальными функциями. Вся подсистема работает и взаимодействует с устройством через этот интерфейс. Затем другой разработчик решил написать драйвер для устройства Х. Он пишет наследника класса-интерфейса и переопределяет эти методы. Теперь, подсовывая объект драйвера, подсистема начинает работать полноценно.

Автор: xvr 21.5.2013, 11:22

Цитата(mrgloom @  20.5.2013,  16:31 ) зачем нужна ссылка на базовый клас в производном классе? Это не ссылка на базовый класс - это ссылка на реализацию самого BestOf2NearestMatcher, причем она [реализация] находится не в родителе класса, а задается где то отдельно, снаружи. Это классическая реализация паттерна http://insidecpp.ru/patterns/pimpl_idiom/ Цитата(mrgloom @  20.5.2013,  16:31 ) + получается что BestOf2NearestMatcher::match внутри BestOf2NearestMatcher::match и рекурсия? Нет. Эти match вызываются от разных объектов

Автор: mrgloom 21.5.2013, 12:13

всё таки я не понял. Код void operator ()(const ImageFeatures &features1, const ImageFeatures &features2,                      MatchesInfo& matches_info) { match(features1, features2, matches_info); } откуда берется match? я так понимаю, что если  Код virtual void match(const ImageFeatures &features1, const ImageFeatures &features2,                        MatchesInfo& matches_info) = 0; то match должна быть определена в классе наследнике, собственно говоря BestOf2NearestMatcher::match но в ней первая же строчка непонятно для чего служит. Код  (*impl_)(features1, features2, matches_info); impl_ как я понял нужно для того чтобы можно был овызывать функции из класса FeaturesMatcher, хотя зачем это нужно если мы и так от него унаследовались.

Автор: xvr 21.5.2013, 12:53

Цитата(mrgloom @  21.5.2013,  12:13 ) откуда берется match? Цитата(mrgloom @  21.5.2013,  12:13 ) то match должна быть определена в классе наследнике, собственно говоря BestOf2NearestMatcher::match Именно так Цитата(mrgloom @  21.5.2013,  12:13 ) но в ней первая же строчка непонятно для чего служит. А вот это и есть вызов реализации. impl_ здесь смотрит не на родителя, а на другой экземпляр наследника FeaturesMatcher Цитата(mrgloom @  21.5.2013,  12:13 ) impl_ как я понял нужно для того чтобы можно был овызывать функции из класса FeaturesMatcher, хотя зачем это нужно если мы и так от него унаследовались. Мы не себя вызываем, а другого наследника. Класс FeaturesMatcher (и его наследники, в частности BestOf2NearestMatcher) описывают единственный тип, а вот экземпляров этих типов (т.е. непостредственно объектов) может быть созданно много. И при вызове метода происходит вызов именно от экземпляра объекта, а не от самого класса/типа.

Автор: mrgloom 21.5.2013, 14:22

всё понял,  в конструкторе BestOf2NearestMatcher как раз выбирался наследник. в cpp определены CpuMatcher : public FeaturesMatcher GpuMatcher : public FeaturesMatcher и имеют CpuMatcher::match GpuMatcher::match Код BestOf2NearestMatcher::BestOf2NearestMatcher(bool try_use_gpu, float match_conf, int num_matches_thresh1, int num_matches_thresh2) { #ifdef HAVE_OPENCV_GPU if (try_use_gpu && getCudaEnabledDeviceCount() > 0) impl_ = new GpuMatcher(match_conf); else #else (void)try_use_gpu; #endif impl_ = new CpuMatcher(match_conf); is_thread_safe_ = impl_->isThreadSafe(); num_matches_thresh1_ = num_matches_thresh1; num_matches_thresh2_ = num_matches_thresh2; }

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