如何将 std::is_convertible_v 应用于一组可变参数？

Question

我想检查一个参数列表是否可以转换为size_t。我认为这可能std::is_convertible_v是来自 STL 的正确工具。这是我想象的应该是（这是错误的）：

#include <type_traits>

template<typename... Args>
constexpr bool check_all_convertible ()
{
    return std::is_convertible_v<Args,size_t>;
}

我终于想用check_all_convertible()来启用另一个功能：

template<typename... Args>
std::enable_if_t<check_all_convertible<Args...>(), void> 
    some_function (Args... args) {}

题

我感谢任何改进上述代码的建议。

Answer 1

您可以使用折叠表达式：

template<typename... Args>
std::enable_if_t<(std::is_convertible_v<Args,size_t> && ...)> 
some_function (Args... args) {}

Answer 2

C++20 解决方案（是的！！我们终于有了概念！！！）：

#include <concepts>

auto some_function(std::convertible_to<std::size_t> auto ... args)
{
}

在godbolt上观看直播。

之所以auto需要它，是因为委员会认为如果没有它，声明就会看起来像一个函数（但它是一个模板）。比亚恩认为他们最终会后悔的。不管怎样，我们应该习惯一直打字auto，因为从现在开始我们不应该编写不受约束的模板。

为了完整起见，这里是较长的版本（但我推荐简洁的版本）：

template <std::convertible_to<std::size_t>... Args>
auto some_function2(Args... args)
{
}

还有更长的版本：

template <class... Args>
    requires (std::convertible_to<Args, std::size_t> && ...)
auto some_function3(Args... args)
{
}