4 Oct
2012
4 Oct
'12
7:46 a.m.
On Thu, Oct 4, 2012 at 3:28 AM, Lorenzo Caminiti <lorcaminiti@gmail.com>wrote:
An alternative design (I'm not sure if implementable) would have been to not define the type member in case T and U have no common type. This way I could use SFINAE to detect if common_type<T, U>::type does not exist and therefore if T and U have not common type -- so to implement N3351's concept Common<T, U>.
Is there a way to implement this alternative design?
Yes, here you go: http://codepaste.net/xom5rd -- -Matt Calabrese