фокусы в шаблонах - C/C++

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

  template<class T>
  void SmartCaller(T *c)
   {
      if(???)  
       c->f(); 
   }

есть ли идеи как моджно выкрутиться?

Это сделать невозможно, поскольку в С++ нет reflection и программа не может определить в момент исполнения, у кого есть какой метод. Используй полиморфизм

Posted via RSDN NNTP Server 1.9 gamma

Здравствуйте, Евгений Коробко, Вы писали:

ЕК>Это сделать невозможно, поскольку в С++ нет reflection и программа не может определить в момент исполнения, у кого есть какой метод. Используй полиморфизм

ну reflection тут не причем вроде, я и не требую рантайма. Ведь функция шаблонная и важно есть ли у типа T такое или нет. если нет то компиллер ругается, важно сделать чтоб не ругалось

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>

PP4>  template<class T>
PP4>  void SmartCaller(T *c)
PP4>   {
PP4>      if(???)  
       c->>f(); 
PP4>   }
PP4>

PP4>есть ли идеи как моджно выкрутиться?

Посмотри здесь плюс воспользуйся поиском по "SFINAE".

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>

PP4>  template<class T>
PP4>  void SmartCaller(T *c)
PP4>   {
PP4>      if(???)  
       c->>f(); 
PP4>   }
PP4>

может способ издоженный здесь поддолкнёт тебя к решению.

Здравствуйте, korzhik, Вы писали:

K>может способ издоженный здесь поддолкнёт тебя к решению.

сорри, немного не ту ссылку дал, правильная у Bell'а

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>

PP4>  template<class T>
PP4>  void SmartCaller(T *c)
PP4>   {
PP4>      if(???)  
       c->>f(); 
PP4>   }
PP4>

PP4>есть ли идеи как моджно выкрутиться?
У Герба Саттера описывается нечто подобное: проверяется. есть ли в классе метод с определенным прототипом. Причем решается на шаблонах.

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>

PP4>  template<class T>
PP4>  void SmartCaller(T *c)
PP4>   {
PP4>      if(???)  
       c->>f(); 
PP4>   }
PP4>

PP4>есть ли идеи как моджно выкрутиться?

Мне тоже когда-то нужно было подобное. Решил так: вынес нужный метод в отдельный класс и проверял на наличие этого
класса в иерархии предков с помощью boost::is_base_and_derived

... << RSDN@Home 1.1.3 stable >>

Здравствуйте, PoM-PoM 40mm

Есть Майкрософт специфик "__if_exists". Возможно, Вас это устроит

PP4>>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>>

PP4>>  template<class T>
PP4>>  void SmartCaller(T *c)
PP4>>   {
PP4>>      if(???)  
       c->>>f(); 
PP4>>   }
PP4>>

PP4>>есть ли идеи как моджно выкрутиться?
LVV>У Герба Саттера описывается нечто подобное: проверяется. есть ли в классе метод с определенным прототипом. Причем решается на шаблонах.

Там не совсем то, а точнее, совсем не то — без ошибки компиляции проверяется только наличие наследования. Тут же подойдет только SFINAE, но эту технику поддерживают далеко не все компиляторы.

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>

PP4>  template<class T>
PP4>  void SmartCaller(T *c)
PP4>   {
PP4>      if(???)  
       c->>f(); 
PP4>   }
PP4>

PP4>есть ли идеи как моджно выкрутиться?

Ну можно попробовать че-нить типа

template<class T>
class HasFunction
{
private:
    typedef double YesVal;
    typedef char NoVal;

    static YesVal Test(  void(T::*FunPtr)(int)  );
    static NoVal Test( ... );


public:
    enum { Yes = sizeof(Test( &T::Function )) == sizeof(YesVal) , No = !Yes };
};

Здравствуйте, korzhik, Вы писали:

K>сорри, немного не ту ссылку дал, правильная у Bell'а
Нет у Bell'а ссылка не правильная. Вот правильная ссылка Re[11]: ЭВРИКА.

... << RSDN@Home 1.1.4 rev. 185 >>

