作为容器的初始值设定项列表不起作用

Question

考虑以下示例：

#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;
}

它使用第二个isElementOf模板和initializer_list进行编译。然而内容或多或少与第一个模板相同。它使用std::begin和std::end。

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

    initList.cpp: In function ‘int main()’:
    initList.cpp:31:47: error: no matching function for call to ‘isElementOf(int, )’
       bool isElement2 = isElementOf(3, {1 , 3, 5 });
                                                   ^
    initList.cpp:31:47: note: candidate is:
    initList.cpp:12:6: note: template bool isElementOf(const T&, const Container&)
     bool isElementOf(const T& element, const Container & cont)
          ^
    initList.cpp:12:6: note:   template argument deduction/substitution failed:
    initList.cpp:31:47: note:   couldn't deduce template parameter ‘Container’
       bool isElement2 = isElementOf(3, {1 , 3, 5 });
                                                   ^

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

现场示例

Answer 1

一种函数参数，其关联参数是初始值设定项列表（8.5.4），但该参数没有标准的初始值设定项列表，也没有对可能符合cv条件的标准的初始值设定项列表的引用

是非推断上下文（§14.8.2.5[临时推断类型]/p5），因此编译器无法推断容器。带大括号的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) );
}

请注意，除非您确信代码不会受其复制语义的影响，否则不应使用默认参数-基础数组的生存期不受对初始值设定项列表对象的任何复制的影响。