mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-04-29 22:50:38 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Add support for non-assignable construction for tuple

Browse source
This commit is contained in:
monarchdodra 2014-02-13 09:39:44 +01:00
parent 91c85101e8
commit c6bd4766a3
1 changed files with 55 additions and 22 deletions
Download patch file Download diff file Expand all files Collapse all files

59
std/typecons.d
View file

@ -353,9 +353,7 @@ template Tuple(Specs...)
} }
} }
template areCompatibleTuples(Tup1, Tup2, string op) enum areCompatibleTuples(Tup1, Tup2, string op) = isTuple!Tup2 && is(typeof(
{
enum areCompatibleTuples = isTuple!Tup2 && is(typeof(
{ {
Tup1 tup1 = void; Tup1 tup1 = void;
Tup2 tup2 = void; Tup2 tup2 = void;
@ -367,6 +365,24 @@ template Tuple(Specs...)
auto result = mixin("lhs "~op~" rhs"); auto result = mixin("lhs "~op~" rhs");
} }
})); }));
enum areBuildCompatibleTuples(Tup1, Tup2) = isTuple!Tup2 && is(typeof(
{
static assert(Tup1.Types.length == Tup2.Types.length);
foreach (i, _; Tup1.Types)
static assert(isBuildable!(Tup1.Types[i], Tup2.Types[i]));
}));
/+ Returns $(D true) iff a $(D T) can be initialized from a $(D U). +/
enum isBuildable(T, U) = is(typeof(
{
U u = U.init;
T t = u;
}));
/+ Helper for partial instanciation +/
template isBuildableFrom(U)
{
enum isBuildableFrom(T) = isBuildable!(T, U);
} }
struct Tuple struct Tuple
@ -417,8 +433,7 @@ template Tuple(Specs...)
alias field = expand; alias field = expand;
/** /**
* Constructor taking one value for each field. Each argument must be * Constructor taking one value for each field.
* implicitly assignable to the respective element of the target.
*/ */
this(Types values) this(Types values)
{ {
@ -426,8 +441,7 @@ template Tuple(Specs...)
} }
/** /**
* Constructor taking a compatible array. The array element type must * Constructor taking a compatible array.
* be implicitly assignable to each element of the target.
* *
* Examples: * Examples:
* ---- * ----
@ -436,8 +450,7 @@ template Tuple(Specs...)
* ---- * ----
*/ */
this(U, size_t n)(U[n] values) this(U, size_t n)(U[n] values)
if (n == Types.length && if (n == Types.length && allSatisfy!(isBuildableFrom!U, Types))
is(typeof({ foreach (i, _; Types) field[i] = values[i]; })))
{ {
foreach (i, _; Types) foreach (i, _; Types)
{ {
@ -446,12 +459,10 @@ template Tuple(Specs...)
} }
/** /**
* Constructor taking a compatible tuple. Each element of the source * Constructor taking a compatible tuple.
* must be implicitly assignable to the respective element of the
* target.
*/ */
this(U)(U another) this(U)(U another)
if (areCompatibleTuples!(typeof(this), U, "=")) if (areBuildCompatibleTuples!(typeof(this), U))
{ {
field[] = another.field[]; field[] = another.field[];
} }
@ -936,6 +947,28 @@ unittest
Tuple!(immutable(Foo)[]) a; Tuple!(immutable(Foo)[]) a;
} }
unittest
{
//Test non-assignable
static struct S
{
int* p;
}
alias IS = immutable S;
static assert(!isAssignable!IS);
auto s = IS.init;
alias TIS = Tuple!IS;
TIS a = tuple(s);
TIS b = a;
alias TISIS = Tuple!(IS, IS);
TISIS d = tuple(s, s);
IS[2] ss;
TISIS e = TISIS(ss);
}
/** /**
Returns a $(D Tuple) object instantiated and initialized according to Returns a $(D Tuple) object instantiated and initialized according to
the arguments. the arguments.