• mist (5/5) Sep 30 2012 How can I:
• Andrej Mitrovic (5/10) Sep 30 2012 See ParameterStorageClassTuple in std.traits
• mist (6/19) Sep 30 2012 Thanks!
• jerro (10/14) Sep 30 2012 I think this should work:
• Andrej Mitrovic (2/11) Sep 30 2012 Yep. We should add this to Phobos imo.
• mist (5/17) Oct 03 2012 Was pull request fired for this? I'd like to subscribe to get
• mist (2/16) Sep 30 2012

"mist" <none none.none> writes:

How can I:
1) check if function returns by ref
2) check if function parameters are ref
..outside of function body. Is parsing typeof(func).stringof only 
valid option?

Andrej Mitrovic <andrej.mitrovich gmail.com> writes:

On 9/30/12, mist <none none.none> wrote:
 How can I:
 1) check if function returns by ref
 2) check if function parameters are ref
 ..outside of function body. Is parsing typeof(func).stringof only
 valid option?

See ParameterStorageClassTuple in std.traits
http://dlang.org/phobos/std_traits.html

I'm not sure about the return type though. Maybe the template should
be improved to add return type into account.

"mist" <none none.none> writes:

Thanks!
Unfortunately, return type issue is more important in my case. 
I'll check if implementation from ParameterStorageClassTuple can 
be adapted for return types though.

On Sunday, 30 September 2012 at 20:37:14 UTC, Andrej Mitrovic 
wrote:
 On 9/30/12, mist <none none.none> wrote:
 How can I:
 1) check if function returns by ref
 2) check if function parameters are ref
 ..outside of function body. Is parsing typeof(func).stringof 
 only
 valid option?

 See ParameterStorageClassTuple in std.traits
 http://dlang.org/phobos/std_traits.html

 I'm not sure about the return type though. Maybe the template 
 should
 be improved to add return type into account.

"jerro" <a a.com> writes:

On Sunday, 30 September 2012 at 20:51:54 UTC, mist wrote:
 Thanks!
 Unfortunately, return type issue is more important in my case. 
 I'll check if implementation from ParameterStorageClassTuple 
 can be adapted for return types though.

I think this should work:

template returnsRef(alias f)
{
     enum bool returnsRef = is(typeof(
     {
         ParameterTypeTuple!f param;
         auto ptr = &f(param);
     }));
}

Andrej Mitrovic <andrej.mitrovich gmail.com> writes:

On 9/30/12, jerro <a a.com> wrote:
 I think this should work:

 template returnsRef(alias f)
 {
      enum bool returnsRef = is(typeof(
      {
          ParameterTypeTuple!f param;
          auto ptr = &f(param);
      }));
 }

Yep. We should add this to Phobos imo.

"mist" <none none.none> writes:

On Sunday, 30 September 2012 at 21:34:36 UTC, Andrej Mitrovic 
wrote:
 On 9/30/12, jerro <a a.com> wrote:
 I think this should work:

 template returnsRef(alias f)
 {
      enum bool returnsRef = is(typeof(
      {
          ParameterTypeTuple!f param;
          auto ptr = &f(param);
      }));
 }

 Yep. We should add this to Phobos imo.

Was pull request fired for this? I'd like to subscribe to get 
noticed when this will be in the phobos. If not, would you mind 
if I add one?

"mist" <none none.none> writes:

Thanks!

On Sunday, 30 September 2012 at 21:20:40 UTC, jerro wrote:
 On Sunday, 30 September 2012 at 20:51:54 UTC, mist wrote:
 Thanks!
 Unfortunately, return type issue is more important in my case. 
 I'll check if implementation from ParameterStorageClassTuple 
 can be adapted for return types though.

 I think this should work:

 template returnsRef(alias f)
 {
     enum bool returnsRef = is(typeof(
     {
         ParameterTypeTuple!f param;
         auto ptr = &f(param);
     }));
 }