如果在可变参数模板解包中达到终止函数，则异常

Question

所以我在玩模板和 constexpr，特别是可变参数模板，我做了以下函数：

template <typename T>
constexpr T get_argument(size_t index)
{
  return T();
};

template <typename T, T arg, T... args>
constexpr T get_argument(size_t index)
{
  return index ? get_argument<T,args...>(index-1) : arg;
}

这里的终止函数目前是一个虚拟占位符。所以这个函数有效，但如果超出范围则返回 0，我想要它做的是崩溃......但它需要 2 种失败模式。 get_argument 可以在编译时调用，我希望索引超出范围以导致编译器错误。或者它可以在运行时调用，我希望它抛出运行时错误......

我也有这个选项：

template <typename T>
constexpr T get_argument(size_t index)
{
  return false ? T() : throw std::out_of_range("Index out of argument range");
}

template <typename T, T arg, T... args>
constexpr T get_argument(size_t index)
{
  return index ?
        (count_args<T,args...>() ?
           get_argument<T,args...>(index-1) :
           throw std::out_of_range("Index out of argument range")) :
        arg;
}

但是 1）我不喜欢语法（总是错误的条件，加上模糊地检查两次以使输出意味着什么），以及 2）错误很混乱：

test.hpp:32:69: error: expression '<throw-expression>' is not a constant-expression
            throw std::out_of_range("Index out of argument range")) :

谁有更好的方法？

Answer 1

以下可能会有所帮助（仅一项检查）：

template <typename T, T ... Ts>
constexpr std::array<T, sizeof...(Ts)> getArray()
{
    return {{Ts...}};
}

template <typename T, T ... Ts>
constexpr T get_argument(size_t index)
{
  return index < sizeof...(Ts) ?
    const_cast<const std::array<T, sizeof...(Ts)>&&>(getArray<T, Ts...>())[index] :
    throw std::out_of_range("Index out of argument range");;
}

C++14 可能会有所帮助，可能有几个语句，如：

• 局部变量（不需要这个const_cast）
• assert（可能除了throw）。