c++ - initializer_list 无法转换为 initializer_list，但 T 可转换为 U

Question

考虑以下代码片段...

void boo(std::initializer_list<unsigned> l)
{
}

template <class T>
void foo(std::initializer_list<T> l)
{
    //Even though T is convertable, initializer list is not...:-(
    boo(move(l));
}

int main()
{
    foo({1u,2u,3u}); //Compiles fine as expected
    foo({1,2,3}); //Fails to compile at line 9... - could not convert...
    return 0;
}

...令我感到惊讶的是initializer_list<int>不可转换为 initializer_list<unsigned> , 事件虽然 int 转换为无符号。

我一直想知道可以用什么方式编写 foo 来允许转换。能否以某种方式解开类型错误的列表并重新创建类型正确的新列表？

Answer 1

没有。构建初始化列表需要编译时已知长度，而使用初始化列表则没有编译时已知长度。

初始化列表用于“面向用户”的操作，其中用户是界面的消费者。像这样在内部使用它们效果不佳。

您可以使用的一种方法是编写一个 array_view<T> 以类似范围 View 的方式(开始、结束、数据、大小、空、前, 返回方法。迭代器是指针)。

然后从 vector<T>& 给它隐式转换 ctors , vector<std::remove_const_t<T>> const& , initializer_list<std::remove_const_t<T>>等

void boo(array_view<const unsigned> l)
{
}

template <class T>
void foo(std::initializer_list<T> l)
{
  boo(std::vector<unsigned>{l.begin(), l.end()});
}

重新分配unsigned 的新缓冲区值基于 l 中的内容并将其传递给 boo . boo消耗 array_view<unsigned const> , 它可以从 vector 转换而来或 initializer_list的 unsigned .

然后我们可以写maybe_convert_list :

template <class T, class U, class...LowPrecidence>
std::vector<T> maybe_convert_list(std::initializer_list<U> l, LowPrecidence&&...)
{
  return {l.begin(), l.end()};
}
template <class T>
std::initializer_list<T> maybe_convert_list(std::initializer_list<T> l)
{
  return l;
}

template <class T>
void foo(std::initializer_list<T> l)
{
  boo(maybe_convert_list<unsigned>(l));
}

或类似的东西。它离开了initializer_list<unsigned>独自的。对于其他类型的列表，它将其转换为 std::vector<unsigned> .