如何在不使用额外结构的情况下强制可变参数函数的类型一致性？

在没有额外结构的情况下强制可变参数函数的类型一致性

可变参数函数和可变参数模板函数允许我们将可变数量的参数传递给功能。然而，确保所有参数具有相同的类型可能具有挑战性。本问题探讨了不使用数组、向量或结构体来解决此问题的方法。

可变参数函数方法

建议的解决方案是通过可变参数模板接受参数，并让类型检查在转换时验证有效性。然而，这种方法要求我们有一个已知的所需类型的转换路径。在这种情况下，必须有一种已知的方法将 Maiden 数组转换为 Dragon_list_t。

示例：

template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
    std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
    // here be dragons
}

SFINAE 方法

SFINAE（替换失败不是错误）可用于在函数接口级别强制执行类型一致性。这使我们能够在重载解析过程的早期拒绝无效参数。

示例：

template<typename R, typename...> struct fst { typedef R type; };

template<typename ...Args>
typename fst<void, 
  typename enable_if<
    is_convertible<Args, ToType>::value
  >::type...
>::type 
f(Args...);

结论

这两种方法都提供了一种为传递给可变参数函数的所有参数指定一种类型的方法，而无需使用额外的数据结构。可变参数函数方法依赖于已知的转换路径，而 SFINAE 方法允许重载解析以拒绝无效参数。这些方法之间的选择取决于特定用例的要求。

以上是如何在不使用额外结构的情况下强制可变参数函数的类型一致性？的详细内容。更多信息请关注PHP中文网其他相关文章！