我从头文件initializer_list
复制了代码,并将类名重命名为my_initializer_list
template<class _E>
class my_initializer_list
{
public:
typedef _E value_type;
typedef const _E& reference;
typedef const _E& const_reference;
typedef size_t size_type;
typedef const _E* iterator;
typedef const _E* const_iterator;
private:
iterator _M_array;
size_type _M_len;
// The compiler can call a private constructor.
constexpr my_initializer_list(const_iterator __a, size_type __l)
: _M_array(__a), _M_len(__l) { }
public:
constexpr my_initializer_list() noexcept
: _M_array(0), _M_len(0) { }
// Number of elements.
constexpr size_type
size() const noexcept { return _M_len; }
// First element.
constexpr const_iterator
begin() const noexcept { return _M_array; }
// One past the last element.
constexpr const_iterator
end() const noexcept { return begin() + size(); }
};
和代码:
int main()
{
my_initializer_list<int> foo = {1,2,3};
return 0;
}
并收到错误:
could not convert '{1, 2, 3}' from '<brace-enclosed initializer list>' to 'my_initializer_list<int>'
我的问题:STL如何实现initializer_list类?
答案 0 :(得分:6)
它适用于std::initializer_list
,因为即使std::initializer_list
是一个类, 常规类也是如此。这是一个非常特殊的类,从某种意义上说,当你编写auto x = {1,2,3};
时,编译器将推断 x
为std::initializer_list<int>
并相应地初始化它。编译器在这里执行 black magic 来执行类型推断和初始化。 不只有库功能。它也是一个核心功能。
如果你打算使用my_initializer_list
,那么它的构造函数需要接受std::initializer_list
,这样编译器就可以为你做黑魔法。
请注意{1,2,3}
是一个无类型的表达式 - 好吧,要迂腐,它甚至不是表达式;仅在某些特殊情况下,它可以用于使用一些特殊规则初始化对象。例如,请看:
auto items = {1,2,3}; //OK: items is inferred to be std::initializer_list<int>
//must #include <initializer_list>
但是,对于模板,规则是不同的:
template<typename T>
void f(T const & items);
f({1,2,3}); //ILL-FORMED: T cannot be deduced to be
//std::initializer_list<int> or anything else
//even if you use #include <initializer_list>
f(std::initializer_list<int>{1,2,3}); //OK: #include <initializer_list>
f(std::vector<int>{1,2,3}); //OK: #include <vector>
//because std::vector accepts std::initializer_list<T>
希望有所帮助。