digitalmars.D.learn - Check whether function/delegate uses any shared or global variables
- Nikhil Jacob (3/3) Dec 12 2016 Is there any way to check whether a function/delegate passed to a
- Nicholas Wilson (5/8) Dec 12 2016 there is the pure function attribute, how ever this still allows
- Nikhil Jacob (7/16) Dec 12 2016 Make sense.. I have two follow up questions
- Nicholas Wilson (8/28) Dec 12 2016 1. they work the same. Delegates can have any of the function
- Jacob Carlborg (4/6) Dec 12 2016 And it can access immutable global data.
- Nikhil Jacob (2/7) Dec 12 2016 Thank you all for the help
Is there any way to check whether a function/delegate passed to a function uses any shared or global variables ? I could not find any in std.traits.
Dec 12 2016
On Monday, 12 December 2016 at 11:02:21 UTC, Nikhil Jacob wrote:Is there any way to check whether a function/delegate passed to a function uses any shared or global variables ? I could not find any in std.traits.there is the pure function attribute, how ever this still allows you to use globals *if you pass them as parameters to the function*. see https://dlang.org/spec/function.html#pure-functions
Dec 12 2016
On Monday, 12 December 2016 at 11:15:28 UTC, Nicholas Wilson wrote:On Monday, 12 December 2016 at 11:02:21 UTC, Nikhil Jacob wrote:Make sense.. I have two follow up questions 1. What about delegates ? 2. If a function is not explicitly declared as pure but satisfies the conditions of a pure function then can i check whether the function is pure using functionAttributes in std.traits.Is there any way to check whether a function/delegate passed to a function uses any shared or global variables ? I could not find any in std.traits.there is the pure function attribute, how ever this still allows you to use globals *if you pass them as parameters to the function*. see https://dlang.org/spec/function.html#pure-functions
Dec 12 2016
On Monday, 12 December 2016 at 11:37:04 UTC, Nikhil Jacob wrote:On Monday, 12 December 2016 at 11:15:28 UTC, Nicholas Wilson wrote:1. they work the same. Delegates can have any of the function attributes that a function can, as well as scope, meaning the delegate will not be stored. 2. Yes and no. Template functions have their attributes inferred (but you can still annotate them manually, to make sure that the function is e.g. pure). Non-template functions don't have their attributes inferred.On Monday, 12 December 2016 at 11:02:21 UTC, Nikhil Jacob wrote:Make sense.. I have two follow up questions 1. What about delegates ? 2. If a function is not explicitly declared as pure but satisfies the conditions of a pure function then can i check whether the function is pure using functionAttributes in std.traits.Is there any way to check whether a function/delegate passed to a function uses any shared or global variables ? I could not find any in std.traits.there is the pure function attribute, how ever this still allows you to use globals *if you pass them as parameters to the function*. see https://dlang.org/spec/function.html#pure-functions
Dec 12 2016
On 2016-12-12 12:15, Nicholas Wilson wrote:there is the pure function attribute, how ever this still allows you to use globals *if you pass them as parameters to the function*.And it can access immutable global data. -- /Jacob Carlborg
Dec 12 2016
On Monday, 12 December 2016 at 12:30:42 UTC, Jacob Carlborg wrote:On 2016-12-12 12:15, Nicholas Wilson wrote:Thank you all for the helpthere is the pure function attribute, how ever this still allows you to use globals *if you pass them as parameters to the function*.And it can access immutable global data.
Dec 12 2016