[Issue 10608] New: std.typecons.RefCounted has very poor diagnostics
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Thu Jul 11 05:06:21 PDT 2013
http://d.puremagic.com/issues/show_bug.cgi?id=10608
Summary: std.typecons.RefCounted has very poor diagnostics
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: Phobos
AssignedTo: nobody at puremagic.com
ReportedBy: andrej.mitrovich at gmail.com
--- Comment #0 from Andrej Mitrovic <andrej.mitrovich at gmail.com> 2013-07-11 05:06:19 PDT ---
Example 1, passing too many arguments to the ctor:
-----
import std.typecons;
struct S
{
this(int x, int y)
{
_data = typeof(_data)(x, y);
}
struct T
{
this(int x)
{
}
}
RefCounted!T _data;
}
void main() { }
-----
$ dmd test.d
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\conv.d(3673): Error: static assert (2u == 1u) is false
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\typecons.d(3362): instantiated from here: emplace!(T, int, int)
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\typecons.d(3412): instantiated from here: initialize!(int, int)
> test.d(9): instantiated from here: __ctor!(int, int)
Example 2, passing too few arguments to the ctor:
-----
import std.typecons;
struct S
{
this(int x)
{
_data = typeof(_data)(x);
}
struct T
{
this(int x, int y)
{
}
}
RefCounted!T _data;
}
void main() { }
-----
$ dmd test.d
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\conv.d(3676): Error: cannot implicitly convert expression (_param_1) of type int to T
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\typecons.d(3362): Error: template instance std.conv.emplace!(T, int) error instantiating
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\typecons.d(3412): instantiated from here: initialize!(int)
test.d(9): instantiated from here: __ctor!(int)
> C:\dmd-git\dmd2\windows\bin\..\..\src\phobos\std\typecons.d(3412): Error: template instance std.typecons.RefCounted!(T).RefCounted.RefCountedStore.initialize!(int) error instantiating
> test.d(9): instantiated from here: __ctor!(int)
> test.d(9): Error: template instance std.typecons.RefCounted!(T).RefCounted.__ctor!(int) error instantiating
Example 3, accessing uninitialized payload:
-----
import std.typecons;
struct S
{
void test()
{
assert(_data.x == 1);
}
struct Payload
{
int x;
}
RefCounted!(Payload, RefCountedAutoInitialize.no) _data;
}
void main()
{
S s;
s.test();
}
-----
$ dmd test.d
> core.exception.AssertError at std.typecons(3507): Assertion failure
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
More information about the Digitalmars-d-bugs
mailing list