Bug 5686 – Explicit template instantiation with __FILE__ and __LINE__ associates those symbols with the declaration

test.d -------------------------- ptrdiff_t Test1( string file = __FILE__, ptrdiff_t line = __LINE__)(){ static assert( line != __LINE__ -1 ); return line ; } class Test2(string name, string file = __FILE__, ptrdiff_t line = __LINE__){ static assert( line != __LINE__ -1 ); int i = 1; this(){ } } void main(){ auto test1 = Test1(); auto test2 = new Test2!("test") ; } --------------------------------- test.d(8): Error: static assert (7 != 7) is false test.d(17): instantiated from here: Test2!("test")

update test case: ----------------- class Test2(string name, string file = __FILE__, ptrdiff_t line = __LINE__){ static assert( line != __LINE__ -1 ); ptrdiff_t test( string file = __FILE__, ptrdiff_t line = __LINE__)(){ static assert( line != __LINE__ -1 ); return line ; } } void main(){ auto test2 = new Test2!("test") ; test2.test ; } -------------------------------

Can you be more specific what is the problem? 7 != 7 *is* false. In the static assert line (line 8), __LINE__ should be 8, and line should be 7, since the previous line contains the declaration of line. Are you saying that __LINE__ should be the line number of the instantiation (i.e. 17)? Not sure what the intended behavior is here.

(In reply to comment #2) > In the static assert line (line 8), __LINE__ should be 8, and line should be 7, > since the previous line contains the declaration of line. Wow, that was confusing :) Let's call the template parameter lineno. I'll try again: In the static assert line (line 8), __LINE__ should be 8, and lineno should be 7, since the previous line contains the declaration of lineno.

The lineno shoule be the lineno where template is be instantiated, not where it be declared . for template and function template it is working . for class template and class member template it is not working .

----------------------------------- ptrdiff_t Test1( string file = __FILE__, ptrdiff_t line = __LINE__)(){ pragma(msg, line.stringof); return line ; } class Test2(string name, string file = __FILE__, ptrdiff_t line = __LINE__){ pragma(msg, line.stringof); } void main(){ auto test1 = Test1(); auto test2 = new Test2!("test") ; } --------------------------------------- compile this the dmd print 11, 7. dmd should print 11, 12 .

With some testing, I discovered that it's the act of explicit instantiation that causes the line number to be tied to the declaration line: ptrdiff_t Test1(string name, string file = __FILE__, ptrdiff_t line = __LINE__)(){ pragma(msg, line.stringof); return line ; } void main(){ auto test1 = Test1!("test")(); } prints 1. This workaround does work: Test2!(file, line) createTest2(string file = __FILE__, ptrdiff_t line = __LINE__)() { return new Test2!(file line); } I agree with the request that the line number and file should be tied to the instantiation line, not the declaration line.

This isn't a regression. It didn't work in DMD2.000 either.

*** This issue has been marked as a duplicate of issue 4018 ***