On 9/26/2011 10:56 AM, Jonathan M Davis wrote:
On Monday, September 26, 2011 10:13 Mehrdad wrote:
On 9/26/2011 9:36 AM, bearophile wrote:
In similar situations I suggest you to minimize your code, so both you
ans us are able to better see the situation and the problem. Doing
that you often don't need help. Bye, bearophile
Hope this is better:
void main() {
(Test() + Test()).get(0.0);
}
struct Sum(T1, T2) {
T1 a;
T2 b;
auto ref get(T2...)(T2 args) {
return (a + b).get(args); // Why is calling get() considered a
"forward reference"?
}
}
struct Test {
auto ref get(T2...)(T2 value) { return 0; }
Sum!(typeof(this), T2) opAdd(T2)(T2 other) const {
return typeof(return)(this, other);
}
}
I'm not sure, but I would have expected that reusing T2 in th template of the
get function would cause problems. At best, that T2 is shadowing the outer T2.
You should be using a different name for get's template parameter. Maybe that
has something to do with the problem, and the error message is just bad.
- Jonathna m Davis
Nah, that's not the issue. Originally it was a different name, it just
so happened that I didn't notice this in the simplification.
However, I DID find the problem -- it's because the function is
recursive. :(
What I _meant_ to say was a.get(args) + b.get(args), but I said (a +
b).get(args). So it was pretty much calling itself.
