Re: [boost] Koenig lookup, names in std:: - Summary

From: Dietmar Kuehl (dietmar_kuehl_at_[hidden])
Date: 2001-01-25 17:22:10

Hi,
Gabriel Dos Reis wrote:

> |   template <typename T>
> |   struct swap_t {
>
> That is what I used to suggest.  It provides a uniform framework hook
> for standard function "specialisations".  It doesn't have the
> overloading surprise.

I'm sorry for repeating a suggestion when jumping into this thread
lately... However, after sending the previous message it occured to
me that at the London meeting we convinced the Core group to
keep template template arguments by clearly specifying the *exact*
semantics on the basis of the wording without templates (well, it was
not the only argument...): Basically, template template arguments
should work like using 'helper' as template argument and using
'helper::foo<T>':

  struct helper {
    template <typename T> class foo { ... };
  };

That is, the template template arguments didn't add a new feature
to the language but merely simplified and existing one. Maybe we
can convince them to do the same thing with the suggestion above
for partial function template specialization...