Функция Variadic без указанного первого параметра?

Question

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

#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; 
} 

Answer 1

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

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

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

Answer 2

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

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