Bug 11522 – mixing template mixins of template functions creates issues for dmd
Status
RESOLVED
Resolution
INVALID
Severity
normal
Priority
P2
Component
dmd
Product
D
Version
D2
Platform
x86
OS
Windows
Creation time
2013-11-15T13:36:22Z
Last change time
2022-06-09T13:57:17Z
Assigned to
No Owner
Creator
Phil Lavoie
Comments
Comment #0 by maidenphil — 2013-11-15T13:36:22Z
mixin template innerMixin() {
void someFunc( string s )() if( s == "tata" ) {
}
}
mixin template outerMixin() {
//If you comment out this function, it compiles and work.
void someFunc( string s )() if( s == "toto" ) {
}
mixin innerMixin;
}
void main( string[] args ) {
mixin outerMixin;
static assert( __traits( compiles, mixin( "someFunc!\"tata\"()" ) ) ); //Does not pass.
}
Shouldn't it work? Version is 2.064
Comment #1 by maidenphil — 2013-11-15T13:42:10Z
(In reply to comment #0)
> mixin template innerMixin() {
>
> void someFunc( string s )() if( s == "tata" ) {
>
> }
>
> }
>
> mixin template outerMixin() {
>
> //If you comment out this function, it compiles and work.
> void someFunc( string s )() if( s == "toto" ) {
>
> }
>
>
> mixin innerMixin;
>
> }
>
> void main( string[] args ) {
>
> mixin outerMixin;
>
> static assert( __traits( compiles, mixin( "someFunc!\"tata\"()" ) ) ); //Does
> not pass.
> }
>
> Shouldn't it work? Version is 2.064
K, if you move the "outer" "someFunc" into its own mixin template, like such:
mixin template otherInnerMixin() {
void someFunc( string s )() if( s == "toto" ) {
}
}
and change "outerMixin" for this:
mixin template outerMixin() {
mixin innerMixin;
mixin otherInnerMixin;
}
Then it works.
Comment #2 by maidenphil — 2013-11-15T13:50:22Z
(In reply to comment #1)
> (In reply to comment #0)
> > mixin template innerMixin() {
> >
> > void someFunc( string s )() if( s == "tata" ) {
> >
> > }
> >
> > }
> >
> > mixin template outerMixin() {
> >
> > //If you comment out this function, it compiles and work.
> > void someFunc( string s )() if( s == "toto" ) {
> >
> > }
> >
> >
> > mixin innerMixin;
> >
> > }
> >
> > void main( string[] args ) {
> >
> > mixin outerMixin;
> >
> > static assert( __traits( compiles, mixin( "someFunc!\"tata\"()" ) ) ); //Does
> > not pass.
> > }
> >
> > Shouldn't it work? Version is 2.064
>
> K, if you move the "outer" "someFunc" into its own mixin template, like such:
>
> mixin template otherInnerMixin() {
>
> void someFunc( string s )() if( s == "toto" ) {
>
> }
>
> }
>
> and change "outerMixin" for this:
>
> mixin template outerMixin() {
>
> mixin innerMixin;
> mixin otherInnerMixin;
>
> }
>
> Then it works.
Scratch that, it's working for this short example but not in my real world problem.
Comment #3 by razvan.nitu1305 — 2022-06-09T13:57:17Z
This is the expected behavior. The innerMixin introduces a new scope so the function that is constrainted to "toto" actually has priority over the function constrained to "tata". To achieve what you want you have to introduce innerMixin.someFunc in the same overload set as outerMixin.somefunc:
mixin template outerMixin() {
mixin innerMixin im;
alias somefunc = im.someFunc();
//If you comment out this function, it compiles and work.
void someFunc( string s )() if( s == "toto" ) {
}
}
Then the code will compile.