From: daniel.kruegler@googlemail.com   
      
   Am 26.01.2012 20:46, schrieb Frank Birbacher:   
   [..]   
   > In C++ the calling contex of a function will not determine it's return   
   > type nor will it resolve overloads. [..]  Functions   
   > are determined by parameter types only. So the template operator() you   
   > mentioned cannot deduce its return type from its use.   
      
   I agree in principal, but it should be noted that conversion functions   
   are one special example which allow to deduce a return type, e.g.   
      
   struct to_any_t {   
     template   
     operator T();   
   } to_any;   
      
   int i = to_any; // OK   
   bool b = to_any; // OK   
   struct S {} s = to_any; // OK   
      
   While this demonstrates this feature nicely, it does not solve the OPs   
   problem, though.   
      
   Greetings from Bremen,   
      
   Daniel Krügler   
      
      
   --   
         [ See http://www.gotw.ca/resources/clcm.htm for info about ]   
         [ comp.lang.c++.moderated.    First time posters: Do this! ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)