可变版本的std :: is_convertible？

是否可以编写可变版本的std::is_convertible？例如are_convertible会返回is_convertible && is_convertible.我一直在考虑这个问题几个小时但是无法提出任何合理的建议.

澄清我想使用它有点像这样:

template 
struct thing
{
  template 
  enable_if_t::value>
  foo(Args2 &&...args){}
}

小智.. 12

你并不需要连接Args2...和Args1...,你不应该,因为这样做,以使得它使得它不可能知道Args2...结束和Args1...开始.以允许单独提取它们的方式传递多个可变参数的方法是将它们包装在另一个模板中:给定一个可变参数模板my_list,您可以将您的结构my_convertible称为

my_convertible, my_list>

标准库已经有一个可变的模板,在这里运行良好:tuple.不仅如此,而且tuple可转换为tupleif且仅当Args2...可转换为Args1...,所以你可以写:

std::is_convertible, std::tuple>

注意:在评论中,@ zatm8报告这并不总是有效:std::is_convertible, std::tuple>::value报告为false,但std::is_convertible::value报告为true.

我相信这是一个错误,它们都应该被报告为true.这个问题可以在http://gcc.godbolt.org/和clang 3.9.1 上重现.它不能用gcc 6.3重复,并且在使用时也不能用clang 3.9.1重现-stdlib=libc++.似乎libstdc ++正在使用clang不能正确处理的语言功能,并将其简化为一个不依赖于标准库头的简短示例,它给出了:

struct S {
  S(const char *) { }
};
int main() {
  const char *s = "";
  static_cast(s);
}

my_convertible, my_list>

std::is_convertible, std::tuple>

struct S {
  S(const char *) { }
};
int main() {
  const char *s = "";
  static_cast(s);
}

template
struct and_types:std::true_type{};
template
struct and_types:std::integral_constant{}>{};

std::enable_if_t...>{}>