Verwendung CBEGIN Zwingen()/CEND() in bereichsbasierte für

Question

Diese Frage bezieht sich auf:

When should I use the new ranged-for and can I combine it with the new cbegin/cend?

Basierend auf diese Frage, die Verwendung von cbegin() und cend() zu zwingen, muss man tun Beispiel:

for (auto& v: const_cast<decltype(container) const>(container)) 

Das ist eine Menge Standardcode für ein Konstrukt, das es beseitigen sollte. Gibt es einen kompakteren Weg dies zu tun? Der Grund für meine Frage ist, dass ein implizit geteilter Container meine Verwendung von begin() als einen Anhaltspunkt dafür, sich zu lösen, verwenden könnte.

Answer 1

Update: std::as_const wird im <utility> Header in C++ 17, sein.

Vor C++ 17 gibt es keine integrierte Syntax dafür; Sie können jedoch leicht eine Bequemlichkeit Wrapper schreiben:

template<typename T> constexpr const T &as_const(T &t) noexcept { return t; } 
for (auto &v: as_const(container)) 

Beachten Sie, dass diese Anrufe begin() const statt cbegin() speziell; die Standard container general requirements spezifizieren, dass cbegin() und begin() const sich identisch verhalten.

Wenn Ihr Behälter behandelt nicht konstante Iteration speziell, könnte es sinnvoll sein, für sie selbst eine Member-Funktion haben:

const Container &crange() const noexcept { return *this; } 
for (auto &v: container.crange()) 

Answer 2

const auto& const_container = container; 

for (const auto& v: const_container) { 

Answer 3

Die bereichsbasierte for-Schleife nie verwendet cbegin() oder cend(). (Deshalb gibt es keine Möglichkeit, es zu erzwingen.) Es gibt erstaunlich viele Gerüchte, die das Gegenteil beweisen; einige glauben, dass cbegin() und cend() verwendet werden, aber nie versuchen, ob der gleiche Code ohne begin() und end() kompilieren würde. Ein triviales Beispiel folgt. Vermutlich werden nur begin und end ausgedruckt, egal wie viele const_cast s hinzugefügt werden.

#include <iostream> 

class Iterable { 
    struct Iterator { 
    bool operator !=(const Iterator &) { return false; } 
    int operator *(){ return 0; } 
    Iterator& operator ++() { return *this; } 
    }; 
public: 
    Iterator cbegin() const noexcept { 
    std::cout << "cbegin" << std::endl; 
    return Iterator{}; 
    } 
    Iterator cend() const noexcept { 
    std::cout << "cend" << std::endl; 
    return Iterator{}; 
    } 
    Iterator begin() const noexcept { 
    std::cout << "begin" << std::endl; 
    return Iterator{}; 
    } 
    Iterator end() const noexcept { 
    std::cout << "end" << std::endl; 
    return Iterator{}; 
    } 
}; 

int main() { 
    Iterable a; 
    const Iterable b; 
    for (auto i : a) {} 
    for (auto i : b) {} 
    for (const auto &i : a) {} 
    for (const auto &i : b) {} 
    return 0; 
}