Re: [boost] [optional] generates unnessesary code for trivial types

Subject: Re: [boost] [optional] generates unnessesary code for trivial types
From: Dave Abrahams (dave_at_[hidden])
Date: 2012-02-11 20:27:45

on Thu Feb 09 2012, paul Fultz <pfultz2-AT-yahoo.com> wrote:

> Actually, you could just take the optional_traits as the first parameter. So you define 
> optional<T> or optional<optional_traits<my_traits<T> > >. Then optional would be 
> specialized for optional_traits that will get the user-defined traits.

Be aware that tricks like this start to break down in generic contexts,
as optional_traits<T> specializations are treated differently by
optional from all other types.

-- 
Dave Abrahams
BoostPro Computing
http://www.boostpro.com