Thread overview | ||||||||
---|---|---|---|---|---|---|---|---|
|
March 21, 2018 recursive template expansion: Why does this not compile? | ||||
---|---|---|---|---|
| ||||
The following code does not compile: > void main() {} > > class SuperClass {} > > class TemplatedClass(T : SuperClass) {} > > class A : SuperClass { > alias T = TemplatedClass!B; > } > > class B : SuperClass { > alias T = TemplatedClass!C; > } > > class C : SuperClass {} It gives the error: > test.d(12): Error: class `test.TemplatedClass(T : SuperClass)` recursive template expansion > test.d(12): while looking for match for TemplatedClass!(C) The aliases do not have to be aliases, as long as there is some reference to the class (e.g. method and variable declarations also work). What exactly is the reason for this error? |
March 20, 2018 Re: recursive template expansion: Why does this not compile? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Ontonator | On Wednesday, March 21, 2018 00:47:18 Ontonator via Digitalmars-d-learn wrote:
> The following code does not compile:
> > void main() {}
> >
> > class SuperClass {}
> >
> > class TemplatedClass(T : SuperClass) {}
> >
> > class A : SuperClass {
> >
> > alias T = TemplatedClass!B;
> >
> > }
> >
> > class B : SuperClass {
> >
> > alias T = TemplatedClass!C;
> >
> > }
> >
> > class C : SuperClass {}
>
> It gives the error:
> > test.d(12): Error: class `test.TemplatedClass(T : SuperClass)`
> > recursive template expansion
> > test.d(12): while looking for match for
> > TemplatedClass!(C)
>
> The aliases do not have to be aliases, as long as there is some reference to the class (e.g. method and variable declarations also work). What exactly is the reason for this error?
I'm not sure exactly what's happening, since I'm not very familiar with the exactly how template specializations are defined, but the problem clearly relates to the fact that you used a template specialization instead of a template constraint. If you change TemplatedClass to
class TemplatedClass(T)
if(is(T : SuperClass))
{}
then the code compiles.
- Jonathan M Davis
|
March 21, 2018 Re: recursive template expansion: Why does this not compile? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Ontonator | On 03/21/2018 01:47 AM, Ontonator wrote:
> The following code does not compile:
>> void main() {}
>>
>> class SuperClass {}
>>
>> class TemplatedClass(T : SuperClass) {}
>>
>> class A : SuperClass {
>> alias T = TemplatedClass!B;
>> }
>>
>> class B : SuperClass {
>> alias T = TemplatedClass!C;
>> }
>>
>> class C : SuperClass {}
>
> It gives the error:
>> test.d(12): Error: class `test.TemplatedClass(T : SuperClass)` recursive template expansion
>> test.d(12): while looking for match for TemplatedClass!(C)
>
> The aliases do not have to be aliases, as long as there is some reference to the class (e.g. method and variable declarations also work). What exactly is the reason for this error?
Compiler bug. It works when you move the declaration of `B` before the one of `A`. Order shouldn't matter there.
|
March 21, 2018 Re: recursive template expansion: Why does this not compile? | ||||
---|---|---|---|---|
| ||||
Posted in reply to ag0aep6g | On Wednesday, 21 March 2018 at 06:39:22 UTC, ag0aep6g wrote:
> On 03/21/2018 01:47 AM, Ontonator wrote:
>> The following code does not compile:
>>> [...]
>>
>> It gives the error:
>>> [...]
>>
>> The aliases do not have to be aliases, as long as there is some reference to the class (e.g. method and variable declarations also work). What exactly is the reason for this error?
>
> Compiler bug. It works when you move the declaration of `B` before the one of `A`. Order shouldn't matter there.
Is this a known bug, or should I report it?
|
March 21, 2018 Re: recursive template expansion: Why does this not compile? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Ontonator | On Wednesday, March 21, 2018 22:50:32 Ontonator via Digitalmars-d-learn wrote:
> On Wednesday, 21 March 2018 at 06:39:22 UTC, ag0aep6g wrote:
> > On 03/21/2018 01:47 AM, Ontonator wrote:
> >> The following code does not compile:
> >>> [...]
> >>
> >> It gives the error:
> >>> [...]
> >>
> >> The aliases do not have to be aliases, as long as there is some reference to the class (e.g. method and variable declarations also work). What exactly is the reason for this error?
> >
> > Compiler bug. It works when you move the declaration of `B` before the one of `A`. Order shouldn't matter there.
>
> Is this a known bug, or should I report it?
If you can't find it searching on bugzilla, report it.
- Jonathan M Davis
|
March 22, 2018 Re: recursive template expansion: Why does this not compile? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Jonathan M Davis | On Wednesday, 21 March 2018 at 23:05:22 UTC, Jonathan M Davis wrote: > On Wednesday, March 21, 2018 22:50:32 Ontonator via Digitalmars-d-learn wrote: >> On Wednesday, 21 March 2018 at 06:39:22 UTC, ag0aep6g wrote: >> > On 03/21/2018 01:47 AM, Ontonator wrote: >> >> The following code does not compile: >> >>> [...] >> >> >> >> It gives the error: >> >>> [...] >> >> >> >> The aliases do not have to be aliases, as long as there is some reference to the class (e.g. method and variable declarations also work). What exactly is the reason for this error? >> > >> > Compiler bug. It works when you move the declaration of `B` before the one of `A`. Order shouldn't matter there. >> >> Is this a known bug, or should I report it? > > If you can't find it searching on bugzilla, report it. > > - Jonathan M Davis https://issues.dlang.org/show_bug.cgi?id=18646 |
Copyright © 1999-2021 by the D Language Foundation