Функция Variadic без указанного первого параметра? - PullRequest
2 голосов
/ 17 сентября 2009

Из любопытства я подумал, что попробую написать базовый класс C ++, который имитирует шаблон множественного делегирования C #. Приведенный ниже код в основном справляется со своей задачей, с неприятной жертвой потери почти всей безопасности типов, но необходимость использовать начальный фиктивный параметр для настройки va_list действительно кажется немного неэффективной. Есть ли способ использовать va_list без этого? Я действительно понимаю, что есть способы сделать это с помощью (например) boost, но я стремился к чему-то невероятно простому, в котором использовалась бы только стандартная библиотека.

#include <vector>
#include <iostream>
#include <string>
#include <stdarg.h>
#include <algorithm>

using namespace std;

class CDelegate
{
public:
 virtual bool operator()(va_list params) = 0;
};

class CMultipleDelegateCaller
{
public:
 typedef vector<CDelegate*> CDelegateVector;

 CMultipleDelegateCaller& operator+=(CDelegate &rDelegate)
 {
  m_apDelegates.push_back(&rDelegate);
  return (*this);
 }

 CMultipleDelegateCaller& operator-=(CDelegate &rDelegate)
 {
  CDelegateVector::iterator iter = 
   find(m_apDelegates.begin(), m_apDelegates.end(), &rDelegate);
   if (m_apDelegates.end() != iter) m_apDelegates.erase(iter);
  return (*this);
 }

 bool Call(int iDummy, ...)
 {
  va_list params;
  CDelegate* pDelegate;
  CDelegateVector::iterator iter;
  for (iter = m_apDelegates.begin(); iter != m_apDelegates.end(); ++iter)
  {
   pDelegate = *iter;
   va_start(params, iDummy);
   if (!(*pDelegate)(params)) return false;
   va_end(params);
  }
  return true;
 }

private:
 CDelegateVector m_apDelegates;
};

class CTestDelegate:
 public CDelegate
{
public:
 CTestDelegate():m_iId(++s_iCount) {}
 virtual bool operator()(va_list params)
 {
  int iIntParam = va_arg(params, int);
    char* szCharPtrParam = va_arg(params, char*);
   string* psStringParam = va_arg(params, string*);
  cout<<m_iId<<"{"
   <<iIntParam<<", "
   <<szCharPtrParam<<", "
   <<*psStringParam<<"}"<<endl;

  return true;
 }
 int m_iId;
 static int s_iCount;
};
int CTestDelegate::s_iCount = 0;

int main(int argc, char* argv[])
{
 CMultipleDelegateCaller cDelegateCaller;
 CTestDelegate cTestDelegate1;
 CTestDelegate cTestDelegate2;

 cout<<"--------------------"<<endl;
 cDelegateCaller += cTestDelegate1;
 cDelegateCaller += cTestDelegate2;
 string sString("World");
 cDelegateCaller.Call(1, 2, "Hello", &sString);
 cout<<"--------------------"<<endl;
 cDelegateCaller -= cTestDelegate1;
 cDelegateCaller.Call(1, 2, "Hello", &sString);
 cout<<"--------------------"<<endl;
 cDelegateCaller -= cTestDelegate2;
 cDelegateCaller.Call(1, 2, "Hello", &sString);
 cout<<"--------------------"<<endl;

 cin>>sString;
 return 0;
}

Ответы [ 2 ]

4 голосов
/ 17 сентября 2009

Функции с многоточием в C ++ предназначены только для совместимости с C. Используя C ++, я возвращаю временный вспомогательный объект в функцию Call и добавляю шаблон operator% для передачи переменного числа аргументов. Чтобы использовать его следующим образом:

cDelegateCaller.Call() % 2 % "Hello" % sString; // dummy argument isn't required

Что касается вашего вопроса, Standard требует вызова va_start перед любым доступом к безымянным аргументам. И va_start требует второго аргумента, который является идентификатором самого правого параметра в списке переменных параметров в определении функции.

0 голосов
/ 17 сентября 2009

Из ответа Кирилла вы можете заключить, что можно создать делегат, безопасный для типов, используя шаблонную функцию объединения аргументов. Эта функция также нуждается в фиктивной начальной точке, но имеет преимущество безопасности типов.

Библиотека FastFormat использует это, Boost использует это, и я однажды предоставил другой пример в ответе на другой вопрос.

...