• Peter Lundgren (12/12) Mar 04 2011 I have a function that I think should look something like this:
• spir (20/32) Mar 05 2011 Maybe I do not exactly understand your problem; anyway, the following ru...
• Peter Lundgren (8/40) Mar 05 2011 Thanks for the help. I'd convinced myself that it didn't work and missed...

Peter Lundgren <lundgrpb rose-hulman.edu> writes:

I have a function that I think should look something like this:

MyStruct!T myFunc(T)(MyStruct!T x, ...) {
	...
	return MyStruct!T(...);
}

and the closest I can get to is:

T myFunc(T)(T x, ...) {
	...
	return T(...);
}

which works, but doesn't make clear the intended use and gets in the way of
overloading. How can I express the intent of the first version.

spir <denis.spir gmail.com> writes:

On 03/05/2011 04:02 AM, Peter Lundgren wrote:
 I have a function that I think should look something like this:

 MyStruct!T myFunc(T)(MyStruct!T x, ...) {
 	...
 	return MyStruct!T(...);
 }

 and the closest I can get to is:

 T myFunc(T)(T x, ...) {
 	...
 	return T(...);
 }

 which works, but doesn't make clear the intended use and gets in the way of
 overloading. How can I express the intent of the first version.

Maybe I do not exactly understand your problem; anyway, the following runs fine 
by me:

struct S (T) {
     T v;
}

S!T inc (T) (S!T s) {
     return S!T(s.v + 1);
}

unittest {
     auto s1 = S!int(1);
     auto s2 = inc(s1);
     assert ( s2.v == 2 );
}

Could you provide (1) context (2) example (3) errors?

Denis
-- 
_________________
vita es estrany
spir.wikidot.com

Peter Lundgren <lundgrpb rose-hulman.edu> writes:

== Quote from spir (denis.spir gmail.com)'s article
 On 03/05/2011 04:02 AM, Peter Lundgren wrote:
 I have a function that I think should look something like this:

 MyStruct!T myFunc(T)(MyStruct!T x, ...) {
 	...
 	return MyStruct!T(...);
 }

 and the closest I can get to is:

 T myFunc(T)(T x, ...) {
 	...
 	return T(...);
 }

 which works, but doesn't make clear the intended use and gets in the way of
 overloading. How can I express the intent of the first version.

 Maybe I do not exactly understand your problem; anyway, the following runs fine
 by me:
 struct S (T) {
      T v;
 }
 S!T inc (T) (S!T s) {
      return S!T(s.v + 1);
 }
 unittest {
      auto s1 = S!int(1);
      auto s2 = inc(s1);
      assert ( s2.v == 2 );
 }
 Could you provide (1) context (2) example (3) errors?
 Denis

Thanks for the help. I'd convinced myself that it didn't work and missed the
actual problem. I was mixing template type and template value parameters. What I
really wanted was this:

MyStruct!v myFunc(string v)(MyStruct!v x, ...) {
 ...
 return MyStruct!v(...);
}