On 18/07/2012 18:29, Eric Niebler wrote:

Is there some code in Proto that is forcing the instantiation of those
specializations? Probably, and that would unintended. One approach would
be to replace these normalized forms with an equivalent incomplete type
and fix all places where the code breaks.

Doesn't

template<class T>
struct foo
{
   typedef bar<T> baz;
};

foo<int> f = {};

instantiate bar<T>?

The problem I see is that for a regular Proto expression, the whole tree gets instantiated twice for expr and basic_expr.
_______________________________________________
proto mailing list
proto@lists.boost.org
http://lists.boost.org/mailman/listinfo.cgi/proto

Reply via email to