Or is it safe to use vector if the Enumerator of T is just listing all the elements?
-
There is an Equivalent you could use in C++ would you care to see a code example– MethodManJan 6, 2012 at 21:22
-
@DJKRAZE: Thanks! I'm just trying to see if there are more appropriate approaches other than using vector, that might allow our own implementations of GetEnumerator() in C++ as well.– derekhhJan 6, 2012 at 21:23
4 Answers
It isn't needed in C++, and here's why:
C# only supports dynamic polymorphism. So to create a reusable algorithm, you need an interface which all iterators will implement. That's IEnumerator<T>
, and IEnumerable<T>
is a factory for returning an iterator.
C++ templates, on the other hand, support duck typing. That means you don't need to constrain a generic type parameter by an interface in order to access members -- the compiler will look up members by name for each individual instantiation of the template.
C++ containers and iterators have implicit interfaces which is equivalent to .NET IEnumerable<T>
, IEnumerator<T>
, ICollection<T>
, IList<T>
, namely:
For containers:
iterator
andconst_iterator
typedefsbegin()
member function -- fills the need forIEnumerable<T>::GetEnumerator()
end()
member function -- instead ofIEnumerator<T>::MoveNext()
return value
For forward iterators:
value_type
typedefoperator++
-- instead ofIEnumerator<T>::MoveNext()
operator*
andoperator->
-- instead ofIEnumerator<T>::Current
- reference return type from
operator*
-- instead ofIList<T>
indexer setter operator==
andoperator!=
-- no true equivalent in .NET, but with container'send()
matchesIEnumerator<T>::MoveNext()
return value
For random access iterators:
operator+
,operator-
,operator[]
-- instead ofIList<T>
If you define these, then standard algorithms will work with your container and iterator. No interface is needed, no virtual functions are needed. Not using virtual functions makes C++ generic code faster than equivalent .NET code, sometimes much faster.
Note: when writing generic algorithms, it's best to use std::begin(container)
and std::end(container)
instead of the container member functions. That allows your algorithm to be used with raw arrays (which don't have member functions) in addition to the STL containers. Raw arrays and raw pointers satisfy all other requirements of containers and iterators, with this single exception.
-
7This is a good explanation for consuming IEnumerable equivalents but what about producing them? What if I want to define an interface that exposes a member I can do begin() and end() over but without caring about the specific type that implements that member?– SanderAug 9, 2013 at 8:14
-
4Andrei Alexandrescu disagrees with you. See "Iterators must go": zao.se/~zao/boostcon/09/2009_presentations/wed/… C++/D Ranges are the suggested replacement, and wouldn't you know, ranges match almost exactly the .NET IEnumerator interface.– naaskingNov 15, 2013 at 17:00
-
2@naasking: I don't know how that constitutes "disagreement". Now we have two ways to iterate ranges without a virtually dispatched interface. Your claim that ranges are
IEnumerator
shows ignorance of whatIEnumerator
actually is. Ranges are duck-types, .NETIEnumerable
is dynamically dispatched. And please note that ranges, for all their advantages, are still not the canonical way of doing things in Standard C++. Nov 15, 2013 at 17:09 -
1@naasking: C#
IEnumerator
is not duck typed. C++ iterators and ranges have no virtual functions. Duck typing is 100% relevant, because it is the reason that C++ iterators and ranges do not need to inherit from a common base class. Oh, the C#dynamic
keyword is not the same as dynamic dispatch, as your comment suggests. It is dynamic binding. Which is, btw, even slower than dynamic dispatch, even with the DLR cache. Nov 15, 2013 at 20:15 -
1@naasking: You show your C++ illiteracy, when you say that dynamism is a red herring. Dynamism has a runtime cost, moderate for virtual dispatch (like
IEnumerable
), and very high for dynamic binding (which is the only form of "duck typing" that C# has). The language design of C++ has a strong emphasis on avoiding runtime costs. Dynamism is semantics. Please stop abusing the term dynamic dispatch -- it is synonymous with virtual dispatch, not dynamic binding. Duck typing in C# needs dynamic binding. And finally, the question is aboutIEnumerable
, which is not duck typed. Dec 14, 2014 at 18:55
If we stick to the question strictly the answer is no, as far as I know. People have kept replying what is the substitute available in C++, which may be good info but not answers, and which the OP most probably knew already.
I completely disagree that "it is not needed," it is just that the designs of the C++ and .NET standard libraries are different. The main feature of IEnumerable<> is that it's polymorphic, and so it enables the caller to use whatever class he wants (array, List, Set etc.), while still providing compile-time strong typing, fail-safe even in library APIs.
The only alternative in C++ is templates. But C++ templates are not safely typed run-time generics, they are basically kind of macros. So first of all with templates in C++ you are forced to provide the whole template source code to whoever needs to use your template. Moreover if you make your library API templated you lose the ability to guarantee that a call to it will compile, and the code is not automatically self-documenting.
I fully sympathize with any other programmer who uses both C# and C++ and is frustrated with this point.
However C++2X is planned to add features including ranges (which may satisfy the OP?); as well as concepts (which address the weak/bad type-checking of templates -- flaw admitted by Bjarne Stroustrup himself), and modules (which may or may not help reducing the pain from header-only templates).
-
1"C++ templates are not safely typed run-time generics" is incredibly misleading. They are safely typed (much more safely than .NET polymorphism) compile-time (which allows optimization) generics. Nov 2, 2016 at 20:25
-
4Let me rephrase it: C++ templates are but macros. C++ is of course strongly type-safe -- same as C#.– J.P.Feb 15, 2017 at 11:45
-
1C++ templates are substantially different in behavior from macros, both the weak C variety of macros and also any super-powerful language-independent macro processor you care to adopt. Templates and the type system are deeply intertwined. Feb 15, 2017 at 18:32
-
Reading Alexandrescu's The D Programming Language I see this is a longstanding debate... I understand why a language like C# opted for homogeneous/polymorphic generic but C++ is happy with heterogeneous templates and allowing specialized instantiation (even if it doesn't play along with separating header and implementation files which is another story...) "Homogeneous translation favors uniformity, simplicity, and compact generated code. [...] In contrast, heterogeneous translation favors specialization, expressive power, and speed of generated code."– J.P.Feb 20, 2017 at 18:09
-
1Completely agree with this: "Moreover if you make your library api templated you lose the ability to guarantee that a call to it will compile". Feb 2, 2018 at 6:23
The standard C++ way is to pass two iterators:
template<typename ForwardIterator>
void some_function(ForwardIterator begin, ForwardIterator end)
{
for (; begin != end; ++begin)
{
do_something_with(*begin);
}
}
Example client code:
std::vector<int> vec = {2, 3, 5, 7, 11, 13, 17, 19};
some_function(vec.begin(), vec.end());
std::list<int> lst = {2, 3, 5, 7, 11, 13, 17, 19};
some_function(lst.begin(), lst.end());
int arr[] = {2, 3, 5, 7, 11, 13, 17, 19};
some_function(arr + 0, arr + 8);
Yay generic programming!
-
-
1@Abyx: The client code is operating on non-dependent types that demonstrably have
.begin
and.end
so it makes no odds here. In any case, the genericity ofsome_function
is what's important and that choice in the client code doesn't affect its implementation. Jan 6, 2012 at 21:50 -
1This is the opposite of what's being asked for, IMHO. This shows how to consume an iterator generically. -- How would you implement the actual iterator? (Using
IEnumerable
in C#, this is incredibly easy, you just useyield return
-- but how do you do the equivalent in C++?) May 31, 2016 at 2:50
IEnumerable<T>
is conceptually very different from vector
.
The IEnumerable
provides forward-only, read-only access to a sequence of objects, regardless of what container (if any) holds the objects. A vector
is actually a container itself.
In C++, should you want to provide access to a container without giving the details of this container, the convention is to pass in two iterators representing the beginning and end of the container.
A good example is the C++ STL definition of accumulate, which can be contrasted with IEnumerable<T>.Aggregate
In C++
int GetProduct(const vector<int>& v)
{
// We don't provide the container, but two iterators
return std::accumulate(v.begin(), v.end(), 1, multiplies<int>());
}
In C#
int GetProduct(IEnumerable<int> v)
{
v.Aggregate(1, (l, r) => l*r);
}
-
1This answer only shows the consuming side, and isn't terribly helpful. May 31, 2016 at 2:52
-
2@BrainSlugs83: Your comments and downvotes aren't terribly helpful. Nothing in the question asks about syntactic sugar for iterator implementation using coroutines, which is exactly what C#
yield return
is. This question doesn't emphasize either the implementation side or the consumption side, it asks about the iterator interface itself, and not convenience wrappers. You're imposing your own curiosity about implementation, which is natural, but not helpful. If you want to know about implementation details, ask your own question, don't hijack this one. May 31, 2016 at 17:03