动态创建va_list

Question

我有一个功能

void foo(int cnt, va_list ap);

我需要使用它，但是要求非常严格， va_list数量会有所不同，并且在运行时会有所变化。 我想做的是：

创建一个va_list （需要char* ）形式

QList<Contact*>

其中Contact是已定义的类

class Contact
{
   public:
      QString getName();
   private: 
      QString m_name;

}; 

我想在循环va_list填充例如：

for (int idx = 0; idx<contacts.count(); idx++)
{
    contacts.at(idx)->getName(); // this i would like to pass to va_list

}

有人知道我该怎么做吗？

Answer 1

您想要做的是模拟调用堆栈，以便可以将构造的va_list传递给foo（）。 这是编译器特有的（警告，甚至32位和64位编译器之间也存在差异）。 以下代码仅用于娱乐目的！！！ 因为（即使它在您的系统上也可以使用）它很容易损坏。 有了它，我使用了一个平面内存缓冲区，并用一个计数和一堆字符串填充它。 您可以适当地用指向您的字符串的指针填充它，并将它们传递给其他人。

它似乎确实可以在我的系统Windows 7 w / Visual Studio 2008上运行，仅适用于32位应用程序。

*错误的想法代码如下！ *

#define PSEUDOSTACKSIZE ( sizeof(int) + 999 * sizeof(const char*) )
#pragma pack( push,1 )
union PSEUDOSTACK
{
    int count;
    char data[PSEUDOSTACKSIZE];
};
#pragma pack( pop )

void foo( int count, va_list args )
{
    for ( int i = 0; i < count; i++ )
    {
        char *s = va_arg( args, char* );
        printf( "%s\n", s);
    }
}

void bar( PSEUDOSTACK data, ... ) 
{ 
    va_list args; 
    va_start(args, data.count); 
    foo( data.count, args);
    va_end(args); 
} 
// And later on, the actual test case code.
PSEUDOSTACK barData;
barData.count = 999;
char *p = barData.data + sizeof(int);
for ( int i = 0; i < 999; i++, p += sizeof(char*) )
{
    *reinterpret_cast<char**>(p) = "ThisIsABadIdea";
}
bar( barData );

我现在想着这个主意，羞愧地垂头丧气。

Answer 2

...嗯...可能不是便携式的...肯定不是很好...但可以解决您的问题...

• va_list是（至少对于Visual C ++而言）只是char的＃define *
• →参数不必在堆栈上
• →仅要求参数在内存中是连续的
• →无需使用汇编程序和/或复制（请参阅我的“有趣的回答” :-)
• →无需担心清理
• 高效！
• 在w2k3 sp2 32bit + vc ++ 2010上测试

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

#define N 6 // test argument count

void foo(int n, va_list args);

int main(int, char*[])
{
    std::vector<std::wstring> strings;
    std::wstring s(L"a");
    int i(0);

    // create unique strings...
    for (; i != N; ++i)
    {
        strings.push_back(s);
        ++s.front();
    }
    foo(N, reinterpret_cast<va_list>(strings.data()));
    return 0;
}

void foo(int n, va_list args)
{
    int i(0);

    for (; i != n; ++i)
        std::wcout << va_arg(args, std::wstring) << std::endl;
}

Answer 3

您的问题被标记为C ++，并且有很好的方法（例如流）完全避免在C ++中使用varargs。

这是为什么va_args会引起疼痛的一个很好的例子。 如果您完全有机会更改foo的签名，那是您的最佳选择。 使用std::vector<std::string>而不是va_list可以解决您的问题。

如果foo在外部库中，则无法更改，我的下一个建议是找到其他库。

如果这些都不是一个选项，则似乎应该有一种方法可以使用va_list递归建立呼叫列表，但是我不知道该如何进行工作。

Answer 4

如果列表中的元素数量有限，我将根据元素数量进行手动分派。

void call_foo(int count, ...) {
    va_list args;
    va_start(args, count);
    foo(count, args);
    va_end(args);
}

switch (contacts.count()) {
    case 0: return call_foo(contacts.count());
    case 1: return call_foo(contacts.count(),
                            contacts.at(0)->getName());
    case 2: return call_foo(contacts.count(),
                            contacts.at(0)->getName(),
                            contacts.at(1)->getName());
    case 3: return call_foo(contacts.count(),
                            contacts.at(0)->getName(),
                            contacts.at(1)->getName(),
                            contacts.at(2)->getName());
    default: /* ERROR HERE, ADD MORE CASES */ return call_foo(0);
}

Answer 5

您要使用的是alloca 。 va_list对象无法存储变量，函数调用将其存储，并且您只能通过va_list访问它。 这些变量仅在调用期间有效，并且之后会被ovverwriten获取。

这将不起作用：

va_list func(int dummy, ...)
{
   va_list result;
   va_start(result, dummy);
   return result;
}

要在堆栈上分配内存，而不必编写可变参数，请使用alloca 。 它的工作原理与malloc差不多，但是您不必调用free ，当您离开范围时，它会自动释放自己。

int * local = (int *) alloca(3 * sizeof(int));
local[0] = 10;
local[1] = 20;
local[2] = 30;

基本上和写作是一样的

int local[3];
local[0] = 10;
local[1] = 20;
local[2] = 30;

但是使用alloca 3并不需要是一个常数。 同样的，你只能用它的封闭的范围内，所以不从函数返回。

如果您想要从va_list中获得的是一个列表中的多种类型，请考虑编写这样的并集：

union variant
{
    int          i;
    unsigned int u;
    float        f;
    double       d;
    const char * s;
    void *       v;
};

Answer 6

取决于编译器的是什么va_list类型，什么是va_start和va_end宏。 您无法以标准方式执行此操作。 您将必须使用特定于编译器的构造。

也许您可以更改“ foo”功能？ 如果是这样，则进行相反的处理-将va_list转换为QList并使'foo'接受QList。

//编辑

然后查看va_list类型是什么，特定编译器中的va_start和va_end宏是什么。 然后以这样的方式构建您的va_list，以使这些宏可以在其上运行。

Answer 7

<只是为了好玩>

• 允许任意参数计数
• 幸运的是sizeof（std :: wstring）是sizeof（int）的倍数
• 在w2k3 sp2 32bit + visual c ++ 2010上测试

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

#define N 6 // test argument count

void foo(int n, ...);

int main(int, char*[])
{
    std::vector strings;
    std::wstring s(L"a");
    int i(0);

    // create unique strings...
    for (; i != N; ++i)
    {
        strings.push_back(s);
        ++s.front();
    }

    int n_stack_strings(N*sizeof(std::wstring)),    // space needed for strings
        n_stack(sizeof(int)+n_stack_strings);   // overall stack space...needed for cleanup

    __asm sub esp, n_stack_strings  ; reserve stack space

    std::wstring* p_stack(0);

    __asm mov p_stack, esp  ; get stack pointer

    std::wstring* p(p_stack);
    std::vector<std::wstring>::iterator string(strings.begin());

    // copy to stack
    for (; string != strings.end(); ++string, ++p)
        new (p) std::wstring(*string);
    __asm push N    ; argument count...arguments right to left (__cdecl)
    __asm call foo
    // cleanup
    for (p = p_stack; p != p_stack+N; ++p)
        p->~basic_string();
    __asm add esp, n_stack  ; caller has to cleanup the stack (__cdecl)
    return 0;
}

void foo(int n, ...)
{
    int i(0);
    va_list marker;

    va_start(marker, n);
    for (; i != n; ++i)
        std::wcout << va_arg(marker, std::wstring) << std::endl;
    va_end(marker);
}

</ just for fun>