c++ - 如何将 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) {}

问题

• 如何使用 std::is_convertible_v 作为可变参数？
• 您是否建议使用 STL 更好的方法？

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

Answer 1

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)
{
}