www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Pointers to functions (!= "function pointers") should be disallowed

reply "Mehrdad" <wfunction hotmail.com> writes:
I think pointers to functions should be disallowed (and more 
indirections thereof):

	typeof(Object.toString)*  p;

They can never point anywhere reasonable other than null.
Jun 16 2012
next sibling parent Timon Gehr <timon.gehr gmx.ch> writes:
On 06/17/2012 02:55 AM, Mehrdad wrote:
 I think pointers to functions should be disallowed (and more
 indirections thereof):

 typeof(Object.toString)* p;

pointers to functions == function pointers. They are just alternate syntax.
 They can never point anywhere reasonable other than null.

void main(){ typeof(main)* ptr = &main; static assert(is(typeof(ptr)==void function())); assert(ptr !is null); }
Jun 16 2012
prev sibling parent "Mehrdad" <wfunction hotmail.com> writes:
On Sunday, 17 June 2012 at 02:24:23 UTC, Timon Gehr wrote:
 On 06/17/2012 02:55 AM, Mehrdad wrote:
 I think pointers to functions should be disallowed (and more
 indirections thereof):

 typeof(Object.toString)* p;

pointers to functions == function pointers. They are just alternate syntax.
 They can never point anywhere reasonable other than null.

void main(){ typeof(main)* ptr = &main; static assert(is(typeof(ptr)==void function())); assert(ptr !is null); }

Ah what! I guess what confused me was that &Object.toString was a function, which made me think they were "unbound delegates", and hence we couldn't actually set them... thanks!
Jun 16 2012