c++ - 无法从大括号括起来的初始值设定项列表转换为标准元组

Question

作为一个更大项目的一部分，我正在使用 std::tuple 和模板；考虑以下代码:

template <typename ...T> void foo(tuple<T...> t) {}
void bar(tuple<int, char> t) {}
tuple<int, char> quxx() { return {1, 'S'}; }

int main(int argc, char const *argv[])
{
    foo({1, 'S'});           // error
    foo(make_tuple(1, 'S')); // ok
    bar({1, 'S'});           // ok
    quxx();                  // ok
    return 0;
}

根据 this answer C++17 支持从copy-list-initialization 进行元组初始化，但似乎这种支持是有限的，因为我收到以下错误 (GCC 7.2.0):

main.cpp: In function 'int main(int, const char**)':
main.cpp:14:17: error: could not convert '{1, 'S'}' from '<brace-enclosed initializer list>' to 'std::tuple<>'
     foo({1, 'S'}); // error
                 ^

在这种情况下，有什么方法可以使用大括号括起来的语法吗？

一些上下文:这将在运算符重载中使用，所以我想我被绑定(bind)到元组并且不能使用可变参数，任何提示都是可以接受的。

额外:Clang 6 也提示

prog.cc:12:5: error: no matching function for call to 'foo'
    foo({1, 'S'});           // error
    ^~~
prog.cc:6:31: note: candidate function [with T = <>] not viable: cannot convert initializer list argument to 'tuple<>'
template <typename ...T> void foo(tuple<T...> t) {}

Answer 1

一个 braced-init-list，比如 {1, 'S'} , 实际上没有类型。在模板推导的上下文中，您只能在某些情况下使用它们 - 当针对 initializer_list<T> 进行推导时(其中 T 是一个函数模板参数)或者当相应的参数已经被其他东西推导出来时。在这种情况下，这两件事都不是真的 - 所以编译器无法弄清楚 ...T 是什么。应该是。

所以你可以直接提供类型:

foo<int, char>({1, 'S'});

或者您可以构建 tuple自己并将其传递给:

foo(std::tuple<int, char>(1, 'S')); // most explicit
foo(std::tuple(1, 'S')); // via class template argument deduction

---

今天，ClassTemplate<Ts...>只能从 ClassTemplate<Us...> 类型的表达式中推导出来或从类似的东西继承的类型。一个假设的提议可以扩展它以另外尝试对表达式执行类模板参数推导以查看该推导是否成功。在这种情况下，{1, 'S'}不是 tuple<Ts...>但是tuple __var{1, 'S'}确实成功推断tuple<int, char>这样就可以了。这样的提议还必须解决诸如...如果我们推导ClassTemplate<T, Ts...>会怎样？或任何微小的变化，这不是类模板参数推导所允许的(但许多人有时表示有兴趣能够做到)。

我今天还不知道有这样的提议。