I'm sorry if I repeat some past discussion, I have not followed this discussion thread from the beginning. (I read the past several posts to make sure I didn't write anything too stupid)
I read http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2002/n1406.pdf that genny referred to. I have two comments about the proposal. 1. there is no mention of default parameters in the templated type. While I don't know how that would affect implementation details, it seems like such a feature should be included. example (of something that should be legal): template <A,B=X,C=Y> class D; template <A,B=Z> typedef E D<A,B,Y>; 2. Section 2.5 (Different Declarations) rubs me the wrong way. Thr proposal does say that some people dislike this, and I guess I'm one of them. If template <A,B> class X; template <A> typedef foo X<A,B>; then I'm opposed to typeof(X<A,B>) != typeof(foo<A>) After all if typedef bar int; then typeof(bar) == typeof(int) /* causes occasional dismay */ I'd like to see templates hold the same logical niche for both templated and untemplated types. It would be interesting to have a means of defining a new type via a typedef-like declaration that did not share type equality, I just wouldn't want it to be a normal looking typedef statement. maybe template <A,B> class X; template <A> distincttypedef foo2 X<A,B>; distincttypedef bar2 int; Then typeof(foo2<A>) != typeof(X<A,B>) and typeof(bar2) != typeof(int) both seem natural to me... distincttypedef might not be the right future syntax, but hopefully the idea is clear Gennaro Prota wrote: > > On Wed, 29 Jan 2003 12:43:49 -0600, "David B. Held" > <[EMAIL PROTECTED]> wrote: > > >Well, I thought Herb's proposal was more or less "definitive". Is that > >not what's likely to be presented to the committee? If we got template > >aliasing as you describe above, then Herb's proposal is just fine with > >me. > > But where is the true proposal? I just know this: > > http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/papers/2002/n1406.pdf > > which seems rather a magazine article to me. > > Genny. > > _______________________________________________ > Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost
