将类型特征与可变参数模板参数一起使用

Question

我正在尝试制作一个功能类似于 python 打印函数的打印函数，但我在强制执行可变参数可以是什么类型方面遇到问题，我希望它们被限制为 const char*.

到目前为止，这是我的代码：

#include <tuple>
#include <iostream>
#include <utility>
#include <type_traits>


template<
  std::size_t I=0,
  typename... Args,
  typename FUNCTION
  >
constexpr void for_each(const std::tuple<Args...>& t, FUNCTION &&func)
{
  if constexpr(I < sizeof...(Args))
  {
    func(std::get<I>(t));
    for_each<I + 1>(t, std::forward<FUNCTION>(func));
  }
}

template<
  typename... Args
  >
constexpr void print(Args... args)
{
  std::tuple t(std::forward<Args>(args)...);
  for_each(t, [=](const char* str)
  {
    std::cout << str << " ";
  });
  std::cout << '\n';
}

int main(void)
{
  print("this", "is", "a", "thing");
  print("this", "is", "not", "a", "thing");
  return 0;
}

我希望 print 函数中的可变模板参数只接受 const char*

Answer 1

如果你真的只想接受 const char* 你可以这样做，使用 static_assert（如果你有 C++17 支持）：

template<typename... Args>
constexpr void print(Args... args) {
  static_assert((std::is_same_v<Args, const char*> && ...), "Your pretty error message");
  std::tuple t(std::forward<Args>(args)...);
  for_each(t, [=](const char* str)
  {
    std::cout << str << " ";
  });
  std::cout << '\n';
}

Answer 2

您不需要 std::tuple 来执行此操作，您可以限制您的函数仅使用 std::enable_if 复制 const char*，如下所示

#include <iostream>
#include <type_traits>


template<typename ... Args>
constexpr std::enable_if_t<std::is_same_v<std::common_type_t<Args...>,const char*>, void>
print(Args&&... args)
{
    ((std::cout << args << " "),...);
    std::cout << '\n';
}
int main( )
{
    print("this", "is", "a", "thing");
    print("this", "is", "not", "a", "thing");
    print(5, "is", "not", "a", "thing");//compile error
    return 0;
}

将类型特征与可变参数模板参数一起使用

Using type traits with variadic template arguments

c++

templates

variadic

variadic-templates

c++17