$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
Subject: Re: [boost] [contract] extra type requirements for contracts
From: Brent Spillner (spillner_at_[hidden])
Date: 2011-09-23 01:57:27
On Fri, Sep 23, 2011 at 5:25 AM, Brent Spillner <spillner_at_[hidden]> wrote:
> Unless I'm missing something, you should be able to replace the
Oof, I sure was... that's what I get for posting at 2 in the morning.
I can't see any way around an extra function, but I would probably
encapsulate it with something like
template < class T, class U > typename boost::enable_if_c<
can_call_equal<T>::value, bool >::type
equality_test(const T &t, const U &u) { return t == u; }
bool equality_test(...) { return true; }
to avoid littering the generated class with a bunch of one-off postN()s.