
31 May
2011
31 May
'11
11:12 p.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