From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2003-02-24 08:59:22
"Ken Hagan" <K.Hagan_at_[hidden]> writes:
| I could write...
|
| int fk() { return k; }
|
| and re-cast my template to expect a pointer to function and then
| write C<&fk>. This is perfectly legal under the current language
| rules, and gives a type whose behaviour depends on the thread that
| is using it.
This analgoy does not cut it: You don't have a function "fk" by thread.
You have a -single- function designator. And the return value depends on
the calling thread.
-- Gaby