AS>Там не совсем то, а точнее, совсем не то — без ошибки компиляции проверяется только наличие наследования. Тут же подойдет только SFINAE, но эту технику поддерживают далеко не все компиляторы.

А Л.В. об этом уже говорили ,но он все равно упорно продолжает советовать Саттера в таких случаях

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>

PP4>  template<class T>
PP4>  void SmartCaller(T *c)
PP4>   {
PP4>      if(???)  
       c->>f(); 
PP4>   }
PP4>

PP4>есть ли идеи как моджно выкрутиться?

Это идея нашла свою реализацию в COM. Если с — это COM-объект.
IXXX *pPtr = NULL;
if ( SUCCEEDED( c->QueryInterface( IID_IXXX, (void**) &pPtr ))
{
pPtr->f();
pPtr->Release();
}

Здравствуйте, Аноним, Вы писали:

А>Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>>Хотелось бы сделать такой фокус -- шаблонная функция принимает указатель на класс и если в классе есть функция с определенным именем, то вызывает ее. иначе ничего не делается.

PP4>>

PP4>>  template<class T>
PP4>>  void SmartCaller(T *c)
PP4>>   {
PP4>>      if(???)  
       c->>>f(); 
PP4>>   }
PP4>>

PP4>>есть ли идеи как моджно выкрутиться?

А>Ну можно попробовать че-нить типа

А>

А>template<class T>
А>class HasFunction
А>{
А>private:
А>    typedef double YesVal;
А>    typedef char NoVal;

А>    static YesVal Test(  void(T::*FunPtr)(int)  );
А>    static NoVal Test( ... );


А>public:
А>    enum { Yes = sizeof(Test( &T::Function )) == sizeof(YesVal) , No = !Yes };
А>};

А>

точно, оно!

Здравствуйте, PoM-PoM 40mm, Вы писали:

PP4>Здравствуйте, Евгений Коробко, Вы писали:

ЕК>>Это сделать невозможно, поскольку в С++ нет reflection и программа не может определить в момент исполнения, у кого есть какой метод. Используй полиморфизм

PP4>ну reflection тут не причем вроде, я и не требую рантайма. Ведь функция шаблонная и важно есть ли у типа T такое или нет. если нет то компиллер ругается, важно сделать чтоб не ругалось

MS расширения:
__if_exists
__if_not_exists

Здравствуйте, mopnex, Вы писали:

Есть только одно маленькое "но": в СОМ все происходит в run-time...

Здравствуйте, Went, Вы писали:

W>Здравствуйте, PoM-PoM 40mm

W>Есть Майкрософт специфик "__if_exists". Возможно, Вас это устроит

А вот этого не надо. Вполне возможно в следующей версии такого уже не будет.

Здравствуйте, vdimas, Вы писали:

V>точно, оно!
Лучше прислушайся к тому, что тебе yxiie советует

... << RSDN@Home 1.1.4 @@subversion >>

Здравствуйте, prVovik, Вы писали:

V>Здравствуйте, vdimas, Вы писали:

V>>точно, оно!
V>Лучше прислушайся к тому, что тебе yxiie советует

мы не всегда можем что-то куда-то выносить, не так ли?

	От:	PoM-PoM 40mm
	Дата:	22.10.04 04:52
	Оценка:

	От:	Евгений Коробко
	Дата:	22.10.04 05:18
	Оценка:	-1

	От:	PoM-PoM 40mm
	Дата:	22.10.04 06:22
	Оценка:

	От:	Bell
	Дата:	22.10.04 06:39
	Оценка:

	От:	korzhik
	Дата:	22.10.04 06:39
	Оценка:

От:	yxiie	www.enkord.com
Дата:	22.10.04 07:37
Оценка:	5 (1) +1

От:	Andrew S	http://alchemy-lab.com
Дата:	22.10.04 08:12
Оценка:

	От:	Аноним
	Дата:	22.10.04 09:59
	Оценка:	6 (1) -1

	От:	alexeiz
	Дата:	23.10.04 07:34
	Оценка:

	От:	prVovik
	Дата:	23.10.04 15:55
	Оценка:

	От:	vdimas
	Дата:	24.10.04 23:35
	Оценка: