Re: [boost] [Proto] Review

From: David Abrahams (dave_at_[hidden])
Date: 2008-03-28 14:20:21

on Fri Mar 28 2008, Steven Watanabe <watanabesj-AT-gmail.com> wrote:

> David Abrahams wrote:
>> To start with, there's one very basic thing we won't be able to do: name
>> template specializations that cannot be instantiated, like
>>
>>   vector<foo(bar)>
>>
>> just for DSEL purposes.
>>   
>
> It can break today under certain conditions.
>
> http://lists.boost.org/boost-users/2006/11/23322.php

I don't understand how that is a case of what I'm describing.  It looks
like a simple instantiation failure.  In C++0x you won't even be able to
write

        typedef vector<foo(bar)> x;

without getting an error.

-- 
Dave Abrahams
Boost Consulting
http://boost-consulting.com