递归可变参数模板函数调用在第二个参数类型上“丢失”指针

Question

我有一个函数 (GetArgs)，它使用可变参数模板对它的参数（每个都是一个指针）进行排序，将每个参数发送到已为每种类型重载的另一个函数 (GetArg) （目前 int & float）。每种类型的重载函数然后在指针处设置值。

它编译得很好，当我用单一类型的许多参数调用函数时，它运行得很好。但是，如果我使用这两种类型（float 和 int），它将运行良好，直到第一次出现第二种类型，因为（据我所知）指针地址为空（调试器中的 0x0）而崩溃。

这是我的函数定义（在 main 中包含的命名空间中声明）：

命名空间.h

int GetArg(int iStackPos,int *i);
int GetArg(int iStackPos,float *f);

template<typename tFirst> int GetArgs(tFirst first)
    {
        GetArg(-1,first);
    }

template<typename tFirst, typename... tRest> int GetArgs(tFirst first, tRest... rest)
    {
        int iStackPos = ((sizeof...(rest) + 1) * -1);


        GetArg(iStackPos,first);
        GetArgs((rest)...);

        return 0;
    }

命名空间.cpp

int GetArg(int iStackPos,int *i)
    {
        *i = 1;
    }

int GetArg(int iStackPos,float *f)
    {
        *f = 2.5;
    }

调用以获取 main 中的 args：

运行良好：

int *i1;
float *f1;

namespace::GetArgs(f1,f1,f1,f1); //no use of int

会崩溃：

int *i1;
float *f1;

namespace::GetArgs(f1,i1,f1); //use of int

当 int 先出现后 float 时也是如此。 空指针发生在递归 GetArgs() 调用中，并且发生崩溃是因为重载的 int GetArg() 尝试写入该指针。 iStackPos 用作 lua 堆栈上的位置，因为这意味着它是从 lua 获取参数的包装器。但是我已经用分配 int 1、float 2.5 替换了 lua 代码，因为 lua 代码不是问题。

Answer 1

正如其他人已经建议的那样，您将未初始化的内存传递到您的函数中。这会产生未定义的行为。

此外，您不会在 GetArg 函数和第一个 GetArgs 中返回任何内容。这也会给您带来麻烦。

以及在计算 iStackPos 时结合 size_t 和 int。