digitalmars.D.bugs - [Issue 2984] New: Failure to find front/back/popBack/popFront/etc should fall back to opApply
- d-bugmail puremagic.com (93/93) May 15 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
- d-bugmail puremagic.com (7/7) May 15 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
- d-bugmail puremagic.com (17/17) May 15 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
- d-bugmail puremagic.com (12/12) Nov 16 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
- d-bugmail puremagic.com (11/11) Nov 16 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
- d-bugmail puremagic.com (10/10) Nov 16 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
- d-bugmail puremagic.com (15/15) Nov 16 2009 http://d.puremagic.com/issues/show_bug.cgi?id=2984
http://d.puremagic.com/issues/show_bug.cgi?id=2984 Summary: Failure to find front/back/popBack/popFront/etc should fall back to opApply Product: D Version: unspecified Platform: PC OS/Version: Windows Status: NEW Keywords: rejects-valid Severity: regression Priority: P2 Component: DMD AssignedTo: bugzilla digitalmars.com ReportedBy: 2korden gmail.com I have a Vector class which is modeled after std::vector. As such, it has front, back, popBack but no popFront method. DMD2.029 fails to compile foreach over the vector because it lacks popFront even though there are opApply overloads for it. Marking it as a regression since it used to compile with DMD2.028 although it used other primitive names. Here is a cut-down code to reproduce the problem: module Vector; public struct Vector(Type) { private uint _size = 0; private Type[] _elements = null; uint length() { return _size; } bool empty() { return _size == 0; } void popBack() in { assert(_size >= 1); } body { --_size; } Type back() in { assert(!empty()); } body { return _elements[_size-1]; } Type front() in { assert(!empty()); } body { return _elements[0]; } int opApply(int delegate(ref Type value) dg) { for(uint i=0; i<_size; ++i) { int result = dg(_elements[i]); if( result != 0 ) { return result; } } return 0; } int opApply(int delegate(ref uint index, ref Type value) dg) { for(uint i=0; i<_size; ++i) { int result = dg(i, _elements[i]); if( result != 0 ) { return result; } } return 0; } } void main() { Vector!(int) v; foreach (int i; v) { // do nothing } } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
May 15 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2984 --- Error message issued: Vector.d(83): Error: no property 'popFront' for type 'Vector!(int)' -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
May 15 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2984 --- Note that adding Type[] opSlice() { return _elements[0.._size]; } to the Vector struct will result int the following error message instead: Error: undefined identifier module Vector.empty Error: function expected before (), not module Vector.empty of type void Error: undefined identifier module Vector.popFront Error: function expected before (), not module Vector.popFront of type void Error: undefined identifier module Vector.front Error: function expected before (), not module Vector.front of type void -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
May 15 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2984 Don <clugdbug yahoo.com.au> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |clugdbug yahoo.com.au Severity|regression |major This isn't a regression -- the language changed. Bug 3514 expresses this better. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 16 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2984 --- Well, yes. It is a regression in a sense that the code used to compile but it doesn't anymore. It sees a front(), back() and empty() methods in my Vector struct (which is designed after std::vector and thus has similar members) and mistakenly assumes it is a range (and it's not). The language change shouldn't have caused this compilation error, be it implemented more correct, that's why I marked it as a regression :) -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 16 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2984 Leandro Lucarella <llucax gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dsimcha yahoo.com PST --- *** Issue 3514 has been marked as a duplicate of this issue. *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 16 2009
http://d.puremagic.com/issues/show_bug.cgi?id=2984 Steven Schveighoffer <schveiguy yahoo.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |DUPLICATE 14:04:03 PST --- Although bug 3514 came later, it captures more information, and following the fix prescribed in 3514 would make this bug sort of moot. There is no reason to have a special case of partially implemented range functions vs. opApply -- opApply should be the default choice even with valid range functions. *** This issue has been marked as a duplicate of issue 3514 *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Nov 16 2009