[Boost-users] A case for the language lawyers (was: [Proto] POD expression can't be used in std::vector)

Subject: [Boost-users] A case for the language lawyers (was: [Proto] POD expression can't be used in std::vector)
From: Eric Niebler (eric_at_[hidden])
Date: 2008-11-23 14:47:58

Eric Niebler wrote:
> namespace N
> {
>     struct S {};
>     template<class T, class U>
>     void operator+(T const &, U const &) {}
> }
> 
> template<class T> struct X {};
> struct Y : X<N::S> {};
> 
> int main()
> {
>     Y y;
>     y+y;
> }
> 
> The above code compiles with gcc but doesn't with Intel 10.1

Hmm, comeau online rejects this code, too. (Not too surprising, I think 
Intel uses the comeau front end.) It's possible this is a gcc bug, not 
an Intel bug. When I have some time, I'll dive into the standard and see 
what it says about this case.

-- 
Eric Niebler
BoostPro Computing
www.boostpro.com