5

我正在尝试编写让我索引到函数的参数类型的代码：

template <typename R, typename... ARGS>
R function_return(R(*)(ARGS...));

template <typename R, typename... ARGS>
std::tuple<ARGS...> function_parameters(R(*)(ARGS...));

template <int I, typename T>
using get_type = typename std::conditional_t<(I < 0), std::tuple_element<static_cast<int>(std::tuple_size_v<T>) + I, T>, std::tuple_element<I, T>>::type;

template <int I, typename T>
using parameter_type = get_type<I, decltype(function_parameters(std::declval<T>()))>;

Live Example (ICE under VS) Live Example (working on GCC)

但是当我尝试在上使用它时，我得到一个内部编译器错误：

致命错误 C1001：编译器发生内部错误。

还有另一种方法可以解决内部编译器错误吗？

4

2 回答 2

2

它可能取决于 VS2017 的确切（子）版本，因为我的代码不会产生 ICE。但是，代码仍然存在问题，因为它可能会实例化std::tuple_element<2147483647, T>或类似的东西。您需要确保只评估正确的分支。用这个替换你的定义get_type：

template <int I, typename T, bool negative = (I < 0)>
struct get_type_impl;

template <int I, typename T>
struct get_type_impl<I, T, true>
{
  using type = typename std::tuple_element<static_cast<int>(std::tuple_size<T>::value) + I, T>::type;
};

template <int I, typename T>
struct get_type_impl<I, T, false>
{
  using type = typename std::tuple_element<I, T>::type;
};

template <int I, typename T>
using get_type = typename get_type_impl<I, T>::type;

这适用于我的 VS 2017（cl 版本 19.12）

于 2019-05-30T14:02:58.497 回答
1

正如这里提到的， 似乎在使用模板化的语句相互传递时遇到了困难。（我在 15.6.7 上看到了内部编译器错误；如此处所述，这可能已通过补丁修复。）

我已经能够通过在单个 using 语句中捕获所有功能来解决它​​：

template <typename R, typename... ARGS>
R function_return(R(*)(ARGS...));

template <typename R, typename... ARGS>
std::tuple<ARGS...> function_parameters(R(*)(ARGS...));

template <int I, typename T, typename X = decltype(function_parameters(std::declval<T>()))>
using parameter_type = typename std::conditional_t<(I < 0), std::tuple_element<static_cast<int>(std::tuple_size_v<X>) + I, X>, std::tuple_element<I, X>>::type;
于 2019-05-30T14:03:38.187 回答