On 4/18/2011 5:15 AM, Kagamin wrote:
Such feature would be fantastic.
I don't see this becoming a feature of D for quite some time if ever
although it would make the enforcement easier.
Once the subsets are defined the next challenge is enforcing them. Two
ideas come to me right now. Enforcing it by checking object symbols,
most restrictions would generate some form of standardized symbol
request. The other is to use the D frontend and create a sort of lint
checker.
Where belong asserts and bound checks?
_d_array_bounds does bounds checking.
_d_assert_msg does asserts.
That is what I meant by symbol checking. Since they exist as separate
features with separate symbols They could be filtered into whatever
level is most appropriate. asserts I'd place in kernel and bounds
checking in drivers. Possibly low, but definately high.