Question

我正在研究有关Variadic模板的新C ++ 11功能，所以我编写了一个fun模板函数：

template <typename T>
void fun(T& a) //Base to stop the recursion
{
  std::cout << a;
};

template <typename... Types>
void fun(Types... args)
{
  fun(args...);
};

模板编译得很好，但是当我在main上写道时 fun(1,10.232,1232);我得到了Segmentation fault。任何人都可以向我解释为什么会这样吗？

Answer 1

我不知道seg-fault，但你永远不会调用你的基本功能。每次调用后，您需要缩小参数列表：

template <typename T>
void fun(T& a) //Base to stop the recursion
{
    std::cout << a;
};

template <typename First, typename... Types>
void fun(First arg, Types... args)
{
    fun(args...); // recursion on args... (one smaller than what was passed in).
};

您的基本案例通过引用绑定，这不是一个好主意，因为您在呼叫站点传递临时对象。这可能是您的seg-fault来自的地方。将函数更改为通过const引用或值接受。

另请注意，我没有编译上面的代码，因此当您使用一个参数调用fun时，最终可能会陷入模糊的情况。要解决此问题，请将基本案例更改为不接受任何参数：

void fun()
{
    // base case: no items.
}

template <typename First, typename... Rest>
void fun(First first, Rest... rest)
{
    // one or more items (the param pack is allowed to be emoty.)
    fun(rest...);
}

或修改递归重载以接受两个或多个参数。

// Exactly one argument.
template <typename T>
void fun(T a)
{
    std::cout << a;
};

// Two or more arguments.
template <typename First, typename Second, typename... Rest>
void fun(First first, Second second, Rest... rest)
{
    // one or more items (the param pack is allowed to be emoty.)
    fun(second, rest...);
}

无论哪种方式，尽量避免出现多个函数模板是扩展的候选者的情况，并且你会避免很多麻烦。换句话说：每个重载应该是互斥的。

可变参数模板函数的扩展会导致分段错误

1 个答案: