digitalmars.D - Pointers to functions (!= "function pointers") should be disallowed
- Mehrdad (4/4) Jun 16 2012 I think pointers to functions should be disallowed (and more
- Timon Gehr (8/12) Jun 16 2012 pointers to functions == function pointers.
- Mehrdad (6/20) Jun 16 2012 Ah what!
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
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
On Sunday, 17 June 2012 at 02:24:23 UTC, Timon Gehr wrote:On 06/17/2012 02:55 AM, Mehrdad wrote: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!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