1 Jun
2011
1 Jun
'11
1:12 a.m.
On Tue, May 31, 2011 at 6:35 PM, lcaminiti <lorcaminiti@gmail.com> wrote:
For example? (Just so I understand this case correctly.)
////////// CONTRACT_FUNCTION( public template( class T, class Alloc ) void (push_back)( (BOOST_IDENTITY_TYPE((std::vector< T, Alloc >&))) vector_, (const T&) element ) { vector_.push_back(element); } ////////// In the above case, since the first parameter type actually ends up being the result of a metafunction invocation, you can't simply call the function by doing this_.push_back( an_instance_of_std_vector, 4 ). T and Alloc can no longer be deduced. -- -Matt Calabrese