From: daniel.kruegler@googlemail.com   
      
   Am 21.04.2012 22:27, schrieb Daniel Krügler:   
   [..]   
   > A type-construction like   
   >   
   > typename /some_template/::/some_type/   
   >   
   > where some_arguments needs to be deduced is always an undeduced   
   > context, because in general the compiler cannot find the set of   
   > some_arguments given a dependent type some_type: This is like finding   
   > an inverse function: To find the inverse of a mathematical function   
   > requires that this function is invertible (i.e. there are some   
   > constraints imposed), which is a unique inverse relation. C++   
   > templates are not (in general) invertible type/value functions.   
      
   Oops, the last sentence should better say:   
      
   "Dependent types of C++ templates are not (in general) invertible   
   type/value functions."   
      
   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)