mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-05-03 08:30:33 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

More exhaustive test cases

Browse source
This commit is contained in:
k-hara 2011-09-21 01:36:42 +09:00
parent 5b81181700
commit fcacf2060e
1 changed files with 60 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

65
std/conv.d
View file

@ -613,14 +613,69 @@ unittest
} }
// Unittest for 6288 // Unittest for 6288
version (unittest)
{
private template Identity(T) { alias T Identity; }
private template toConst(T) { alias const(T) toConst; }
private template toShared(T) { alias shared(T) toShared; }
private template toSharedConst(T) { alias shared(const(T)) toSharedConst; }
private template toImmutable(T) { alias immutable(T) toImmutable; }
private template Mod2Conv(int n) if (0 <= n && n < 5)
{
static if (n == 0) alias Identity Mod2Conv;
static if (n == 1) alias toConst Mod2Conv;
static if (n == 2) alias toShared Mod2Conv;
static if (n == 3) alias toSharedConst Mod2Conv;
static if (n == 4) alias toImmutable Mod2Conv;
}
}
unittest unittest
{ {
class C {} interface I {}
class D : C {} interface J {}
const(C) c = new D; class A {}
static assert(!__traits(compiles, { D d = to!D(c); })); class B : A {}
//assert(d !is null); class C : B, I, J {}
class D : I {}
foreach (mod1; TypeTuple!(0,1,2,3,4))
foreach (mod2; TypeTuple!(0,1,2,3,4))
{
alias Mod2Conv!mod1 Mod1;
alias Mod2Conv!mod2 Mod2;
//pragma(msg, Mod1!Object, " -> ", Mod2!Object, ", convertible = ",
// isImplicitlyConvertible!(Mod1!Object, Mod2!Object));
static if (isImplicitlyConvertible!(Mod1!Object, Mod2!Object))
{
auto b = new Mod1!B();
auto c = new Mod1!C();
auto d = new Mod1!D();
// class to class
assert(to!(Mod2!C)(cast(Mod1!A)c) is c); // A(c) to C
assertThrown(to!(Mod2!C)(cast(Mod1!A)b)); // A(b) to C
// class to interface
assert(to!(Mod2!I)(cast(Mod1!A)c) is c); // A(c) to I
assertThrown(to!(Mod2!I)(cast(Mod1!A)b)); // A(b) to I
// interface to class
assert(to!(Mod2!C)(cast(Mod1!I)c) is c); // I(c) to C
assertThrown(to!(Mod2!C)(cast(Mod1!I)d)); // I(d) to C
// interface to interface
assert(to!(Mod2!J)(cast(Mod1!I)c) is c); // I(c) to J
assertThrown(to!(Mod2!J)(cast(Mod1!I)d)); // I(d) to J
}
else
{
static assert(!is(typeof(to!(Mod2!C)(Mod1!A.init)))); // A to C
static assert(!is(typeof(to!(Mod2!I)(Mod1!A.init)))); // A to I
static assert(!is(typeof(to!(Mod2!C)(Mod1!I.init)))); // I to C
static assert(!is(typeof(to!(Mod2!J)(Mod1!I.init)))); // I to J
}
}
} }
/** /**