初始化程序列表作为容器不起作用

Initializer list as container does not work

本文关键字：不起作用 程序 列表 初始化      更新时间：2023-10-16

考虑以下示例：

#include <algorithm>
#include <iterator>
#include <vector>
template<class InputIterator, class T>
bool privIsElementOf(const T& element, InputIterator first, InputIterator last)
{
  return ( std::find(first, last, element) != last );
}
template<class Container, class T>
bool isElementOf(const T& element, const Container & cont)
{
  return privIsElementOf( element, std::begin(cont), std::end(cont) );
}
template<class T>
bool isElementOf(const T& element, const std::initializer_list<T> iList)
{
  return privIsElementOf( element, std::begin(iList), std::end(iList));
}

int main()
{
  std::vector<int> myVec { 1 , 3 , 5};
  bool isElement  = isElementOf(3, myVec);
  bool isElement2 = isElementOf(3, {1 , 3, 5 });
  return 0;
}

它与第二个带有initializer_list的isElementOf模板配合得很好。然而，内容或多或少与第一个模板相同。它使用std:：begin和std:：end。

当我删除第二个模板时，它显示以下编译错误：

initList.cpp:在函数"int main（）"中：initList.cpp:31:47:错误：对"isElementOf（int，）"的调用没有匹配的函数bool isElement2=isElementOf（3，｛1，3，5｝）；^initList.cpp:31:47:注意：候选者是：initList.cpp:12:6:注意：template bool isElementOf（const T&，const Container&）bool isElementOf（const T&element，const Container&cont）^initList.cpp:12:6:注意：模板参数推导/替换失败：initList.cpp:31:47:注意：无法推导模板参数"Container"bool isElement2=isElementOf（3，｛1，3，5｝）；^

有人能给我解释一下这个问题吗？该模板只是要求提供一个与std:：begin和std:：end兼容的类。为什么容器的模板不适用于初始化程序列表？有没有办法只用一个模板来解决这个问题？

实例

一个函数参数，其关联参数是初始值设定项列表（8.5.4），但参数没有std::initializer_list或引用可能合格的简历std::initializer_list型

是一个非推导上下文（§14.8.2.5[temp.dexecute.type]/p5），因此编译器无法推导Container。支持的init列表本身没有类型。

一种可能性是提供一个默认的模板参数来覆盖这种情况：

template<class T, class Container = std::initializer_list<T>>
bool isElementOf(const T& element, const Container & cont)
{
  return privIsElementOf( element, std::begin(cont), std::end(cont) );
}

请注意，除非您确信代码不会受到其复制语义的影响，否则不应该使用initializer_list默认参数——底层数组的生存期不会受到initializer_list对象的任何复制的影响。

相关文章：