无法使用可变参数编译 constexpr 函数

Question

我正在编写带有可变参数的constexpr 乘积函数。我只能在下面获得“版本 1”。尝试编译“版本 2”时，我收到错误声明类型包含未扩展的参数包'data_type'。谁能解释一下为什么会这样？

/** Version 1. */
template <typename data_type, typename ...data_types>
constexpr data_type Product1(data_type _first, data_types ..._rest) // This code compiles :)
{
  return _first*(_rest * ...);
}

/** Version 2. */
template <typename ...data_type>
constexpr data_type Product2(data_type ..._rest) // This code does not compile :(
{
  return (_rest * ...);
}

Answer 1

将返回类型改为auto，datatype是一个pack，不能作为返回类型

template <typename ...data_type>
constexpr auto Product2(const data_type& ..._rest) 
{
    return (_rest * ...);
}

int main()
{
    constexpr auto p = Product2(1, 2, 3);
    return 0;
}