std :: initializer_list沒有cbegin（）/ cend（）

Question

如果std::initializer_list中的元素總是常量值，爲什麼我們有模板方法，如begin()/end()而不是cbegin()/cend()？這個名稱（按照慣例，與例如std::vector相比）可能暗示當兩個方法總是返回const_iterator時，兩個方法都可以返回iterator。

Answer 1

雖然我不能提供關於原因的見解，爲什麼cbegin()和cend()不std::initializer_list「s接口另外的一部分begin()和end()，一定會有很好的理由，最後兩個成員函數應該是那裏。

的一個原因是，例如，該基於範圍的for環由C++ 11標準精確地在功能begin()和end()（段落6.5.4/1）來定義。因此，爲了使其能夠與初始化列表使用它，std::initializer_list必須提供begin()和end()成員函數：

#include <utility> 
#include <iostream> 

int main() 
{ 
    auto l = { 1, 2, 3, 4, 5 }; 
    for (int x : l) // Works because std::initializer_list provides 
        // the member functions begin() and end(). 
    { 
     std::cout << x << " "; 
    } 
} 

而且，是有意義的考慮成員函數cbegin()和cend()不存在前因此，在std::initializer_list的接口上具有begin()和end()允許根據begin()和end()編寫的舊通用算法也可以使用初始化器列表，而不需要它們被重寫。

你寫：

這些名字（按約定，比較例如std::vector）可能表明，這兩個std::initializer_list方法可以返回iterator，當他們總是返回const_iterator。

其實這個比喻不是很合適。 std::vector的功能begin()，例如，對std::vector非const實例調用時（即，可變的一個，它的元素可以被修改，添加和刪除）返回一個iterator，並且當上一個const實例調用一個const_iterator（即一個不變的一個，其內容不能被修改）：

#include <vector> 
#include <type_traits> 

int main() 
{ 
    // A non-const vector... 
    std::vector<int> v = { 1, 2, 3, 4, 5 }; 

    auto i = v.begin(); 
    static_assert(
     std::is_same<decltype(i), decltype(v)::iterator>::value, 
     //          ^^^^^^^^ 
     //          ...non-const iterator! 
     "What?"); 

    // A const vector... 
    std::vector<int> const vc = { 1, 2, 3, 4, 5 }; 
    auto ic = vc.begin(); 
    static_assert(
     std::is_same<decltype(ic), decltype(vc)::const_iterator>::value, 
     //          ^^^^^^^^^^^^^^ 
     //          ...const iterator! 
     "What?"); 
} 

初始化列表被定義不可改變的集合。每一段中的C++ 11標準的18.9/2：

initializer_list<E>類型的對象提供了訪問const E類型的對象的陣列。 [...]

因爲初始化列表是const元素的集合，該cbegin()和cend()功能實際上會做同樣的事情，begin()和end()做。

事實上，iterator和const_iterator都被定義爲指針初始化列表中的值類型的常量元素，所以這是值得商榷無論是begin()和end()總是返回const_iterator（如你認爲），還是他們總是這樣返回iterator。

這是標準如何段落的C++ 11 18.9/1定義了initializer_list類模板：

namespace std { 
    template<class E> class initializer_list { 
    public: 
     typedef E value_type; 
     // ... 
     typedef const E* iterator; 
     typedef const E* const_iterator; 
     // ... 
     constexpr const E* begin() const noexcept; // first element 
     constexpr const E* end() const noexcept; // one past the last element 
    }; 

    // ... 
}